diff options
Diffstat (limited to 'lux-jvm/test')
| -rw-r--r-- | lux-jvm/test/test/luxc/lang/synthesis/loop.lux | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux index a5ef3da9d..16ec6ceda 100644 --- a/lux-jvm/test/test/luxc/lang/synthesis/loop.lux +++ b/lux-jvm/test/test/luxc/lang/synthesis/loop.lux @@ -25,11 +25,11 @@ (loop [pathS pathS] (case pathS (^ [_ {.#Form (list [_ {.#Text "lux case alt"}] leftS rightS)}]) - (or (recur leftS) - (recur rightS)) + (or (again leftS) + (again rightS)) (^ [_ {.#Form (list [_ {.#Text "lux case seq"}] leftS rightS)}]) - (recur rightS) + (again rightS) (^ [_ {.#Form (list [_ {.#Text "lux case exec"}] bodyS)}]) (does-recursion? arity bodyS) @@ -37,15 +37,15 @@ _ #0)) - (^ [_ {.#Form (list& [_ {.#Text "lux recur"}] argsS)}]) + (^ [_ {.#Form (list& [_ {.#Text "lux again"}] argsS)}]) (n/= arity (list.size argsS)) (^ [_ {.#Form (list [_ {.#Text "lux let"}] register inputS bodyS)}]) - (recur bodyS) + (again bodyS) (^ [_ {.#Form (list [_ {.#Text "lux if"}] inputS thenS elseS)}]) - (or (recur thenS) - (recur elseS)) + (or (again thenS) + (again elseS)) _ #0 @@ -93,8 +93,8 @@ (r.Random [Bit Nat la.Analysis]) (do r.Monad<Random> [arity (|> r.nat (:: @ each (|>> (n/% +10) (n/max +1)))) - recur? r.bit - outputS (if recur? + again? r.bit + outputS (if again? (wrap (la.apply (list.repeat arity (' [])) (la.var 0))) (do @ [plus-or-minus? r.bit @@ -102,17 +102,17 @@ #let [shift (if plus-or-minus? n/+ n/-)]] (wrap (la.apply (list.repeat (shift how-much arity) (' [])) (la.var 0))))) bodyS (gen-body arity outputS)] - (wrap [recur? arity (make-function arity bodyS)]))) + (wrap [again? arity (make-function arity bodyS)]))) (def: gen-loop (r.Random [Bit Nat la.Analysis]) (do r.Monad<Random> [arity (|> r.nat (:: @ each (|>> (n/% +10) (n/max +1)))) - recur? r.bit + again? r.bit self-ref? r.bit #let [selfA (la.var 0) argA (if self-ref? selfA (' []))] - outputS (if recur? + outputS (if again? (wrap (la.apply (list.repeat arity argA) selfA)) (do @ [plus-or-minus? r.bit @@ -120,7 +120,7 @@ #let [shift (if plus-or-minus? n/+ n/-)]] (wrap (la.apply (list.repeat (shift how-much arity) (' [])) selfA)))) bodyS (gen-body arity outputS)] - (wrap [(and recur? (not self-ref?)) + (wrap [(and again? (not self-ref?)) arity (make-function arity bodyS)]))) |