RE: Existentials
"Simon Peyton-Jones" <[email protected]>
| Newsgroups | gmane.comp.lang.haskell.template |
|---|---|
| Message-ID | <036EAC76E7F5EC4996A3B3C3657D4116F9F35F@EUR-MSG-21.europe.corp.microsoft.com> |
It's not hard, no. Ian Lynagh is usually kind enough to do the honours! Simon | -----Original Message----- | From: [email protected] [mailto:[email protected]] On | Behalf Of Keean Schupke | Sent: 26 October 2004 11:19 | To: [email protected] | Subject: [Template-haskell] Existentials | | Hi, any chance of support for existential datatypes in | template-haskell... It currently supports local universal | quantification: | | data A = A (forall a . a) | | but not existental: | | data A = forall a . A a | | Is this hard to add? It would be really useful to me if TH | did support existentials... | | Regards, | Keean. | _______________________________________________ | template-haskell mailing list | [email protected] | http://www.haskell.org/mailman/listinfo/template-haskell