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/test/aedifex/command/auto.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

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

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
-- 
cgit v1.2.3