Re: [Haskell-cafe] Re: Data instance for a GADT

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/htm... On Wed, Apr 14, 2010 at 11:53, Ozgur Akgun 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 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 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