From e00ba096c8837abe85d366e0c1293c09dbe84d81 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 18 Aug 2021 03:29:15 -0400
Subject: Some bug fixes.

---
 lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux |  4 ++--
 lux-jvm/test/test/luxc/lang/synthesis/loop.lux    | 10 +++++-----
 2 files changed, 7 insertions(+), 7 deletions(-)

(limited to 'lux-jvm/test')

diff --git a/lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux b/lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux
index ae3b84518..77f5b34bc 100644
--- a/lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux
+++ b/lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux
@@ -266,7 +266,7 @@
   (let [entries (dict.entries hostAE.boxes)
         num-entries (list.size entries)]
     (do r.Monad<Random>
-      [choice (|> r.nat (:: @ map (n/% (inc num-entries))))
+      [choice (|> r.nat (:: @ map (n/% (++ num-entries))))
        #let [[unboxed boxed] (: [Text Text]
                                 (|> entries
                                     (list.nth choice)
@@ -343,7 +343,7 @@
                unboxedC (`' ("lux check" (+0 (~ (code.text unboxed)) (+0))
                              ("jvm object null")))]
          throwable (|> r.nat
-                       (:: @ map (n/% (inc (list.size throwables))))
+                       (:: @ map (n/% (++ (list.size throwables))))
                        (:: @ map (function (_ idx)
                                    (|> throwables
                                        (list.nth idx)
diff --git a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux
index 63ad3a395..7aeafab5f 100644
--- a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux
+++ b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux
@@ -62,14 +62,14 @@
                          #let [bad-bodies (list.repeat num-cases (' []))]
                          good-body (gen-body arity output)
                          where-to-set (|> r.nat (:: @ map (n/% num-cases)))
-                         #let [bodies (list.joined (list (list.first where-to-set bad-bodies)
-                                                         (list good-body)
-                                                         (list.after (n/inc where-to-set) bad-bodies)))]]
+                         #let [bodies (list.together (list (list.first where-to-set bad-bodies)
+                                                           (list good-body)
+                                                           (list.after (n/++ where-to-set) bad-bodies)))]]
                         (wrap (` ("lux case" (~ inputA)
                                   (~ (code.record (list.zip2 tests bodies))))))))
             (r.either (do r.Monad<Random>
                         [valueS r.bit
-                         output' (gen-body (n/inc arity) output)]
+                         output' (gen-body (n/++ arity) output)]
                         (wrap (` ("lux case" (~ (code.bit valueS))
                                   {("lux case bind" (~ (code.nat arity))) (~ output')}))))
                       (do r.Monad<Random>
@@ -87,7 +87,7 @@
   (-> ls.Arity la.Analysis la.Analysis)
   (case arity
     +0 body
-    _ (` ("lux function" [] (~ (make-function (n/dec arity) body))))))
+    _ (` ("lux function" [] (~ (make-function (n/-- arity) body))))))
 
 (def: gen-recursion
   (r.Random [Bit Nat la.Analysis])
-- 
cgit v1.2.3