From bf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 16 Mar 2022 08:37:23 -0400
Subject: De-sigil-ification: prefix :

---
 stdlib/source/program/aedifex/parser.lux | 78 ++++++++++++++++----------------
 1 file changed, 39 insertions(+), 39 deletions(-)

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

diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index 097373529..7b1447b8c 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -202,51 +202,51 @@
               (dictionary.of_list text.hash)
               (<code>.tuple (<>.some (<>.and <code>.text
                                              <code>.any))))
-     .let [^parents (: (Parser (List /.Name))
-                       (<>.else (list)
-                                (..plural input "parents" <code>.text)))
-           ^identity (: (Parser (Maybe Artifact))
-                        (<>.maybe
-                         (..singular input "identity" ..artifact)))
-           ^info (: (Parser (Maybe /.Info))
-                    (<>.maybe
-                     (..singular input "info" ..info)))
-           ^repositories (: (Parser (Set //repository.Address))
-                            (|> (..plural input "repositories" ..repository)
-                                (# ! each (set.of_list text.hash))
-                                (<>.else (set.empty text.hash))
-                                (# ! each (set.has /.default_repository))))
-           ^dependencies (: (Parser (Set //dependency.Dependency))
-                            (|> (..plural input "dependencies" ..dependency)
-                                (# ! each (set.of_list //dependency.hash))
-                                (<>.else (set.empty //dependency.hash))))
+     .let [^parents (is (Parser (List /.Name))
+                        (<>.else (list)
+                                 (..plural input "parents" <code>.text)))
+           ^identity (is (Parser (Maybe Artifact))
+                         (<>.maybe
+                          (..singular input "identity" ..artifact)))
+           ^info (is (Parser (Maybe /.Info))
+                     (<>.maybe
+                      (..singular input "info" ..info)))
+           ^repositories (is (Parser (Set //repository.Address))
+                             (|> (..plural input "repositories" ..repository)
+                                 (# ! each (set.of_list text.hash))
+                                 (<>.else (set.empty text.hash))
+                                 (# ! each (set.has /.default_repository))))
+           ^dependencies (is (Parser (Set //dependency.Dependency))
+                             (|> (..plural input "dependencies" ..dependency)
+                                 (# ! each (set.of_list //dependency.hash))
+                                 (<>.else (set.empty //dependency.hash))))
            ^lux (|> ..dependency
                     (..singular input //format.lux_compiler_label)
                     (<>.else /.default_compiler))
            ^compilers (|> ..compiler
                           (..plural input "compilers")
                           (<>.else (list)))
-           ^sources (: (Parser (Set /.Source))
-                       (|> (..plural input "sources" ..source)
-                           (# ! each (set.of_list text.hash))
-                           (<>.else (set.of_list text.hash (list /.default_source)))))
-           ^target (: (Parser /.Target)
-                      (|> ..target
-                          (..singular input "target")
-                          (<>.else /.default_target)))
-           ^program (: (Parser (Maybe Module))
-                       (<>.maybe
-                        (..singular input "program" ..module)))
-           ^test (: (Parser (Maybe Module))
-                    (<>.maybe
-                     (..singular input "test" ..module)))
-           ^deploy_repositories (: (Parser (Dictionary Text //repository.Address))
-                                   (<| (# ! each (dictionary.of_list text.hash))
-                                       (<>.else (list))
-                                       (..plural input "deploy_repositories" ..deploy_repository)))
-           ^configuration (: (Parser (PList Text))
-                             (<| (<>.else (list))
-                                 (..plural input "configuration" ..configuration/1)))
+           ^sources (is (Parser (Set /.Source))
+                        (|> (..plural input "sources" ..source)
+                            (# ! each (set.of_list text.hash))
+                            (<>.else (set.of_list text.hash (list /.default_source)))))
+           ^target (is (Parser /.Target)
+                       (|> ..target
+                           (..singular input "target")
+                           (<>.else /.default_target)))
+           ^program (is (Parser (Maybe Module))
+                        (<>.maybe
+                         (..singular input "program" ..module)))
+           ^test (is (Parser (Maybe Module))
+                     (<>.maybe
+                      (..singular input "test" ..module)))
+           ^deploy_repositories (is (Parser (Dictionary Text //repository.Address))
+                                    (<| (# ! each (dictionary.of_list text.hash))
+                                        (<>.else (list))
+                                        (..plural input "deploy_repositories" ..deploy_repository)))
+           ^configuration (is (Parser (PList Text))
+                              (<| (<>.else (list))
+                                  (..plural input "configuration" ..configuration/1)))
            ^java (|> ..runtime
                      (..singular input "java")
                      (<>.else //runtime.default_java))
-- 
cgit v1.2.3