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

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

diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index e65503ee9..9cc73f6c8 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -72,17 +72,17 @@
     "@")
   (def: (on_download uri state)
     (case (dictionary.value uri state)
-      {#.Some content}
+      {.#Some content}
       (case (binary.size content)
         0 (exception.except ..not_found [uri])
-        _ {#try.Success [state content]})
+        _ {try.#Success [state content]})
       
-      #.None
+      {.#None}
       (exception.except ..not_found [uri])))
   (def: (on_upload uri content state)
     (if (dictionary.key? state uri)
       (exception.except ..cannot_upload [uri])
-      {#try.Success (dictionary.has uri content state)})))
+      {try.#Success (dictionary.has uri content state)})))
 
 (def: .public test
   Test
-- 
cgit v1.2.3