[Haskell-cafe] syntactic anti-unification of TH terms --- best practice?

Nicolas Pouillard nicolas.pouillard at gmail.com
Fri Jul 18 06:33:35 EDT 2008

Excerpts from Martin Hofmann's message of Fri Jul 18 12:01:28 +0200 2008:
> > Don't you need to do this translation anyway, because Pat
> > and Exp use different constructors? 
> Yes, somewhere I have to say how to convert Pat to Exp.

That's often doable, but you have to deal with patterns like `_', `v at pat',

Nicolas Pouillard
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 240 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20080718/3fe65867/signature.bin

More information about the Haskell-Cafe mailing list