#2874: Error message doesn't mention extension that is missing
---------------------------------+------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.10.1
Severity: minor | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Changes (by simonpj):
* difficulty: => Unknown
Comment:
Are you really using GHC 6.10? This is what I get:
{{{
{-# LANGUAGE ScopedTypeVariables #-} -- Switch on 'forall' keyword
module T2874 where
f :: (forall a. a->a) -> Int
f x = 3
}}}
When I compile I see:
{{{
bash-3.2$ ghc -c T2874.hs
T2874.hs:5:0:
Illegal polymorphic or qualified type: forall a. a -> a
Perhaps you intended to use -XRankNTypes or -XRank2Types
In the type signature for `f':
f :: (forall a. a -> a) -> Int
bash-3.2$
}}}
which is fine. Can you give a test case?
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2874#comment:1>
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
