From 78fd01f7e6688448bbd710336d4d7b1c35ae058a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 25 Jul 2019 00:45:51 -0400
Subject: No more "i/"-prefixed functions.

---
 stdlib/source/test/lux.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'stdlib/source/test/lux.lux')

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 597f6d83e..580c02d2e 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -20,7 +20,7 @@
       ["." name]
       [number
        ["." i64]
-       ["." int]
+       ["i" int]
        ["r" rev]
        ["f" frac]]]
      ["." math]
@@ -314,14 +314,14 @@
                   (<| (_.context "Natural numbers.")
                       (..even-or-odd random.nat n/even? n/odd?))
                   (<| (_.context "Integers.")
-                      (..even-or-odd random.int i/even? i/odd?))))
+                      (..even-or-odd random.int i.even? i.odd?))))
           (<| (_.context "Minimum and maximum.")
               (`` ($_ _.and
                       (~~ (template [<=> <lt> <min> <gt> <max> <gen> <context>]
                             [(<| (_.context <context>)
                                  (..minimum-and-maximum <gen> <=> [<lt> <min>] [<gt> <max>]))]
 
-                            [i/= i/< i/min i/> i/max random.int       "Integers."]
+                            [i.= i.< i.min i.> i.max random.int       "Integers."]
                             [n/= n/< n/min n/> n/max random.nat       "Natural numbers."]
                             [r.= r.< r.min r.> r.max random.rev       "Revolutions."]
                             [f.= f.< f.min f.> f.max random.safe-frac "Fractions."]
@@ -333,11 +333,11 @@
                                                     " " (%.name (name-of <backward>))))
                                  (..conversion <gen> <forward> <backward> <=>))]
 
-                            [i/= .nat     .int     (random@map (i/% +1,000,000) random.int)]
-                            [n/= .int     .nat     (random@map (n/%  1,000,000) random.nat)]
-                            [i/= int.frac f.int    (random@map (i/% +1,000,000) random.int)]
-                            [f.= f.int    int.frac (random@map (|>> (i/% +1,000,000) int.frac) random.int)]
-                            [r.= r.frac   f.rev    frac-rev]
+                            [i.= .nat   .int   (random@map (i.% +1,000,000) random.int)]
+                            [n/= .int   .nat   (random@map (n/%  1,000,000) random.nat)]
+                            [i.= i.frac f.int  (random@map (i.% +1,000,000) random.int)]
+                            [f.= f.int  i.frac (random@map (|>> (i.% +1,000,000) i.frac) random.int)]
+                            [r.= r.frac f.rev  frac-rev]
                             )))))
           (<| (_.context "Prelude macros.")
               ..prelude-macros)
-- 
cgit v1.2.3