#3690: GHC panics on a crazy type signature
--------------------------------------+-------------------------------------
Reporter: Alien | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.10.4
Resolution: fixed | Keywords:
Difficulty: | Os: Windows
Testcase: | Architecture: x86_64 (amd64)
Failure: Compile-time crash |
--------------------------------------+-------------------------------------
Changes (by simonpj):
* status: new => closed
* difficulty: =>
* resolution: => fixed
Comment:
Thanks for the report. It's fixed in 6.12 and HEAD
{{{
sh$ ghc-6.12.0.20091011 -c T3690.hs -XRankNTypes -XFlexibleContexts
T3690.hs:1:0:
Illegal polymorphic or qualified type:
(Enum a) => forall a. (Num a) => a
Perhaps you intended to use -XImpredicativeTypes
In the type signature for `x':
x :: [(Enum a) => (forall a. (Num a) => a)]
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3690#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
