13 Mar
2006
13 Mar
'06
9:47 p.m.
Martin Percossi wrote:
matrix.hs:138:27:
Couldn't match the rigid variable `.' against `ST' `.' is bound by the type signature for `runSTMatrix' Expected type: ST s Inferred type: . (forall s1)
Something seems wrong here. Above '.' was parsed as an infix type variable. As it happens for (x + y) = (+) x y , the parser read (forall s . t) as (.) (forall s) t Also, forall was parsed as a type variable rather than the universal quantifier keyword. Try compiling with -fglasgow-exts . Regards, Roberto Zunino.