[LOGIC-85] another issue with predc constraint is not enforced when it could be Created: 24/Dec/12 Updated: 24/Dec/12 Resolved: 24/Dec/12
|Reporter:||Nada Amin||Assignee:||David Nolen|
This returns ([1 1]) instead of ().
|Comment by David Nolen [ 24/Dec/12 1:31 PM ]|
This is actually related to the deeper problem also demonstrated by
I'm pondering eliminating "update" and moving "run-constraints*" lower into the system - perhaps at the level of "ext-no-check". A related change would be putting SubstValue smarts into "ext-no-check". For example a "ext-no-check" on a unbound constrained logic var would simply update its SubstValue. This is critical as SubstValue might contain constraint information that must be preserved.
|Comment by David Nolen [ 24/Dec/12 6:14 PM ]|