Template crash on existential types
Windows XP
D:\Tools\ghc>ghc-6.2.1\bin\ghc.exe -fglasgow-exts foo.hs
ghc.exe: panic! (the `impossible' happened, GHC version 6.2.1):
deSugar/DsMeta.hs:286: Non-exhaustive patterns in function
repC
module Foo where
import Language.Haskell.THSyntax
class MyInterface a where
foo :: a -> Int
data AnyMyInterface = forall a. (MyInterface a) =>
AnyMyInterface a
test =
do{
d <- unQ(reifyDecl AnyMyInterface)
; print d
}
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.2.1 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | high |
| Resolution | ResolvedFixed |
| Component | Template Haskell |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |
Edited by mm_aa