[m-dev.] constraint.m

[Andrew Bromage]

G'day.

Thomas Conway wrote:

> The comments indicate that constraint.m is broken, and we should not use
> --constraint-propagation. I have an error/1 call in the handling of
> parallel conjunction goals.  Is there any likelyhood of constraint.m
> being fixed any time in the forseeable future? If there is, then I'll
> put something more sophisticated than the call to error.
> 
> Andrew? Anyone?

Since partial deduction can be amended to subsume this to some extent,
we could possibly dump the module.

Cheers,
Andrew Bromage