From 6fd22846f21b8b70b7867e989109d14a366c0a3e Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 14 Aug 2021 03:09:58 -0400 Subject: Moved documentation-generation machinery to its own module. --- lux-jvm/test/test/luxc/lang/synthesis/loop.lux | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lux-jvm/test') 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 -- cgit v1.2.3