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/parser.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/stdlib/source/program/aedifex/parser.lux b/stdlib/source/program/aedifex/parser.lux
index b3239d4e2..b42553a8e 100644
--- a/stdlib/source/program/aedifex/parser.lux
+++ b/stdlib/source/program/aedifex/parser.lux
@@ -31,10 +31,10 @@
 (def: (as_input input)
   (-> (Maybe Code) (List Code))
   (case input
-    {#.Some input}
+    {.#Some input}
     (list input)
     
-    #.None
+    {.#None}
     (list)))
 
 (def: (singular input tag parser)
@@ -89,7 +89,7 @@
     ($_ <>.and
         (..singular input "name" ..name)
         (..singular input "url" ..url)
-        (<>.else #/.Repo
+        (<>.else {/.#Repo}
                  (..singular input "type"
                              (<>.or (<code>.this! (' "repo"))
                                     (<code>.this! (' "manual"))))))))
-- 
cgit v1.2.3