the MPTC Dilemma (please solve)

Ross Paterson ross at
Mon Mar 20 07:17:58 EST 2006

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:
(with subsequent minor corrections)

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

More information about the Haskell-prime mailing list