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!

---
 .../specification/compositor/generation/structure.lux  | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation/structure.lux')

diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux
index c98013875..1b98fc558 100644
--- a/stdlib/source/specification/compositor/generation/structure.lux
+++ b/stdlib/source/specification/compositor/generation/structure.lux
@@ -36,13 +36,13 @@
      .let [last?_in (|> num_tags -- (n.= tag_in))]
      value_in r.i64]
     (_.test (%.name (name_of synthesis.variant))
-            (|> (synthesis.variant [#analysis.lefts (if last?_in
+            (|> (synthesis.variant [analysis.#lefts (if last?_in
                                                       (-- tag_in)
                                                       tag_in)
-                                    #analysis.right? last?_in
-                                    #analysis.value (synthesis.i64 value_in)])
+                                    analysis.#right? last?_in
+                                    analysis.#value (synthesis.i64 value_in)])
                 (run "variant")
-                (case> {#try.Success valueT}
+                (case> {try.#Success valueT}
                        (let [valueT (:as (Array Any) valueT)]
                          (and (n.= 3 (array.size valueT))
                               (let [tag_out (:as java/lang/Integer (maybe.trusted (array.read! 0 valueT)))
@@ -50,17 +50,17 @@
                                     value_out (:as Any (maybe.trusted (array.read! 2 valueT)))
                                     same_tag? (|> tag_out ffi.int_to_long (:as Nat) (n.= tag_in))
                                     same_flag? (case last?_out
-                                                 {#.Some last?_out'}
+                                                 {.#Some last?_out'}
                                                  (and last?_in (text\= "" (:as Text last?_out')))
 
-                                                 #.None
+                                                 {.#None}
                                                  (not last?_in))
                                     same_value? (|> value_out (:as Int) (i.= value_in))]
                                 (and same_tag?
                                      same_flag?
                                      same_value?))))
 
-                       {#try.Failure _}
+                       {try.#Failure _}
                        false)))))
 
 (def: (tuple run)
@@ -71,14 +71,14 @@
     (_.test (%.name (name_of synthesis.tuple))
             (|> (synthesis.tuple (list\each (|>> synthesis.i64) tuple_in))
                 (run "tuple")
-                (case> {#try.Success tuple_out}
+                (case> {try.#Success tuple_out}
                        (let [tuple_out (:as (Array Any) tuple_out)]
                          (and (n.= size (array.size tuple_out))
                               (list.every? (function (_ [left right])
                                              (i.= left (:as Int right)))
                                            (list.zipped/2 tuple_in (array.list tuple_out)))))
 
-                       {#try.Failure _}
+                       {try.#Failure _}
                        false)))))
 
 (def: .public (spec runner)
-- 
cgit v1.2.3