id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
5217,GADT declaration not (yet) handled by Template Haskell,Ashley Yakeley,,"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
}}}",bug,closed,normal,,Compiler (Type checker),7.0.3,fixed,,,Unknown/Multiple,Unknown/Multiple,GHC rejects valid program,,th/T5217,,,