diff options
| author | Eduardo Julian | 2021-09-14 16:41:18 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-14 16:41:18 -0400 |
| commit | ccfa75463cd7c702f41c3dae5cbdaeade7ba5c31 (patch) | |
| tree | c47937a8f62a25ef945a876b3af76c5fca989db9 /stdlib/source/test/lux/type.lux | |
| parent | ea15b844b51ff60f9785c6791507f813729f85c3 (diff) | |
Re-named "recur" to "again".
Diffstat (limited to 'stdlib/source/test/lux/type.lux')
| -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) |