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/analysis/type.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'stdlib/source/specification/compositor/analysis/type.lux')

diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index d1115fbfa..8aae58f13 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -20,7 +20,7 @@
       ["[1]/[0]" scope]
       ["[1]/[0]" type]]]]]])
 
-(def: (check_success+ expander state extension params output_type)
+(def (check_success+ expander state extension params output_type)
   (-> Expander State+ Text (List Code) Type Bit)
   (|> (analysis/scope.with_scope ""
         (analysis/type.with_type output_type
@@ -33,7 +33,7 @@
         {try.#Failure _}
         false)))
 
-(def: check
+(def check
   (Random [Code Type Code])
   (`` (all r.either
            (~~ (with_template [<random> <type> <code>]
@@ -51,7 +51,7 @@
                  [(r.upper_case_alpha 5) {0 #0 "#Text" {0 #0}} code.text]
                  )))))
 
-(def: .public (spec expander state)
+(def .public (spec expander state)
   (-> Expander State+ Test)
   (do r.monad
     [[typeC exprT exprC] ..check
-- 
cgit v1.2.3