diff options
Diffstat (limited to '')
-rw-r--r-- | lux-jvm/test/test/luxc/lang/synthesis/loop.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux index 0ed3b63fa..63ad3a395 100644 --- a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux +++ b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux @@ -62,9 +62,9 @@ #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.take where-to-set bad-bodies) + #let [bodies (list.joined (list (list.first where-to-set bad-bodies) (list good-body) - (list.drop (n/inc where-to-set) bad-bodies)))]] + (list.after (n/inc where-to-set) bad-bodies)))]] (wrap (` ("lux case" (~ inputA) (~ (code.record (list.zip2 tests bodies)))))))) (r.either (do r.Monad<Random> |