The ValD constructor, in the Dec type, lets you make pattern bindings. Simon | -----Original Message----- | From: template-haskell-bounces@haskell.org [mailto:template-haskell-bounces@haskell.org] On | Behalf Of Einar Karttunen | Sent: 04 March 2005 09:48 | To: template-haskell@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@haskell.org | http://www.haskell.org/mailman/listinfo/template-haskell