7 Apr
2008
7 Apr
'08
8:06 p.m.
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