diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/spec/lux/abstract/equivalence.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/spec/lux/abstract/equivalence.lux b/stdlib/source/spec/lux/abstract/equivalence.lux index b511ba176..1d8db459c 100644 --- a/stdlib/source/spec/lux/abstract/equivalence.lux +++ b/stdlib/source/spec/lux/abstract/equivalence.lux @@ -8,7 +8,7 @@ {1 ["." / (#+ Equivalence)]}) -(def: #export (spec (^open "_@.") generator) +(def: #export (spec (^open "_//.") generator) (All [a] (-> (Equivalence a) (Random a) Test)) (do random.monad [left generator @@ -16,8 +16,8 @@ (<| (_.with-cover [/.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)))))))) |