Template Haskell declaration quote reports error with GADT syntax
Consider the following code:
{-# LANGUAGE GADTSyntax, TemplateHaskell, KindSignatures #-}
data Foo :: * -> * where
Foo :: Foo a
$( [d|
data Bar :: * -> * where
Bar :: Bar a
|] )
The type Foo
compiles just fine. The type Bar
does not.
Trac metadata
Trac field | Value |
---|---|
Version | 7.4.1 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Template Haskell |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |