From dda05bca0956af5e5b3875c4cc36e61aa04772e4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Sep 2021 00:07:08 -0400
Subject: Made the "#" character great again!

---
 stdlib/source/test/aedifex/repository/remote.lux | 26 ++++++++++++------------
 1 file changed, 13 insertions(+), 13 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 443ab884e..9cea986a8 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))
@@ -45,18 +45,18 @@
                                   [#@http.headers (http.headers (list))
                                    #@http.body (..url_body "")]]]
        (<| io.io
-           #try.Success
+           {try.#Success}
            (if (|> headers
                    (dictionary.value "User-Agent")
                    (maybe\each (same? /.user_agent))
                    (maybe.else false))
              (case [method input]
-               [#@http.Get #.None]
+               [#@http.Get {.#None}]
                [http/status.ok
                 [#@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)))
@@ -75,7 +75,7 @@
   (implementation
    (def: (request method url headers input)
      (<| io.io
-         #try.Success
+         {try.#Success}
          [http/status.bad_request
           [#@http.headers (http.headers (list))
            #@http.body (..url_body "")]]))))
@@ -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!
@@ -110,22 +110,22 @@
                                 (try.else false)))))
             (_.cover [/.upload_failure]
                      (let [repo (/.repository (..good_http user password)
-                                              #.None
+                                              {.#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
+                                              {.#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