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

[Nicolas Pouillard]

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',
`!v'...

-- 
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