diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/check.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index cd4fc5426..2936e7117 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -41,8 +41,8 @@ (def: (type' num_vars) (-> Nat (Random Type)) (random.rec - (function (_ recur) - (let [pairG (random.and recur recur) + (function (_ again) + (let [pairG (random.and again again) quantifiedG (random.and (random#in (list)) (type' (++ num_vars))) random_pair (random.either (random.either (random#each (|>> {.#Sum}) pairG) (random#each (|>> {.#Product}) pairG)) |