aboutsummaryrefslogtreecommitdiff
path: root/lux-jvm/test
diff options
context:
space:
mode:
authorEduardo Julian2021-08-18 03:29:15 -0400
committerEduardo Julian2021-08-18 03:29:15 -0400
commite00ba096c8837abe85d366e0c1293c09dbe84d81 (patch)
treedc1f0955d4461ae30bb4945cddd74c462f1aee98 /lux-jvm/test
parent3289b9dcf9d5d1c1e5c380e3185065c8fd32535f (diff)
Some bug fixes.
Diffstat (limited to 'lux-jvm/test')
-rw-r--r--lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux4
-rw-r--r--lux-jvm/test/test/luxc/lang/synthesis/loop.lux10
2 files changed, 7 insertions, 7 deletions
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])