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.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

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

diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index b836cfa54..365195828 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -57,24 +57,24 @@
         (do [! stm.monad]
           [|state| (stm.read state)]
           (case (\ mock on_download uri |state|)
-            {#try.Success [|state| output]}
+            {try.#Success [|state| output]}
             (do !
               [_ (stm.write |state| state)]
-              (in {#try.Success output}))
+              (in {try.#Success output}))
             
-            {#try.Failure error}
-            (in {#try.Failure error})))))
+            {try.#Failure error}
+            (in {try.#Failure error})))))
 
      (def: (upload uri content)
        (stm.commit!
         (do [! stm.monad]
           [|state| (stm.read state)]
           (case (\ mock on_upload uri content |state|)
-            {#try.Success |state|}
+            {try.#Success |state|}
             (do !
               [_ (stm.write |state| state)]
-              (in {#try.Success []}))
+              (in {try.#Success []}))
             
-            {#try.Failure error}
-            (in {#try.Failure error})))))
+            {try.#Failure error}
+            (in {try.#Failure error})))))
      )))
-- 
cgit v1.2.3