De-sigil-ification: prefix :

5 files changed, 94 insertions, 94 deletions

diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index bfdbb789e..001bfcab3 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -48,8 +48,8 @@
   (-> Nat Text (file.System Async) file.Path
       [(Atom Nat)
        (-> (Console Async) (Program Async) (file.System Async) (Shell Async) Resolution (Command [Exit Any]))])
-  (let [@runs (: (Atom Nat)
-                 (atom.atom 0))]
+  (let [@runs (is (Atom Nat)
+                  (atom.atom 0))]
     [@runs
      (function (_ console program fs shell resolution profile)
        (do [! async.monad]
@@ -74,12 +74,12 @@
          program (random.ascii/alpha 5)
          target (random.ascii/alpha 5)
          source (random.ascii/alpha 5)
-         .let [empty_profile (: Profile
-                                (# ///.monoid identity))
-               with_target (: (-> Profile Profile)
-                              (has ///.#target target))
-               with_program (: (-> Profile Profile)
-                               (has ///.#program {.#Some program}))
+         .let [empty_profile (is Profile
+                                 (# ///.monoid identity))
+               with_target (is (-> Profile Profile)
+                               (has ///.#target target))
+               with_program (is (-> Profile Profile)
+                                (has ///.#program {.#Some program}))
                
                profile (|> empty_profile
                            with_program
diff --git a/stdlib/source/test/aedifex/command/build.lux b/stdlib/source/test/aedifex/command/build.lux
index f8d2d46ec..987d35506 100644
--- a/stdlib/source/test/aedifex/command/build.lux
+++ b/stdlib/source/test/aedifex/command/build.lux
@@ -42,68 +42,68 @@
   (shell.mock
    (function (_ [actual_environment actual_working_directory actual_command actual_arguments])
      {try.#Success
-      (: (shell.Mock [])
-         (implementation
-          (def: (on_read state)
-            (exception.except shell.no_more_output []))
-          (def: (on_fail state)
-            (exception.except shell.no_more_output []))
-          (def: (on_write input state)
-            {try.#Failure "on_write"})
-          (def: (on_destroy state)
-            {try.#Failure "on_destroy"})
-          (def: (on_await state)
-            {try.#Success [state shell.normal]})))})))
+      (is (shell.Mock [])
+          (implementation
+           (def: (on_read state)
+             (exception.except shell.no_more_output []))
+           (def: (on_fail state)
+             (exception.except shell.no_more_output []))
+           (def: (on_write input state)
+             {try.#Failure "on_write"})
+           (def: (on_destroy state)
+             {try.#Failure "on_destroy"})
+           (def: (on_await state)
+             {try.#Success [state shell.normal]})))})))
 
 (def: .public bad_shell
   (-> Any (Shell IO))
   (shell.mock
    (function (_ [actual_environment actual_working_directory actual_command actual_arguments])
      {try.#Success
-      (: (shell.Mock [])
-         (implementation
-          (def: (on_read state)
-            (exception.except shell.no_more_output []))
-          (def: (on_fail state)
-            (exception.except shell.no_more_output []))
-          (def: (on_write input state)
-            {try.#Failure "on_write"})
-          (def: (on_destroy state)
-            {try.#Failure "on_destroy"})
-          (def: (on_await state)
-            {try.#Success [state shell.error]})))})))
+      (is (shell.Mock [])
+          (implementation
+           (def: (on_read state)
+             (exception.except shell.no_more_output []))
+           (def: (on_fail state)
+             (exception.except shell.no_more_output []))
+           (def: (on_write input state)
+             {try.#Failure "on_write"})
+           (def: (on_destroy state)
+             {try.#Failure "on_destroy"})
+           (def: (on_await state)
+             {try.#Success [state shell.error]})))})))
 
 (def: .public (reader_shell error?)
   (-> Bit (-> (List Text) (Shell IO)))
   (shell.mock
    (function (_ [actual_environment actual_working_directory actual_command actual_arguments])
      {try.#Success
-      (: (shell.Mock (List Text))
-         (implementation
-          (def: (on_read state)
-            (if error?
-              (exception.except shell.no_more_output [])
-              (case state
-                {.#Item head tail}
-                {try.#Success [tail head]}
-                
-                {.#End}
-                (exception.except shell.no_more_output []))))
-          (def: (on_error state)
-            (if error?
-              (case state
-                {.#Item head tail}
-                {try.#Success [tail head]}
-                
-                {.#End}
-                (exception.except shell.no_more_output []))
-              (exception.except shell.no_more_output [])))
-          (def: (on_write input state)
-            {try.#Failure "on_write"})
-          (def: (on_destroy state)
-            {try.#Failure "on_destroy"})
-          (def: (on_await state)
-            {try.#Success [state shell.error]})))})))
+      (is (shell.Mock (List Text))
+          (implementation
+           (def: (on_read state)
+             (if error?
+               (exception.except shell.no_more_output [])
+               (case state
+                 {.#Item head tail}
+                 {try.#Success [tail head]}
+                 
+                 {.#End}
+                 (exception.except shell.no_more_output []))))
+           (def: (on_error state)
+             (if error?
+               (case state
+                 {.#Item head tail}
+                 {try.#Success [tail head]}
+                 
+                 {.#End}
+                 (exception.except shell.no_more_output []))
+               (exception.except shell.no_more_output [])))
+           (def: (on_write input state)
+             {try.#Failure "on_write"})
+           (def: (on_destroy state)
+             {try.#Failure "on_destroy"})
+           (def: (on_await state)
+             {try.#Success [state shell.error]})))})))
 
 (def: compiler
   (Random Dependency)
@@ -148,12 +148,12 @@
          target (random.ascii/alpha 5)
          home (random.ascii/alpha 5)
          working_directory (random.ascii/alpha 5)
-         .let [empty_profile (: Profile
-                                (# ///.monoid identity))
-               with_target (: (-> Profile Profile)
-                              (has ///.#target target))
-               with_program (: (-> Profile Profile)
-                               (has ///.#program {.#Some program}))
+         .let [empty_profile (is Profile
+                                 (# ///.monoid identity))
+               with_target (is (-> Profile Profile)
+                               (has ///.#target target))
+               with_program (is (-> Profile Profile)
+                                (has ///.#program {.#Some program}))
                
                profile (|> empty_profile
                            with_program
diff --git a/stdlib/source/test/aedifex/command/clean.lux b/stdlib/source/test/aedifex/command/clean.lux
index 6a2210f1b..21372ef80 100644
--- a/stdlib/source/test/aedifex/command/clean.lux
+++ b/stdlib/source/test/aedifex/command/clean.lux
@@ -56,8 +56,8 @@
 (def: (create_directory! fs path files)
   (-> (file.System Async) Path (List [Path Binary]) (Async (Try Any)))
   (do [! (try.with async.monad)]
-    [_ (: (Async (Try Any))
-          (file.make_directories async.monad fs path))
+    [_ (is (Async (Try Any))
+           (file.make_directories async.monad fs path))
      _ (monad.each ! (..create_file! fs) files)]
     (in [])))
 
@@ -73,10 +73,10 @@
   (-> (file.System Async) Path (List [Path Binary]) (Async (Try Bit)))
   (do [! (try.with async.monad)]
     [directory_exists? (..directory_exists? fs directory_path)
-     files_exist? (: (Action (List Bit))
-                     (|> files
-                         (list#each product.left)
-                         (monad.each ///action.monad (..file_exists? fs))))]
+     files_exist? (is (Action (List Bit))
+                      (|> files
+                          (list#each product.left)
+                          (monad.each ///action.monad (..file_exists? fs))))]
     (in (and directory_exists?
              (list.every? (|>>) files_exist?)))))
 
diff --git a/stdlib/source/test/aedifex/command/install.lux b/stdlib/source/test/aedifex/command/install.lux
index fd4780195..414d104d8 100644
--- a/stdlib/source/test/aedifex/command/install.lux
+++ b/stdlib/source/test/aedifex/command/install.lux
@@ -47,10 +47,10 @@
         set.list
         (monad.each ! (function (_ head)
                         (do !
-                          [_ (: (Async (Try Any))
-                                (file.make_directories async.monad fs head))]
-                          (: (Async (Try Any))
-                             (file.make_file async.monad fs (binary.empty 0) (format head / head ".lux")))))))))
+                          [_ (is (Async (Try Any))
+                                 (file.make_directories async.monad fs head))]
+                          (is (Async (Try Any))
+                              (file.make_file async.monad fs (binary.empty 0) (format head / head ".lux")))))))))
 
 (def: (execute! program fs sample)
   (-> (Program Async) (file.System Async) ///.Profile (Async (Try Text)))
diff --git a/stdlib/source/test/aedifex/command/test.lux b/stdlib/source/test/aedifex/command/test.lux
index e992f87bc..4f6cfcdc4 100644
--- a/stdlib/source/test/aedifex/command/test.lux
+++ b/stdlib/source/test/aedifex/command/test.lux
@@ -47,12 +47,12 @@
          target (random.ascii/alpha 5)
          home (random.ascii/alpha 5)
          working_directory (random.ascii/alpha 5)
-         .let [empty_profile (: Profile
-                                (# ///.monoid identity))
-               with_target (: (-> Profile Profile)
-                              (has ///.#target target))
-               with_test (: (-> Profile Profile)
-                            (has ///.#test {.#Some test}))
+         .let [empty_profile (is Profile
+                                 (# ///.monoid identity))
+               with_target (is (-> Profile Profile)
+                               (has ///.#target target))
+               with_test (is (-> Profile Profile)
+                             (has ///.#test {.#Some test}))
                
                profile (|> empty_profile
                            with_test
@@ -84,20 +84,20 @@
                                [.let [bad_shell (shell.mock
                                                  (function (_ [actual_environment actual_working_directory actual_command actual_arguments])
                                                    {try.#Success
-                                                    (: (shell.Mock [])
-                                                       (implementation
-                                                        (def: (on_read state)
-                                                          (exception.except shell.no_more_output []))
-                                                        (def: (on_error state)
-                                                          (exception.except shell.no_more_output []))
-                                                        (def: (on_write input state)
-                                                          {try.#Failure "on_write"})
-                                                        (def: (on_destroy state)
-                                                          {try.#Failure "on_destroy"})
-                                                        (def: (on_await state)
-                                                          {try.#Success [state (if (list.any? (text#= "build") actual_arguments)
-                                                                                 shell.normal
-                                                                                 shell.error)]})))})
+                                                    (is (shell.Mock [])
+                                                        (implementation
+                                                         (def: (on_read state)
+                                                           (exception.except shell.no_more_output []))
+                                                         (def: (on_error state)
+                                                           (exception.except shell.no_more_output []))
+                                                         (def: (on_write input state)
+                                                           {try.#Failure "on_write"})
+                                                         (def: (on_destroy state)
+                                                           {try.#Failure "on_destroy"})
+                                                         (def: (on_await state)
+                                                           {try.#Success [state (if (list.any? (text#= "build") actual_arguments)
+                                                                                  shell.normal
+                                                                                  shell.error)]})))})
                                                  [])]
                                 _ (/.do! console (program.async (program.mock environment.empty home working_directory))
                                          fs (shell.async bad_shell) resolution