panic: tcSplitTyConApp with rank-2 type
The following program causes GHC 5.04 (i386-linux) to
panic:
{-# OPTIONS -fglasgow-exts #-}
module Bug where
newtype Bug s a = Bug a
runBug :: (forall s. Bug s a) -> a
runBug (Bug _) = undefined
cruella:~/u/texmacs$ ghc -c Bug.hs
ghc-5.04: panic! (the `impossible' happened, GHC
version 5.04):
tcSplitTyConApp
forall s{-r3V-} :: *. Bug.Bug{-r2-} s{-r3V-} a{-aaA-}
Please report it as a compiler bug to
glasgow-haskell-bugs@haskell.org,
or http://sourceforge.net/projects/ghc/.
Attached is a transcript.
Trac metadata
Trac field |
Value |
Version |
None |
Type |
Bug |
TypeOfFailure |
OtherFailure |
Priority |
normal |
Resolution |
ResolvedFixed |
Component |
Compiler |
Test case |
|
Differential revisions |
|
BlockedBy |
|
Related |
|
Blocking |
|
CC |
|
Operating system |
|
Architecture |
|