RE: Misleading error message

Turns out I'd already fixed this in my copy (still, alas, uncommitted). The error message is a bit better than before. Foo.hs:4: All of the type variable(s) in the constraint `C a' are already in scope At least one must be universally quantified here In the type signature for

Re: ghc/compiler/utils/FastString.lhs won't compile (suspect version skew)

Oh, I forgot to say. This is compiling the latest (as of the weekend) GHC with GHC compiled from CVS on 10th March.