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/test/aedifex/cli.lux | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'stdlib/source/test/aedifex/cli.lux')

diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index f0b011180..a4af47e46 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -22,12 +22,12 @@
    ["/[1]" //
     ["[1]" profile]]]])
 
-(def: compilation
+(def compilation
   (Random /.Compilation)
   (random.or (random#in [])
              (random#in [])))
 
-(def: command
+(def command
   (Random /.Command)
   (all random.or
        ... #Version
@@ -50,13 +50,13 @@
        ... #Auto
        ..compilation))
 
-(def: (compilation_format value)
+(def (compilation_format value)
   (-> /.Compilation (List Text))
   (case value
     {/.#Build} (list "build")
     {/.#Test} (list "test")))
 
-(def: (format value)
+(def (format value)
   (-> /.Command (List Text))
   (case value
     {/.#Version} (list "version")
@@ -68,7 +68,7 @@
     {/.#Compilation compilation} (..compilation_format compilation)
     {/.#Auto compilation} (list.partial "auto" (..compilation_format compilation))))
 
-(def: without_profile
+(def without_profile
   Test
   (do random.monad
     [expected ..command]
@@ -84,7 +84,7 @@
             {try.#Failure error}
             false)))))
 
-(def: with_profile
+(def with_profile
   Test
   (do random.monad
     [expected_profile (random.alphabetic 1)
@@ -102,7 +102,7 @@
             {try.#Failure error}
             false)))))
 
-(def: .public test
+(def .public test
   Test
   (<| (_.covering /._)
       (_.for [/.Compilation /.Command]
-- 
cgit v1.2.3