From 061fd8a209bbcaffc2bfb850ac6046752a567d50 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 27 Jul 2021 03:51:10 -0400 Subject: Re-named wrap => in && unwrap => out. --- .../specification/compositor/generation/function.lux | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) (limited to 'stdlib/source/specification/compositor/generation/function.lux') diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux index 6d0f8d541..61f6d6656 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -24,7 +24,9 @@ [// [common (#+ Runner)]]]) -(def: max-arity Arity 10) +(def: max-arity + Arity + 10) (def: arity (Random Arity) @@ -39,11 +41,11 @@ (do r.monad [arity ..arity local (..local arity)] - (wrap [arity local - (synthesis.function/abstraction - {#synthesis.environment (list) - #synthesis.arity arity - #synthesis.body (synthesis.variable/local local)})]))) + (in [arity local + (synthesis.function/abstraction + {#synthesis.environment (list) + #synthesis.arity arity + #synthesis.body (synthesis.variable/local local)})]))) (def: #export (spec run) (-> Runner Test) -- cgit v1.2.3