rcf icon indicating copy to clipboard operation
rcf copied to clipboard

Equality is not symmetric?

Open slifin opened this issue 3 years ago • 2 comments

Hiya I found when testing out Missionary that ordering appears to matter when evaluating tasks:

(def task (m/sp 1 2 3))

(tests
  (m/? task) := 3
  nil := (m/? task))

Both these assertions pass ^

It seems like one of them should fail because in normal equality if a = b is true and b = a is also true

I don't believe Missionary should be side-effecting in this case

slifin avatar Apr 11 '22 22:04 slifin

Context: https://clojurians.slack.com/archives/C7Q9GSHFV/p1649630764612899

slifin avatar Apr 11 '22 22:04 slifin

Thanks, we had not seen this yet

dustingetz avatar Apr 13 '22 14:04 dustingetz