aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux')
-rw-r--r--stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux10
1 files changed, 6 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux b/stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux
index 7d5046571..721e17b14 100644
--- a/stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux
+++ b/stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux
@@ -13,6 +13,8 @@
["." maybe]
["." product]
["." text ("#@." equivalence)]
+ [number
+ ["n" nat]]
[collection
["." list ("#@." functor)]]]
["." type]
@@ -38,7 +40,7 @@
(///.run _primitive.state)
(case> (#try.Success applyA)
(let [[funcA argsA] (////analysis.application applyA)]
- (n/= num-args (list.size argsA)))
+ (n.= num-args (list.size argsA)))
(#try.Failure _)
false)))
@@ -74,9 +76,9 @@
(def: apply
(do r.monad
- [full-args (|> r.nat (:: @ map (|>> (n/% 10) (n/max 2))))
- partial-args (|> r.nat (:: @ map (n/% full-args)))
- var-idx (|> r.nat (:: @ map (|>> (n/% full-args) (n/max 1))))
+ [full-args (|> r.nat (:: @ map (|>> (n.% 10) (n.max 2))))
+ partial-args (|> r.nat (:: @ map (n.% full-args)))
+ var-idx (|> r.nat (:: @ map (|>> (n.% full-args) (n.max 1))))
inputsTC (r.list full-args _primitive.primitive)
#let [inputsT (list@map product.left inputsTC)
inputsC (list@map product.right inputsTC)]