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/program/aedifex/repository/remote.lux | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

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

diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index 269ff15a9..9f09b0993 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -65,15 +65,15 @@
       [[status message] (: (IO (Try (@http.Response IO)))
                            (http.get (format address uri)
                                      (http.headers ..base_headers)
-                                     #.None
+                                     {.#None}
                                      http))]
       (case status
         (^ (static http/status.ok))
-        (\ ! each product.right ((value@ #@http.body message) #.None))
+        (\ ! each product.right ((value@ #@http.body message) {.#None}))
         
         _
         (do !
-          [_ ((value@ #@http.body message) {#.Some 0})]
+          [_ ((value@ #@http.body message) {.#Some 0})]
           (\ io.monad in (exception.except ..download_failure [(format address uri) status]))))))
 
   (def: (upload uri content)
@@ -81,15 +81,15 @@
       [[status message] (: (IO (Try (@http.Response IO)))
                            (http.put (format address uri)
                                      (http.headers (case identity
-                                                     #.None
+                                                     {.#None}
                                                      ..base_headers
                                                      
-                                                     {#.Some [user password]}
+                                                     {.#Some [user password]}
                                                      (list& ["Authorization" (//identity.basic_auth user password)]
                                                             ..base_headers)))
-                                     {#.Some content}
+                                     {.#Some content}
                                      http))
-       _ ((value@ #@http.body message) {#.Some 0})]
+       _ ((value@ #@http.body message) {.#Some 0})]
       (case status
         (^ (static http/status.created))
         (in [])
-- 
cgit v1.2.3