diff options
| author | Eduardo Julian | 2018-07-11 19:54:39 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-11 19:54:39 -0400 |
| commit | 18e1b3355e9bc7dfe3152416fe6ad4e3fe415af9 (patch) | |
| tree | b93081e7b258557628b1bfba3280d377198f0059 /stdlib/test | |
| parent | fdfd7036806fe62ffaf054b61fbf16bbfb002b7c (diff) | |
- Re-named "type-of" to ":of".
Diffstat (limited to 'stdlib/test')
| -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 |