Template Haskell declaration quote reports error with GADT syntax

[goldfire]

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.

[simonpj@…]

commit fb28754f97b957e026c52db97bb677dd62972eca

Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Fri Mar 16 15:57:20 2012 +0000

    Complete the fix for Trac #5882

 compiler/deSugar/DsMeta.hs |   24 +++++++++++++-----------
 1 files changed, 13 insertions(+), 11 deletions(-)

[simonpj]

Excellent point. A bit fiddly, because TH's syntax isn't quite as expressive as GHC's, but done.

Simon