De-sigil-ification: prefix :

1 files changed, 56 insertions, 56 deletions

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