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 :

---
 .../source/test/aedifex/dependency/deployment.lux  | 38 +++++++++++-----------
 1 file changed, 19 insertions(+), 19 deletions(-)

(limited to 'stdlib/source/test/aedifex/dependency/deployment.lux')

diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index c22121755..ed834c759 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -66,19 +66,19 @@
   (implementation
    (def: (request method url headers input)
      (do io.monad
-       [_ (: (IO Any)
-             (case [method input]
-               [{@http.#Put} {.#Some input}]
-               (atom.update! (dictionary.has url input) cache)
-               
-               _
-               (in [])))]
+       [_ (is (IO Any)
+              (case [method input]
+                [{@http.#Put} {.#Some input}]
+                (atom.update! (dictionary.has url input) cache)
+                
+                _
+                (in [])))]
        (in {try.#Success ..good_upload})))))
 
 (def: (verify_one expected_deployments address package cache expected_artifact actual_artifact)
   (-> Nat URL Package (Dictionary URL Binary) Artifact Artifact Bit)
-  (let [url (: (-> URI URL)
-               (|>> (format address)))
+  (let [url (is (-> URI URL)
+                (|>> (format address)))
         library_url (url (format (artifact.uri (the artifact.#version expected_artifact)
                                                expected_artifact)
                                  artifact/extension.lux_library))
@@ -138,9 +138,9 @@
      .let [artifact (|> profile
                         (the profile.#identity)
                         maybe.trusted)
-           dependency (: Dependency
-                         [artifact
-                          artifact/type.lux_library])]]
+           dependency (is Dependency
+                          [artifact
+                           artifact/type.lux_library])]]
     (in [dependency artifact package])))
 
 (def: .public test
@@ -152,8 +152,8 @@
         ($_ _.and
             (do [! random.monad]
               [[dependency expected_artifact package] ..bundle
-               .let [cache (: Cache
-                              (atom.atom (dictionary.empty text.hash)))
+               .let [cache (is Cache
+                               (atom.atom (dictionary.empty text.hash)))
                      http (..http cache)
                      repository (repository.async (remote.repository http {.#None} address))]]
               (in (do async.monad
@@ -164,9 +164,9 @@
                                   (try#each (verify_one 1 address package cache expected_artifact))
                                   (try.else false))))))
             (do [! random.monad]
-              [.let [hash (: (Hash [Dependency Artifact Package])
-                             (# hash.functor each (|>> product.right product.left product.left)
-                                text.hash))]
+              [.let [hash (is (Hash [Dependency Artifact Package])
+                              (# hash.functor each (|>> product.right product.left product.left)
+                                 text.hash))]
                num_bundles (# ! each (n.% 10) random.nat)
                bundles (|> ..bundle
                            (random.set hash num_bundles)
@@ -175,8 +175,8 @@
                                             (dictionary.has dependency package resolution))
                                           resolution.empty
                                           bundles)
-                     cache (: Cache
-                              (atom.atom (dictionary.empty text.hash)))
+                     cache (is Cache
+                               (atom.atom (dictionary.empty text.hash)))
                      http (..http cache)
                      repository (repository.async (remote.repository http {.#None} address))]]
               (in (do async.monad
-- 
cgit v1.2.3