Panic in ghci 6.8.2 with -fglasgow-exts
Steps to reproduce:
- Run "ghci -fglasgow-exts"
- Enter: "let const :: (forall a. (forall b. a->b)) = \x::a -> (\y -> x) :: (forall b. b -> a)".
Result:
GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help
Loading package base ... linking ... done.
Prelude> let const :: (forall a. (forall b. a->b)) = \x::a -> (\y -> x) :: (forall b. b -> a)
ghc-6.8.2: panic! (the 'impossible' happened)
(GHC version 6.8.2 for i386-unknown-linux):
nameModule a{tv anJ}
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Let me know if any more information would be helpful. This is all on a Ubuntu 8.04. I have included below the output of running the above with "ghci -v -fglasgow-exts":
ghci -v
GHCi, version 6.8.2: http://www.haskell.org/ghc/ :? for help
Glasgow Haskell Compiler, Version 6.8.2, for Haskell 98, stage 2 booted by GHC version 6.8.2
Using package config file: /usr/lib/ghc-6.8.2/package.conf
wired-in package base mapped to base-3.0.1.0
wired-in package rts mapped to rts-1.0
wired-in package haskell98 mapped to haskell98-1.0.1.0
wired-in package template-haskell mapped to template-haskell-2.2.0.0
wired-in package ndp not found.
Hsc static flags: -static
*** Parser:
*** Desugar:
*** Simplify:
*** CorePrep:
*** ByteCodeGen:
Loading package base ... linking ... done.
*** Parser:
*** Desugar:
*** Simplify:
*** CorePrep:
*** ByteCodeGen:
*** Parser:
*** Desugar:
*** Simplify:
*** CorePrep:
*** ByteCodeGen:
Prelude> let const :: (forall a. (forall b. a->b)) = \x::a -> (\y -> x) :: (forall b. b -> a)
*** Parser:
ghc-6.8.2: panic! (the 'impossible' happened)
(GHC version 6.8.2 for i386-unknown-linux):
nameModule a{tv anJ}
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Trac metadata
Trac field | Value |
---|---|
Version | 6.8.2 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | GHCi |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |