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)? _______________________________________________ Haskell-prime mailing list [email protected] http://haskell.org/mailman/listinfo/haskell-prime
