Language Extensions and TH
Hi all, Is there a TH and recent GHC's extension type-indexed families interaction envisaged? Is it feasible to think of such support? I am not sure wether only Haskell 98 is supported or if any language extension is supported. Thanks, hugo
Is there a TH and recent GHC's extension type-indexed families interaction envisaged? Is it feasible to think of such support? I am not sure wether only Haskell 98 is supported or if any language extension is supported.
Some extensions such as functional dependencies, existentials and pattern guards are supported. However, I'm afraid that is not (yet) the case for type families: See http://hackage.haskell.org/trac/ghc/ticket/1673 for details. It would be good if you added yourself to the CC list of the bug. Saludos, Fons
Thanks,
It does look quite an immatuI re to be brought to template haskell, and I
doubt that it would be really necessary as a major feature. Myself, would
simply like to be able to write TH code to automatically generate type
family instances.
Cheers,
hugo
On Mon, Apr 7, 2008 at 5:06 PM, Alfonso Acosta
Is there a TH and recent GHC's extension type-indexed families interaction envisaged? Is it feasible to think of such support? I am not sure wether only Haskell 98 is supported or if any language extension is supported.
Some extensions such as functional dependencies, existentials and pattern guards are supported. However, I'm afraid that is not (yet) the case for type families: See http://hackage.haskell.org/trac/ghc/ticket/1673 for details. It would be good if you added yourself to the CC list of the bug.
Saludos,
Fons
participants (2)
-
Alfonso Acosta -
Hugo Pacheco