diff options
Diffstat (limited to '')
-rw-r--r-- | lux-jvm/test/test/luxc/lang/synthesis/loop.lux | 10 |
1 files changed, 5 insertions, 5 deletions
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]) |