[Template-haskell] Pattern bindings from TH2

Einar Karttunen ekarttun at cs.helsinki.fi
Fri Mar 4 04:47:31 EST 2005


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



More information about the template-haskell mailing list