[LOGIC-101] nom/hash and variable noms Created: 07/Jan/13 Updated: 28/Jul/13 Resolved: 07/Jan/13
|Reporter:||Nada Amin||Assignee:||David Nolen|
It would be nice if nom/hash handled variable noms:
This returns '(_0) instead of (). Fortunately, a work-around is to use != instead of nom/hash when comparing two noms. However, it's bad that this silently does something unexpected.
|Comment by Nada Amin [ 07/Jan/13 8:05 AM ]|
logic-101.diff has workaround + test.
|Comment by David Nolen [ 07/Jan/13 8:34 AM ]|