Made the "#" character great again!

1 files changed, 4 insertions, 4 deletions

diff --git a/stdlib/source/library/lux/data/collection/tree/finger.lux b/stdlib/source/library/lux/data/collection/tree/finger.lux
index 5cef4d130..01e125e9d 100644
--- a/stdlib/source/library/lux/data/collection/tree/finger.lux
+++ b/stdlib/source/library/lux/data/collection/tree/finger.lux
@@ -91,21 +91,21 @@
                  _node root]
             (case _node
               {0 #0 value}
-              {#.Some value}
+              {.#Some value}
 
               {0 #1 [left right]}
               (let [shifted_tag (tag//composite _tag (..tag left))]
                 (if (predicate shifted_tag)
                   (recur _tag (value@ #root (:representation left)))
                   (recur shifted_tag (value@ #root (:representation right))))))))
-        #.None)))
+        {.#None})))
   )
 
 (def: .public (exists? predicate tree)
   (All (_ @ t v) (-> (Predicate t) (Tree @ t v) Bit))
   (case (..one predicate tree)
-    {#.Some _}
+    {.#Some _}
     true
 
-    #.None
+    {.#None}
     false))