...@haskell.org] On Behalf Of Ozgur Akgun
Sent: 14 April 2010 10:53
To: Haskell cafe
Subject: [Haskell-cafe] Re: Data instance for a GADT
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
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]
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,
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