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

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@pat', `!v'... -- Nicolas Pouillard