30 Sep
2008
30 Sep
'08
1:05 p.m.
Shiqi Cao wrote:
Error messages from GHC contain inferred type variables, is there anyway to find out which term an inferred type variable is for(if the term exists)?
Example: f :: a -> a f xs = map not xs This causes: Couldn't match expected type `[Bool]' against inferred type `a' `a' is a rigid type variable bound by the type signature for `f' at F.hs:3:5 In the second argument of `map', namely `xs' It says `a' is for `xs'.