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 +++++++++++-----------
 .../source/test/aedifex/dependency/resolution.lux  | 20 ++++++------
 2 files changed, 29 insertions(+), 29 deletions(-)

(limited to 'stdlib/source/test/aedifex/dependency')

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
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 5ea995021..c7f81d3c3 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -104,16 +104,16 @@
        "[1]")
      (def: (on_download uri state)
        (if (text.contains? expected uri)
-         (let [library (: Binary
-                          (|> package
-                              (the ///package.#library)
-                              product.left))
-               pom (: Binary
-                      (|> package
-                          (the ///package.#pom)
-                          product.left
-                          (# xml.codec encoded)
-                          (# utf8.codec encoded)))]
+         (let [library (is Binary
+                           (|> package
+                               (the ///package.#library)
+                               product.left))
+               pom (is Binary
+                       (|> package
+                           (the ///package.#pom)
+                           product.left
+                           (# xml.codec encoded)
+                           (# utf8.codec encoded)))]
            (cond (text.ends_with? ///artifact/extension.lux_library uri)
                  {try.#Success [state library]}
 
-- 
cgit v1.2.3