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.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe