From hpacheco at gmail.com Mon Apr 7 11:48:33 2008 From: hpacheco at gmail.com (Hugo Pacheco) Date: Mon Apr 7 11:44:17 2008 Subject: [Template-haskell] Language Extensions and TH Message-ID: <7b92c2840804070848v295038a3ve7558eb6a1020fd4@mail.gmail.com> 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/template-haskell/attachments/20080407/3c0d7b30/attachment.htm From alfonso.acosta at gmail.com Mon Apr 7 12:06:53 2008 From: alfonso.acosta at gmail.com (Alfonso Acosta) Date: Mon Apr 7 12:02:36 2008 Subject: [Template-haskell] Language Extensions and TH In-Reply-To: <7b92c2840804070848v295038a3ve7558eb6a1020fd4@mail.gmail.com> References: <7b92c2840804070848v295038a3ve7558eb6a1020fd4@mail.gmail.com> Message-ID: <6a7c66fc0804070906j53d171d3p6dc7088344919596@mail.gmail.com> > 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 From hpacheco at gmail.com Tue Apr 8 00:14:55 2008 From: hpacheco at gmail.com (Hugo Pacheco) Date: Tue Apr 8 00:10:35 2008 Subject: [Template-haskell] Language Extensions and TH In-Reply-To: <6a7c66fc0804070906j53d171d3p6dc7088344919596@mail.gmail.com> References: <7b92c2840804070848v295038a3ve7558eb6a1020fd4@mail.gmail.com> <6a7c66fc0804070906j53d171d3p6dc7088344919596@mail.gmail.com> Message-ID: <7b92c2840804072114h638041dfpced1adfdefb79952@mail.gmail.com> 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 wrote: > > 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 > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://www.haskell.org/pipermail/template-haskell/attachments/20080408/af7ad8a8/attachment.htm