Typed Template Haskell splices broken in HEAD (7.11)
In the latest HEAD (e2b579e8) when I say:
$$(return [
SigD (mkName "m")
(ForallT [PlainTV (mkName "a")]
[]
(AppT (AppT ArrowT (VarT (mkName "a"))) (VarT (mkName "a"))))
, FunD (mkName "m")
[Clause [VarP (mkName "x")] (NormalB (VarE (mkName "x"))) []]
])
I get:
ghc-stage2: panic! (the 'impossible' happened)
(GHC version 7.11.20151007 for x86_64-unknown-linux):
runRnSplice
$$(return
[SigD
(mkName "m")
(ForallT
[PlainTV (mkName "a")]
[]
(AppT (AppT ArrowT (VarT (mkName "a"))) (VarT (mkName "a")))),
FunD
(mkName "m")
[Clause [VarP (mkName "x")] (NormalB (VarE (mkName "x"))) []]])
This code compiles correctly in GHC 7.10.1.
Trac metadata
Trac field | Value |
---|---|
Version | 7.11 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | high |
Resolution | Unresolved |
Component | Template Haskell |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | goldfire |
Operating system | |
Architecture |