[LOGIC-54] Set unification does not operate symmetrically Created: 21/Sep/12 Updated: 27/Sep/12 Resolved: 27/Sep/12
|Reporter:||Aaron Brooks||Assignee:||David Nolen|
|Patch:||Code and Test|
A check is absent in unify-with-set that would check for missing values in addition to missing lvars. The incorrect behavior is shown below:
The attached patch includes a similar test to the above and was run against the HEAD as of this posting.
|Comment by David Nolen [ 21/Sep/12 2:58 PM ]|
Thanks for the report will look into it.
|Comment by David Nolen [ 27/Sep/12 9:38 PM ]|