From 18e1b3355e9bc7dfe3152416fe6ad4e3fe415af9 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 11 Jul 2018 19:54:39 -0400
Subject: - Re-named "type-of" to ":of".

---
 stdlib/test/test/lux/math/modular.lux | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'stdlib/test')

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
-- 
cgit v1.2.3