diff options
author | Eduardo Julian | 2019-03-15 00:23:49 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-03-15 00:23:49 -0400 |
commit | f9d4d316ef9666f6b122b0eec8180351216e95f8 (patch) | |
tree | 2a66da0c7552dcb3642ba37afd53f1bef44eef41 /stdlib/source/test/lux/control/equivalence.lux | |
parent | 9449d89f611ba3192373fdeb6848d02707ff1292 (diff) |
Changed the convention for the structure opening separator from "/" to ";", to avoid confusion since "/" is used for relative module paths.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/control/equivalence.lux | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/control/equivalence.lux b/stdlib/source/test/lux/control/equivalence.lux index 714905c41..4e7992d58 100644 --- a/stdlib/source/test/lux/control/equivalence.lux +++ b/stdlib/source/test/lux/control/equivalence.lux @@ -3,13 +3,15 @@ ["_" test (#+ Test)] [control [monad (#+ do)]] - data/text/format + [data + [text + format]] [math ["r" random (#+ Random)]]] {1 ["." / (#+ Equivalence)]}) -(def: #export (test (^open "_/.") generator) +(def: #export (test (^open "_;.") generator) (All [a] (-> (Equivalence a) (Random a) Test)) (do r.monad [left generator @@ -17,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)))))))) |