"Tell GHC HQ if you'd like this to unify the context"

[Tomasz Zielonka]

Hello!

I've got such a compilation error on code that was accepted by an
earlier GHC:

    Expr/Names.hs:19:66:
        GADT pattern match in non-rigid context for `TypeInt'
          Tell GHC HQ if you'd like this to unify the context
        In the pattern: TypeInt
        In the pattern:
            FunctionInfo {fiName = "name", fiReturnType = TypeInt}
        In the pattern:
            Call (FunctionInfo {fiName = "name", fiReturnType = TypeInt}) [dyn]

This was in a module which had no {-# OPTIONS_GHC -fglasgow-exts #-}.
I was preparing to file a bug report, but then I noticed that it's
enough to put -fglasgow-exts there to make the code compile.

I am reporting it because it may be confusing to others. Perhaps it
would be a good idea to advise trying -fglasgow-exts in the error
message?

Best regards
Tomasz
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs