From cd71a864ad5be13ed6ec6d046e0a2cb1087bdf94 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 10 Sep 2021 01:21:23 -0400
Subject: Migrated variants to the new syntax.

---
 stdlib/source/test/aedifex/repository/remote.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'stdlib/source/test/aedifex/repository/remote.lux')

diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index 9e405ddc5..443ab884e 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -35,7 +35,7 @@
   (-> URL (@http.Body IO))
   (let [url (\ utf8.codec encoded url)]
     (function (_ _)
-      (io.io (#try.Success [(binary.size url) url])))))
+      (io.io {#try.Success [(binary.size url) url]}))))
 
 (def: (good_http user password)
   (-> //identity.User //identity.Password (http.Client IO))
@@ -56,7 +56,7 @@
                 [#@http.headers (http.headers (list))
                  #@http.body (..url_body url)]]
                
-               [#@http.Put (#.Some input)]
+               [#@http.Put {#.Some input}]
                (if (|> headers
                        (dictionary.value "Authorization")
                        (maybe\each (text\= (//identity.basic_auth user password)))
@@ -95,8 +95,8 @@
         ($_ _.and
             (_.cover [/.repository /.user_agent /.Address]
                      (let [repo (/.repository (..good_http user password)
-                                              (#.Some [#//identity.user user
-                                                       #//identity.password password])
+                                              {#.Some [#//identity.user user
+                                                       #//identity.password password]}
                                               address)]
                        (and (|> (\ repo download uri)
                                 io.run!
@@ -113,19 +113,19 @@
                                               #.None
                                               address)]
                        (case (io.run! (\ repo upload uri content))
-                         (#try.Failure error)
+                         {#try.Failure error}
                          (exception.match? /.upload_failure error)
                          
-                         (#try.Success _)
+                         {#try.Success _}
                          false)))
             (_.cover [/.download_failure]
                      (let [repo (/.repository ..bad_http
                                               #.None
                                               address)]
                        (case (io.run! (\ repo download uri))
-                         (#try.Failure error)
+                         {#try.Failure error}
                          (exception.match? /.download_failure error)
                          
-                         (#try.Success _)
+                         {#try.Success _}
                          false)))
             ))))
-- 
cgit v1.2.3