#2874: Error message doesn't mention extension that is missing
-----------------------------+----------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 6.10.1 | Severity: minor
Keywords: | Testcase:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
-----------------------------+----------------------------------------------
If you forget to turn on a language extension then the error message
usually mentions the missing extension. Not this message:
{{{
Illegal polymorphic or qualified type: forall a.
(Tradeable a) =>
a -> b
In the type signature for `withSomeAgingContract':
withSomeAgingContract :: (forall a. (Tradeable a) => a -> b)
-> SomeAgingContract -> b
}}}
It should mention Rank2Types (or RankNTypes).
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2874>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
