the MPTC Dilemma (please solve)
ross at soi.city.ac.uk
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
(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