From a0889b2ee76c1ae7a9a5bbe2eec9f051b4f341e4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 26 Jul 2019 21:23:27 -0400
Subject: No more "n/"-prefixed functions.

---
 stdlib/source/test/licentia.lux | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

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

diff --git a/stdlib/source/test/licentia.lux b/stdlib/source/test/licentia.lux
index 7f623d26d..61bdbb0b2 100644
--- a/stdlib/source/test/licentia.lux
+++ b/stdlib/source/test/licentia.lux
@@ -7,9 +7,9 @@
    [data
     ["." bit ("#;." equivalence)]
     ["." maybe ("#;." functor)]
-    [number
-     ["." nat ("#;." interval)]]
     ["." text]
+    [number
+     ["n" nat ("#@." interval)]]
     [collection
      ["." list ("#;." functor)]]]
    [math
@@ -43,11 +43,11 @@
 (def: period
   (Random (Period Nat))
   (do r.monad
-    [start (r.filter (|>> (n/= nat;top) not)
+    [start (r.filter (|>> (n.= n@top) not)
                      r.nat)
-     #let [wiggle-room (n/- start nat;top)]
+     #let [wiggle-room (n.- start n@top)]
      end (:: @ map
-             (|>> (n/% wiggle-room) (n/max 1))
+             (|>> (n.% wiggle-room) (n.max 1))
              r.nat)]
     (wrap {#time.start start
            #time.end end})))
@@ -105,7 +105,7 @@
 (def: (variable-list max-size gen-element)
   (All [a] (-> Nat (Random a) (Random (List a))))
   (do r.monad
-    [amount (:: @ map (n/% (n/max 1 max-size))
+    [amount (:: @ map (n.% (n.max 1 max-size))
                 r.nat)]
     (r.list amount gen-element)))
 
-- 
cgit v1.2.3