Standard ML-krise!

[ethnaque]

Jeg holder på med en obligatorisk oppgave i Standard ML og finner ikke ut av følgende:

 

Jeg har funksjonen finne:

 

fun Finne(x: char, t: char list)=

if hd t = [] then []

else if x = hd t then tl t

else Finne (x, tl t)

;

 

Tolkerern gir meg følgende feilmelding:

 

Error operator and operand don't agree [tycon mismatch]

operator domain: char * char

operand: char * 'Z list

in expression:

hd t = nil

-

 

Noen som har en forklaring på dette?

 

Takknemlig for all hjelp jeg kan få!

[heder]

Hvis du ikke har funnet det ut allerede:

 

Du kan ikke sammenligne hd t med []. Bare lister kan ha verdien [] eller nil. Men du kan jo f.eks. bruke t = [] eller tl t = []

 

fun Finne(x: char, t: char list)=
if t = [] then []
else if x = hd t then tl t
else Finne (x, tl t);