From ae2d5697d93a45dcbff768c32c4dc8fb291096cd Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 7 Jan 2023 18:55:20 -0400
Subject: Now wrapping C++ values inside a universal box.

---
 .../source/test/aedifex/dependency/deployment.lux  | 31 +++++++++++-----------
 1 file changed, 16 insertions(+), 15 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 3e7350050..9db5b07b5 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -26,11 +26,12 @@
      ["n" nat]]]
    [world
     [net (.only URL)
-     ["[0]" uri (.only URI)]
-     ["[0]" http
-      ["[1]" client]
-      ["[1]/[0]" status]
-      ["@[1]" /]]]]
+     [uri (.only URI)
+      ["[0]" path]]
+     ["[0]" http (.only)
+      [response (.only Response)]
+      ["[0]" client (.only Client)]
+      ["[0]" status]]]]
    [test
     ["[0]" unit]
     ["_" property (.only Test)]]]]
@@ -52,25 +53,25 @@
       ["[0]" remote]]]]]])
 
 (def good_upload
-  (@http.Response IO)
-  [http/status.created
-   [@http.#headers (http.headers (list))
-    @http.#body (function (_ _)
-                  (|> [0 (binary.empty 0)]
-                      {try.#Success}
-                      io.io))]])
+  (Response IO)
+  [status.created
+   [http.#headers (client.headers (list))
+    http.#body (function (_ _)
+                 (|> [0 (binary.empty 0)]
+                     {try.#Success}
+                     io.io))]])
 
 (type Cache
   (Atom (Dictionary URL Binary)))
 
 (def (http cache)
-  (-> Cache (http.Client IO))
+  (-> Cache (Client IO))
   (implementation
    (def (request method url headers input)
      (do io.monad
        [_ (is (IO Any)
               (when [method input]
-                [{@http.#Put} {.#Some input}]
+                [{http.#Put} {.#Some input}]
                 (atom.update! (dictionary.has url input) cache)
                 
                 _
@@ -149,7 +150,7 @@
   Test
   (<| (_.covering /._)
       (do [! random.monad]
-        [address (of ! each (text.suffix uri.separator)
+        [address (of ! each (text.suffix path.separator)
                      (random.upper_cased 10))]
         (all _.and
              (do [! random.monad]
-- 
cgit v1.2.3