20 Mar
2006
20 Mar
'06
7:17 a.m.
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)?