De-sigil-ification: !

3 files changed, 34 insertions, 34 deletions

diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
index 88577b388..d14a481fa 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux
@@ -236,7 +236,7 @@
         can_analyse_unary!
         (`` (and (|> (do phase.monad
                        [_ (//module.declare_labels false tags/* false :variant:)
-                        [:it: it] (|> (code.variant (list (code.local_symbol @any) (` [])))
+                        [:it: it] (|> (code.variant (list (code.local @any) (` [])))
                                       (/.phase ..expander archive.empty)
                                       //type.inferring)]
                        (in (and (type#= :variant:
@@ -255,7 +255,7 @@
                  (~~ (template [<lefts> <right> <expected> <tag> <code> <analysis>]
                        [(|> (do phase.monad
                               [_ (//module.declare_labels false tags/* false :variant:)
-                               [:it: it] (|> (code.variant (list (code.local_symbol <tag>) (<code> <expected>)))
+                               [:it: it] (|> (code.variant (list (code.local <tag>) (<code> <expected>)))
                                              (/.phase ..expander archive.empty)
                                              //type.inferring)]
                               (in (and (type#= :variant:
@@ -286,7 +286,7 @@
                .let [:either: {.#Named [module/0 module/0]
                                        (type (Or .Any :record:))}]
                _ (//module.declare_labels false (list @left @right) false :either:)
-               [:it: it] (|> (code.variant (list (code.local_symbol @left)))
+               [:it: it] (|> (code.variant (list (code.local @left)))
                              (/.phase ..expander archive.empty)
                              //type.inferring)]
               (in (and (type#= :either:
@@ -309,7 +309,7 @@
                .let [:either: {.#Named [module/0 module/0]
                                        (type (Or .Any :record:))}]
                _ (//module.declare_labels false (list @left @right) false :either:)
-               [:it: it] (|> (code.variant (list (code.local_symbol @right)
+               [:it: it] (|> (code.variant (list (code.local @right)
                                                  (` [])
                                                  (code.bit bit/0)
                                                  (code.nat nat/0)
@@ -395,13 +395,13 @@
         slots/* (list @any @bit @nat @int @rev @frac @text)]
     (|> (do phase.monad
           [_ (//module.declare_labels true slots/* false :record:)
-           [:it: it] (|> (code.tuple (list (code.local_symbol @text) (code.text text/0)
-                                           (code.local_symbol @bit) (code.bit bit/0)
-                                           (code.local_symbol @rev) (code.rev rev/0)
-                                           (code.local_symbol @int) (code.int int/0)
-                                           (code.local_symbol @nat) (code.nat nat/0)
-                                           (code.local_symbol @frac) (code.frac frac/0)
-                                           (code.local_symbol @any) (` [])))
+           [:it: it] (|> (code.tuple (list (code.local @text) (code.text text/0)
+                                           (code.local @bit) (code.bit bit/0)
+                                           (code.local @rev) (code.rev rev/0)
+                                           (code.local @int) (code.int int/0)
+                                           (code.local @nat) (code.nat nat/0)
+                                           (code.local @frac) (code.frac frac/0)
+                                           (code.local @any) (` [])))
                          (/.phase ..expander archive.empty)
                          //type.inferring)]
           (in (and (type#= :record:
@@ -758,12 +758,12 @@
         (`` (and (~~ (template [<lefts> <right?> <expected> <tag> <code> <analysis> <pattern>]
                        [(|> (do phase.monad
                               [_ (//module.declare_labels false tags/* false :variant:)
-                               [:it: it] (|> (` ({{(~ (code.local_symbol <tag>)) (~ (<code> <expected>))}
+                               [:it: it] (|> (` ({{(~ (code.local <tag>)) (~ (<code> <expected>))}
                                                   (~ (code.frac frac/0))
 
                                                   (~ $parameter/0)
                                                   (~ (code.frac frac/0))}
-                                                 {(~ (code.local_symbol <tag>)) (~ (<code> <expected>))}))
+                                                 {(~ (code.local <tag>)) (~ (<code> <expected>))}))
                                              (/.phase ..expander archive.empty)
                                              //type.inferring)]
                               (in (and (type#= .Frac :it:)
@@ -839,13 +839,13 @@
 
                                   (~ $parameter/0)
                                   (~ (code.frac frac/0))}
-                                 [(~ (code.local_symbol @any)) []
-                                  (~ (code.local_symbol @bit)) (~ (code.bit bit/0))
-                                  (~ (code.local_symbol @nat)) (~ (code.nat nat/0))
-                                  (~ (code.local_symbol @int)) (~ (code.int int/0))
-                                  (~ (code.local_symbol @rev)) (~ (code.rev rev/0))
-                                  (~ (code.local_symbol @frac)) (~ (code.frac frac/0))
-                                  (~ (code.local_symbol @text)) (~ (code.text text/0))]))
+                                 [(~ (code.local @any)) []
+                                  (~ (code.local @bit)) (~ (code.bit bit/0))
+                                  (~ (code.local @nat)) (~ (code.nat nat/0))
+                                  (~ (code.local @int)) (~ (code.int int/0))
+                                  (~ (code.local @rev)) (~ (code.rev rev/0))
+                                  (~ (code.local @frac)) (~ (code.frac frac/0))
+                                  (~ (code.local @text)) (~ (code.text text/0))]))
                              (/.phase ..expander archive.empty)
                              //type.inferring)]
               (in (and (type#= .Frac :it:)
@@ -917,10 +917,10 @@
          @left (random.ascii/lower 9)
          @right (random.ascii/lower 10)
 
-         $abstraction/0 (# ! each code.local_symbol (random.ascii/lower 11))
-         $parameter/0 (# ! each code.local_symbol (random.ascii/lower 12))
-         $abstraction/1 (# ! each code.local_symbol (random.ascii/lower 13))
-         $parameter/1 (# ! each code.local_symbol (random.ascii/lower 14))])
+         $abstraction/0 (# ! each code.local (random.ascii/lower 11))
+         $parameter/0 (# ! each code.local (random.ascii/lower 12))
+         $abstraction/1 (# ! each code.local (random.ascii/lower 13))
+         $parameter/1 (# ! each code.local (random.ascii/lower 14))])
       ($_ _.and
           (_.cover [/.phase]
                    (and (..can_analyse_unit! lux module/0)
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux
index 7a36cce34..c7272d0cc 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux
@@ -63,9 +63,9 @@
      [input/0 simple/0] $//inference.simple_parameter
      [input/1 simple/1] $//inference.simple_parameter
      [input/2 simple/2] $//inference.simple_parameter
-     $binding/0 (# ! each code.local_symbol (random.ascii/lower 3))
-     $binding/1 (# ! each code.local_symbol (random.ascii/lower 4))
-     $binding/2 (# ! each code.local_symbol (random.ascii/lower 5))]
+     $binding/0 (# ! each code.local (random.ascii/lower 3))
+     $binding/1 (# ! each code.local (random.ascii/lower 4))
+     $binding/2 (# ! each code.local (random.ascii/lower 5))]
     ($_ _.and
         (_.cover [/.tuple]
                  (let [tuple? (is (-> Type Type Bit)
@@ -508,9 +508,9 @@
          [output/0 body/0] $//inference.simple_parameter
          [output/1 body/1] (random.only (|>> product.left (same? output/0) not)
                                         $//inference.simple_parameter)
-         $binding/0 (# ! each code.local_symbol (random.ascii/lower 3))
-         $binding/1 (# ! each code.local_symbol (random.ascii/lower 4))
-         $binding/2 (# ! each code.local_symbol (random.ascii/lower 5))
+         $binding/0 (# ! each code.local (random.ascii/lower 3))
+         $binding/1 (# ! each code.local (random.ascii/lower 4))
+         $binding/2 (# ! each code.local (random.ascii/lower 5))
          extension/0 (# ! each code.text (random.ascii/lower 6))
          bit/0 random.bit
          nat/0 random.nat]
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux
index a770e05e3..6cc3bce45 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux
@@ -76,10 +76,10 @@
      [output/1 term/1] (random.only (|>> product.left (same? output/0) not)
                                     $//inference.simple_parameter)
      name/0 ($symbol.random 1 1)
-     .let [$function/0 (code.local_symbol function/0)
-           $function/1 (code.local_symbol function/1)
-           $argument/0 (code.local_symbol argument/0)
-           $argument/1 (code.local_symbol argument/1)]]
+     .let [$function/0 (code.local function/0)
+           $function/1 (code.local function/1)
+           $argument/0 (code.local argument/0)
+           $argument/1 (code.local argument/1)]]
     ($_ _.and
         (_.cover [/.function]
                  (let [function?' (is (-> Type Code (-> [(List Analysis) Analysis] Bit) Bit)