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/reference.lux | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'stdlib/source/specification/compositor/generation/reference.lux') diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux index f8f68c51e..c7ba5c2bf 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -19,12 +19,12 @@ [/// [common (.only Runner Definer)]]) -(def: symbol +(def symbol (Random Symbol) (let [symbol_part (r.upper_case_alpha 5)] [(r.and symbol_part symbol_part)])) -(def: (definition define) +(def (definition define) (-> Definer Test) (do r.monad [name ..symbol @@ -38,7 +38,7 @@ {try.#Failure _} false))))) -(def: (variable run) +(def (variable run) (-> Runner Test) (do [! r.monad] [register (|> r.nat (at ! each (n.% 100))) @@ -55,7 +55,7 @@ {try.#Failure _} false))))) -(def: .public (spec runner definer) +(def .public (spec runner definer) (-> Runner Definer Test) (all _.and (..definition definer) -- cgit v1.2.3