the MPTC Dilemma (please solve)

[Ross Paterson]

On Mon, Mar 20, 2006 at 10:50:32AM -0000, Claus Reinke wrote:
> you reply to a message that is about a month old. since then, every
> single example of FD "trickyness" presented here has been resolved
> (or have we missed some example?), and as far as I'm concerned, 
> the remaining problems are due to feature interactions, and need a 
> more systematic approach.

As understand it, you've proposed changes in context reduction to
restore confluence:

http://www.haskell.org//pipermail/haskell-prime/2006-March/000880.html
(with subsequent minor corrections)

What is your plan to deal with non-termination (e.g. examples 6 and 16
of the FD-CHR paper)?