diff options
| author | Eduardo Julian | 2021-08-18 03:29:15 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-18 03:29:15 -0400 |
| commit | e00ba096c8837abe85d366e0c1293c09dbe84d81 (patch) | |
| tree | dc1f0955d4461ae30bb4945cddd74c462f1aee98 /lux-jvm/test | |
| parent | 3289b9dcf9d5d1c1e5c380e3185065c8fd32535f (diff) | |
Some bug fixes.
Diffstat (limited to 'lux-jvm/test')
| -rw-r--r-- | lux-jvm/test/test/luxc/lang/analysis/host.jvm.lux | 4 | ||||
| -rw-r--r-- | lux-jvm/test/test/luxc/lang/synthesis/loop.lux | 10 |
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]) |