[LOGIC-119] tie disequality Created: 12/Mar/13 Updated: 12/Mar/13
|Reporter:||Nada Amin||Assignee:||David Nolen|
Currently, the first causes an error, because IPersistentMap (which gets called because Tie is a record!) assumes that the the other term is also a record (that seems like a bug). If we revert the commit which makes Tie a record, this works.
The other one succeeds, when it should fail. This is regardless of whether Tie is a record or not.
|Comment by Nada Amin [ 12/Mar/13 5:52 AM ]|
for actually doing != modulo alpha equivalence requires the opposite of nom/hash.