aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor/generation/function.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/compositor/generation/function.lux')
-rw-r--r--stdlib/source/specification/compositor/generation/function.lux6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
index c3143b958..8a090094f 100644
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ b/stdlib/source/specification/compositor/generation/function.lux
@@ -34,7 +34,7 @@
(def: (local arity)
(-> Arity (Random Register))
- (|> r.nat (r\map (|>> (n.% arity) inc))))
+ (|> r.nat (r\map (|>> (n.% arity) ++))))
(def: function
(Random [Arity Register Synthesis])
@@ -53,7 +53,7 @@
[[arity local functionS] ..function
partial_arity (|> r.nat (\ ! map (|>> (n.% arity) (n.max 1))))
inputs (r.list arity r.safe_frac)
- .let [expectation (maybe.trusted (list.item (dec local) inputs))
+ .let [expectation (maybe.trusted (list.item (-- local) inputs))
inputsS (list\map (|>> synthesis.f64) inputs)]]
($_ _.and
(_.test "Can read arguments."
@@ -77,7 +77,7 @@
(enum.range n.enum 1)
(list\map (|>> #reference.Local)))
variableS (if (n.<= partial_arity local)
- (synthesis.variable/foreign (dec local))
+ (synthesis.variable/foreign (-- local))
(synthesis.variable/local (|> local (n.- partial_arity))))
inner_arity (n.- partial_arity arity)
innerS (synthesis.function/abstraction