De-sigil-ification: !

1 files changed, 40 insertions, 40 deletions

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index df53c5058..7cc43774e 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -341,7 +341,7 @@
   ([_ name] (_ann {#Symbol name})))
  #0)
 
-("lux def" local_symbol$
+("lux def" local$
  ("lux type check" {#Function Text Code}
   ([_ name] (_ann {#Symbol ["" name]})))
  #0)
@@ -965,13 +965,13 @@
 
 (def:'' .private quantified
         {#Function Code Code}
-        (let$ (local_symbol$ ..quantification_level) (nat$ 0)))
+        (let$ (local$ ..quantification_level) (nat$ 0)))
 
 (def:'' .private (quantified_type_parameter idx)
         {#Function Nat Code}
         (variant$ {#Item (symbol$ [..prelude_module "#Parameter"])
                          {#Item (form$ {#Item (text$ "lux i64 +")
-                                              {#Item (local_symbol$ ..quantification_level)
+                                              {#Item (local$ ..quantification_level)
                                                      {#Item (nat$ idx)
                                                             {#End}}}})
                                 {#End}}}))
@@ -1041,7 +1041,7 @@
 (def:'' .private (with_correct_quantification body)
         {#Function Code Code}
         (form$ {#Item (symbol$ [prelude_module "__adjusted_quantified_type__"])
-                      {#Item (local_symbol$ ..quantification_level)
+                      {#Item (local$ ..quantification_level)
                              {#Item (nat$ 0)
                                     {#Item body
                                            {#End}}}}}))
@@ -1058,7 +1058,7 @@
                                                      depth))))
                                             {#End}}}})
                 body)}
-         (local_symbol$ ..quantification_level)))
+         (local$ ..quantification_level)))
 
 (def:'' .private (initialized_quantification? lux)
         {#Function Lux Bit}
@@ -1205,10 +1205,10 @@
                     (failure "function' requires a non-empty arguments tuple.")
                     
                     {#Item [harg targs]}
-                    (meta#in (list (form$ (list (tuple$ (list (local_symbol$ name)
+                    (meta#in (list (form$ (list (tuple$ (list (local$ name)
                                                               harg))
                                                 (list#mix (function'' [arg body']
-                                                                      (form$ (list (tuple$ (list (local_symbol$ "")
+                                                                      (form$ (list (tuple$ (list (local$ "")
                                                                                                  arg))
                                                                                    body')))
                                                           body
@@ -1412,15 +1412,15 @@
 (macro:' .private (do tokens)
          ({{#Item monad {#Item [_ {#Tuple bindings}] {#Item body {#End}}}}
            ({{#Some bindings}
-             (let' [g!in (local_symbol$ "in")
-                    g!then (local_symbol$ " then ")
+             (let' [g!in (local$ "in")
+                    g!then (local$ " then ")
                     body' (list#mix ("lux type check" (-> (Tuple Code Code) Code Code)
                                      (function' [binding body']
                                                 (let' [[var value] binding]
                                                       ({[_ {#Symbol [module short]}]
                                                         ({""
                                                           (form$ (list g!then
-                                                                       (form$ (list (tuple$ (list (local_symbol$ "") var)) body'))
+                                                                       (form$ (list (tuple$ (list (local$ "") var)) body'))
                                                                        value))
 
                                                           _
@@ -1430,7 +1430,7 @@
 
                                                         _
                                                         (form$ (list g!then
-                                                                     (form$ (list (tuple$ (list (local_symbol$ "") var)) body'))
+                                                                     (form$ (list (tuple$ (list (local$ "") var)) body'))
                                                                      value))}
                                                        var))))
                                     body
@@ -2360,12 +2360,12 @@
                     ..#seed   ("lux i64 +" 1 seed) ..#expected expected
                     ..#location location ..#extensions extensions
                     ..#scope_type_vars scope_type_vars ..#eval _eval]
-                   (local_symbol$ ($_ text#composite "__gensym__" prefix (nat#encoded seed)))}}
+                   (local$ ($_ text#composite "__gensym__" prefix (nat#encoded seed)))}}
           state))
 
 (macro:' .public (exec tokens)
          ({{#Item value actions}
-           (let' [dummy (local_symbol$ "")]
+           (let' [dummy (local$ "")]
                  (meta#in (list (list#mix ("lux type check" (-> Code Code Code)
                                            (function' [pre post] (` ({(~ dummy) (~ post)}
                                                                      (~ pre)))))
@@ -2528,7 +2528,7 @@
                      _
                      {#None}))
            {#Some g!name head tail body}
-           (let [g!blank (local_symbol$ "")
+           (let [g!blank (local$ "")
                  nest (is (-> Code (-> Code Code Code))
                           (function' [g!name]
                                      (function' [arg body']
@@ -2536,7 +2536,7 @@
                                                   (` ([(~ g!name) (~ arg)] (~ body')))
                                                   (` ([(~ g!name) (~ g!blank)]
                                                       (.case (~ g!blank) (~ arg) (~ body'))))))))]
-             (meta#in (list (nest (..local_symbol$ g!name) head
+             (meta#in (list (nest (..local$ g!name) head
                                   (list#mix (nest g!blank) body (list#reversed tail))))))
 
            {#None}
@@ -2633,11 +2633,11 @@
          _
          {#None}))
 
-(def:' .private (local_symbolP tokens)
+(def:' .private (localP tokens)
        (-> (List Code) (Maybe [(List Code) Text]))
        (case tokens
-         (pattern (list& [_ {#Symbol ["" local_symbol]}] tokens'))
-         {#Some [tokens' local_symbol]}
+         (pattern (list& [_ {#Symbol ["" local]}] tokens'))
+         {#Some [tokens' local]}
 
          _
          {#None}))
@@ -2656,7 +2656,7 @@
                tail (<parser> tokens)]
               (in {#Item head tail}))))]
 
-  [parametersP Text local_symbolP]
+  [parametersP Text localP]
   [enhanced_parametersP Code anyP]
   )
 
@@ -2666,14 +2666,14 @@
           (case tokens
             (pattern (list& [_ {#Form local_declaration}] tokens'))
             (do maybe_monad
-              [% (local_symbolP local_declaration)
+              [% (localP local_declaration)
                .let' [[local_declaration name] %]
                parameters (<parameters_parser> local_declaration)]
               (in [tokens' [name parameters]]))
             
             _
             (do maybe_monad
-              [% (local_symbolP tokens)
+              [% (localP tokens)
                .let' [[tokens' name] %]]
               (in [tokens' [name {#End}]]))))]
 
@@ -2746,7 +2746,7 @@
                         body
 
                         _
-                        (` (function ((~ (..local_symbol$ name)) (~+ parameters))
+                        (` (function ((~ (..local$ name)) (~+ parameters))
                              (~ body))))
                  body (case ?type
                         {#Some type}
@@ -2755,7 +2755,7 @@
                         
                         {#None}
                         body)]
-             (meta#in (list (` ("lux def" (~ (..local_symbol$ name))
+             (meta#in (list (` ("lux def" (~ (..local$ name))
                                 (~ body)
                                 (~ export_policy))))))
            
@@ -2775,14 +2775,14 @@
 (macro:' .public (macro: tokens)
          (case (macroP tokens)
            {#Some [export_policy name args body]}
-           (let [name (local_symbol$ name)
+           (let [name (local$ name)
                  body (case args
                         {#End}
                         body
 
                         _
                         (` ("lux macro"
-                            (function ((~ name) (~+ (list#each local_symbol$ args))) (~ body)))))]
+                            (function ((~ name) (~+ (list#each local$ args))) (~ body)))))]
              (meta#in (list (` ("lux def" (~ name)
                                 (~ body)
                                 (~ export_policy))))))
@@ -3192,10 +3192,10 @@
     {#Some [export_policy name args type definitions]}
     (let [usage (case args
                   {#End}
-                  (local_symbol$ name)
+                  (local$ name)
 
                   _
-                  (` ((~ (local_symbol$ name)) (~+ args))))]
+                  (` ((~ (local$ name)) (~+ args))))]
       (meta#in (list (` (..def: (~ export_policy) (~ usage)
                           (~ type)
                           (..implementation
@@ -3334,7 +3334,7 @@
     (do meta_monad
       [type+labels?? (..type_declaration type_codes)
        module_name current_module_name
-       .let' [type_name (local_symbol$ name)
+       .let' [type_name (local$ name)
               [type labels??] type+labels??
               type' (is (Maybe Code)
                         (case args
@@ -3342,7 +3342,7 @@
                           {#Some type}
 
                           _
-                          {#Some (` (.All ((~ type_name) (~+ (list#each local_symbol$ args)))
+                          {#Some (` (.All ((~ type_name) (~+ (list#each local$ args)))
                                       (~ type)))}))]]
       (case type'
         {#Some type''}
@@ -4021,7 +4021,7 @@
   (do meta_monad
     [output (record_slots type)
      g!_ (..generated_symbol "g!_")
-     .let [g!output (local_symbol$ short)
+     .let [g!output (local$ short)
            pattern (|> tags
                        enumeration
                        (list#each (function (_ [tag_idx tag])
@@ -4041,7 +4041,7 @@
         (meta#in (list#conjoint decls')))
 
       _
-      (meta#in (list (` ("lux def" (~ (local_symbol$ (..module_alias (list short) alias)))
+      (meta#in (list (` ("lux def" (~ (local$ (..module_alias (list short) alias)))
                          (~ source+)
                          #0)))))))
 
@@ -4150,7 +4150,7 @@
              (in (list)))
      .let [defs (list#each (is (-> Text Code)
                                (function (_ def)
-                                 (` ("lux def alias" (~ (local_symbol$ def)) (~ (symbol$ [module_name def]))))))
+                                 (` ("lux def alias" (~ (local$ def)) (~ (symbol$ [module_name def]))))))
                            defs')
            openings (|> r_opens
                         (list#each (is (-> Openings (List Code))
@@ -4180,10 +4180,10 @@
                             (list (' "*"))
                             
                             {#Only defs}
-                            (list (variant$ (list& (' "+") (list#each local_symbol$ defs))))
+                            (list (variant$ (list& (' "+") (list#each local$ defs))))
                             
                             {#Exclude defs}
-                            (list (variant$ (list& (' "-") (list#each local_symbol$ defs))))
+                            (list (variant$ (list& (' "-") (list#each local$ defs))))
                             
                             {#Ignore}
                             (list)
@@ -4192,7 +4192,7 @@
                             (list)))
         openings (list#each (function (_ [alias structs])
                               (form$ (list& (text$ (..module_alias (list (alias_stand_in 0) module_alias) alias))
-                                            (list#each local_symbol$ structs))))
+                                            (list#each local$ structs))))
                             r_opens)]
     (` ((~! ..refer) (~ (text$ module_name))
         (~+ localizations)
@@ -4453,7 +4453,7 @@
                   {#Some [name bindings body]}
                   
                   (pattern (list [_ {#Tuple bindings}] body))
-                  {#Some [(local_symbol$ "again") bindings body]}
+                  {#Some [(local$ "again") bindings body]}
 
                   _
                   {#None})]
@@ -4775,13 +4775,13 @@
        g!compiler (..generated_symbol "compiler")
        g!_ (..generated_symbol "_")
        .let [rep_env (list#each (function (_ arg)
-                                  [arg (` ((~' ~) (~ (local_symbol$ arg))))])
+                                  [arg (` ((~' ~) (~ (local$ arg))))])
                                 args)]
        this_module current_module_name]
       (in (list (` (macro: (~ export_policy)
-                     ((~ (local_symbol$ name)) (~ g!tokens) (~ g!compiler))
+                     ((~ (local$ name)) (~ g!tokens) (~ g!compiler))
                      (case (~ g!tokens)
-                       (pattern (list (~+ (list#each local_symbol$ args))))
+                       (pattern (list (~+ (list#each local$ args))))
                        {.#Right [(~ g!compiler)
                                  (list (~+ (list#each (function (_ template)
                                                         (` (`' (~ (with_replacements rep_env
@@ -5013,7 +5013,7 @@
   (-> Code Code Text Code Code)
   (` {.#Apply (..Primitive "")
               (.All ((~ g!self) (~ g!dummy))
-                (~ (let$ (local_symbol$ name) (` {.#Apply (..Primitive "") (~ g!self)})
+                (~ (let$ (local$ name) (` {.#Apply (..Primitive "") (~ g!self)})
                          body)))}))
 
 (macro: .public (Rec tokens)