Hi Ozgur, At least template-haskell-2.4.0.0 (which comes with GHC 6.12) has syntax for type equality constraints [1], so I'm guessing it should support GADTs (I haven't actually tested it). It also has syntax for type families.
Cheers, Pedro [1] http://hackage.haskell.org/packages/archive/template-haskell/2.4.0.0/doc/html/Language-Haskell-TH-Syntax.html#t%3ACxt On Wed, Apr 14, 2010 at 11:53, Ozgur Akgun <ozgurak...@gmail.com> wrote: > Seeing this old thread[1], I hope something happened towards enabling this. > Does anybody know the current status about using TH on GADTs? > > [1] > http://www.haskell.org/pipermail/template-haskell/2006-August/000567.html > > > > On 14 April 2010 10:32, Ozgur Akgun <ozgurak...@gmail.com> wrote: > >> answering to myself: I guess this is related: >> http://hackage.haskell.org/trac/ghc/ticket/3497 >> >> >> On 14 April 2010 10:13, Ozgur Akgun <ozgurak...@gmail.com> wrote: >> >>> Cafe, >>> >>> How can I provide a Data instance for a GADT? I am trying to TH on it, >>> and Uniplate requires Data. >>> I tried StandaloneDeriving, but it seems not to work. >>> >>> Best, >>> >>> -- >>> Ozgur Akgun >>> >> >> >> >> -- >> Ozgur Akgun >> > > > > -- > Ozgur Akgun > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
