Undgå pattern matching is not exhaustive, hvordan?

kan du vise lidt mere kode?

f.eks:

fun regnestykke(x,y) = let val [x1,y1,z1] = x : real list
                          val [x2,y2,z2] = y
                          val z = [x1-(x2-x1),y1-(y2-y1),z1-(z2-z1)]
                        in [[x2-x1,y2-y1,z2-z1],z]
                        end;

er det fordi du ikke tager højde for nil/empty list ?

det kan godt være, men hvordan gør jeg det i en variabel.

med en funktion skriver jeg jo bare

fun test [] = []
  | test [x1,x2] = ....

men jeg kan jo ikke skrive val [x1,x2] = ...
                            | [] = []

jeg tænker på din regnestykke funktion, men det er måske kun et uddrag af den

Nej, det er ikke kun et uddrag.

Men den melder fejlen ved val [x1,y1,zy] = ...

Skal lige sige at det er noget tid siden jeg har arbejdet med SML, men kan det være årsagen:

let val [x1,y1,z1] = x kræver vel at x har 3 elementer ? Hvad hvis det ikke er tilfældet?
(Jeg mener også du kan specificere en liste på præcis tre elementer som x1::y1::z1 )

Jeg ved godt at problemet ligger i hvis det ikke er tilfældet at der er tre elementer i en liste.

Det er bare hvordan jeg tjekker for det?

Nå!