From 9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 16 Jun 2022 00:48:19 -0400 Subject: De-sigil-ification: suffix : [Part 13] --- stdlib/source/specification/compositor/generation/function.lux | 10 +++++----- 1 file changed, 5 insertions(+), 5 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 86c495c3b..a7cb2de43 100644 --- a/stdlib/source/specification/compositor/generation/function.lux +++ b/stdlib/source/specification/compositor/generation/function.lux @@ -23,19 +23,19 @@ [// [common (.only Runner)]]]) -(def: max_arity +(def max_arity Arity 10) -(def: arity +(def arity (Random Arity) (|> r.nat (r#each (|>> (n.% max_arity) (n.max 1))))) -(def: (local arity) +(def (local arity) (-> Arity (Random Register)) (|> r.nat (r#each (|>> (n.% arity) ++)))) -(def: function +(def function (Random [Arity Register Synthesis]) (do r.monad [arity ..arity @@ -46,7 +46,7 @@ synthesis.#arity arity synthesis.#body (synthesis.variable/local local)])]))) -(def: .public (spec run) +(def .public (spec run) (-> Runner Test) (do [! r.monad] [[arity local functionS] ..function -- cgit v1.2.3