RE: splices in type signatures

"Simon Peyton-Jones" <[email protected]> Thu, 15 Jun 2006 08:04:21 +0100

Newsgroups	gmane.comp.lang.haskell.template
Message-ID	<036EAC76E7F5EC4996A3B3C3657D411605B5E47D@EUR-MSG-21.europe.corp.microsoft.com>

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: [email protected]
[mailto:[email protected]] On Behalf
| Of Frederik Eaton
| Sent: 14 June 2006 18:47
| To: [email protected]
| 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
| [email protected]
| http://www.haskell.org/mailman/listinfo/template-haskell