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/program/aedifex.lux | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

(limited to 'stdlib/source/program/aedifex.lux')

diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux
index 636487ee8..c763171c7 100644
--- a/stdlib/source/program/aedifex.lux
+++ b/stdlib/source/program/aedifex.lux
@@ -63,17 +63,17 @@
    ["[1]/[0]" auto]
    ["[1]/[0]" deploy]]])
 
-(def: repositories
+(def repositories
   (-> /.Profile (List (Repository Async)))
   (|>> (the /.#repositories)
        set.list
        (list#each (|>> (/repository/remote.repository http.default {.#None}) /repository.async))))
 
-(def: program (program.async program.default))
-(def: fs (file.async file.default))
-(def: local (/repository/local.repository ..program ..fs))
+(def program (program.async program.default))
+(def fs (file.async file.default))
+(def local (/repository/local.repository ..program ..fs))
 
-(def: (with_dependencies program console command profile)
+(def (with_dependencies program console command profile)
   (All (_ a)
     (-> (Program Async) (Console Async)
         (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit a]))
@@ -104,17 +104,17 @@
                                   (format (%.text name) " := " (%.text repo)))
                                 (dictionary.entries options))))
 
-(def: succeed!
+(def succeed!
   (IO Any)
   (at program.default exit shell.normal))
 
-(def: (fail! error)
+(def (fail! error)
   (-> Text (IO Any))
   (exec
     (debug.log! error)
     (at program.default exit shell.error)))
 
-(def: (command action)
+(def (command action)
   (All (_ a) (-> (Async (Try a)) (IO Any)))
   (exec
     (do async.monad
@@ -130,11 +130,11 @@
 
 (exception: .public invalid_operation)
 
-(`` (def: write_only
+(`` (def write_only
       (Console IO)
       (implementation
        (~~ (with_template [<name>]
-             [(def: (<name> _)
+             [(def (<name> _)
                 (io.io (exception.except ..invalid_operation [])))]
 
              [read]
@@ -142,7 +142,7 @@
              [close]
              ))
 
-       (def: (write it)
+       (def (write it)
          (<| io.io
              {try.#Success}
              debug.log!
-- 
cgit v1.2.3