[GHC] #5217: GADT declaration not (yet) handled by Template Haskell

[GHC]

#5217: GADT declaration not (yet) handled by Template Haskell
---------------------------------+------------------------------------------
    Reporter:  Ashley Yakeley    |       Owner:                           
        Type:  bug               |      Status:  new                      
    Priority:  normal            |   Component:  Compiler (Type checker)  
     Version:  7.0.3             |    Keywords:                           
    Testcase:                    |   Blockedby:                           
          Os:  Unknown/Multiple  |    Blocking:                           
Architecture:  Unknown/Multiple  |     Failure:  GHC rejects valid program
---------------------------------+------------------------------------------
 Compiling this:
 {{{
 {-# LANGUAGE TemplateHaskell, GADTs #-}
 module GadtBug where

 $([d|data T a where { T :: T Char; }|])
 }}}
 gives this:
 {{{
 GadtBug.hs:4:23:
     GADT declaration not (yet) handled by Template Haskell T :: T Char
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5217>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler