[Template-haskell] Pattern bindings from TH2

Simon Peyton-Jones simonpj at microsoft.com
Mon Mar 7 03:39:13 EST 2005


The ValD constructor, in the Dec type, lets you make pattern bindings.

Simon

| -----Original Message-----
| From: template-haskell-bounces at haskell.org
[mailto:template-haskell-bounces at haskell.org] On
| Behalf Of Einar Karttunen
| Sent: 04 March 2005 09:48
| To: template-haskell at haskell.org
| Subject: [Template-haskell] Pattern bindings from TH2
| 
| Hello
| 
| I am trying to make the following declaration work from TH2:
| 
| (x,y) = (a,b) where (Foo a b) = foo
| 
| but haven't found a way to make pattern bindings. Is there a way
| to make such bindings? I am trying to construct the binding
dynamically
| with Language.Haskell.TH.Syntax as the code has to work for declaring
| multiple kinds of pattern bindings.
| 
| - Einar Karttunen
| 
| _______________________________________________
| 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