diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/test/test/lux/math/modular.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/test/test/lux/math/modular.lux b/stdlib/test/test/lux/math/modular.lux index 89e2e94a3..8bbaf1292 100644 --- a/stdlib/test/test/lux/math/modular.lux +++ b/stdlib/test/test/lux/math/modular.lux @@ -15,7 +15,7 @@ lux/test) (def: %3 (/.modulus 3)) -(`` (type: Mod3 (~~ (type-of %3)))) +(`` (type: Mod3 (~~ (:of %3)))) (def: modulusR (r.Random Int) @@ -71,12 +71,12 @@ #let [copyM (|> normalM /.to-int /.from-int e.assume)]] ($_ seq (test "Every modulus has a unique type, even if the numeric value is the same as another." - (and (type/= (type-of normalM) - (type-of normalM)) - (not (type/= (type-of normalM) - (type-of alternativeM))) - (not (type/= (type-of normalM) - (type-of copyM))))) + (and (type/= (:of normalM) + (:of normalM)) + (not (type/= (:of normalM) + (:of alternativeM))) + (not (type/= (:of normalM) + (:of copyM))))) (test "Can extract the original integer from the modulus." (i/= _normalM |