[Template-haskell] splices in type signatures

Simon Peyton-Jones simonpj at microsoft.com
Thu Jun 15 03:04:21 EDT 2006


It was my plan to allow this, so you could write
	f :: Int -> $(h x)
but it turned out to be awkward to implement it, and I never did.  So
far anyway.

Simon

| -----Original Message-----
| From: template-haskell-bounces at haskell.org
[mailto:template-haskell-bounces at haskell.org] On Behalf
| Of Frederik Eaton
| Sent: 14 June 2006 18:47
| To: template-haskell at haskell.org
| Subject: [Template-haskell] splices in type signatures
| 
| Hello,
| 
| Is it possible to have a TH splice in a type signature? It seems to
| generate a parse error, but I thought there might be another syntax
| that I'm not aware of. Thanks,
| 
| Frederik
| 
| --
| http://ofb.net/~frederik/
| _______________________________________________
| 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