[Template-haskell] Existentials

Simon Peyton-Jones simonpj at microsoft.com
Wed Oct 27 03:44:52 EDT 2004


It's not hard, no.  Ian Lynagh is usually kind enough to do the honours!

Simon

| -----Original Message-----
| From: template-haskell-bounces at haskell.org
[mailto:template-haskell-bounces at haskell.org] On
| Behalf Of Keean Schupke
| Sent: 26 October 2004 11:19
| To: template-haskell at haskell.org
| 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
| template-haskell at haskell.org
| http://www.haskell.org/mailman/listinfo/template-haskell


More information about the template-haskell mailing list