diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 4033af819..7f2386dc3 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -48,13 +48,13 @@ (def: (random' parameters) (-> Nat (Random Type)) (random.rec - (function (_ recur) - (let [pairG (random.and recur recur) + (function (_ again) + (let [pairG (random.and again again) un_parameterized (: (Random Type) ($_ random.either - (random#each (|>> {.#Primitive}) (random.and ..short (random.list 0 recur))) - (random#each (|>> {.#Primitive}) (random.and ..short (random.list 1 recur))) - (random#each (|>> {.#Primitive}) (random.and ..short (random.list 2 recur))) + (random#each (|>> {.#Primitive}) (random.and ..short (random.list 0 again))) + (random#each (|>> {.#Primitive}) (random.and ..short (random.list 1 again))) + (random#each (|>> {.#Primitive}) (random.and ..short (random.list 2 again))) (random#each (|>> {.#Sum}) pairG) (random#each (|>> {.#Product}) pairG) (random#each (|>> {.#Function}) pairG) |