diff options
Diffstat (limited to 'stdlib/source/test/lux/control/equivalence.lux')
-rw-r--r-- | stdlib/source/test/lux/control/equivalence.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/control/equivalence.lux b/stdlib/source/test/lux/control/equivalence.lux index 4e7992d58..3e3b91a04 100644 --- a/stdlib/source/test/lux/control/equivalence.lux +++ b/stdlib/source/test/lux/control/equivalence.lux @@ -11,7 +11,7 @@ {1 ["." / (#+ Equivalence)]}) -(def: #export (test (^open "_;.") generator) +(def: #export (spec (^open "_@.") generator) (All [a] (-> (Equivalence a) (Random a) Test)) (do r.monad [left generator @@ -19,8 +19,8 @@ (<| (_.context (%name (name-of /.Equivalence))) ($_ _.and (_.test "Reflexivity." - (_;= left left)) + (_@= left left)) (_.test "Symmetry." - (if (_;= left right) - (_;= right left) - (not (_;= right left)))))))) + (if (_@= left right) + (_@= right left) + (not (_@= right left)))))))) |