From 220c804f9136c73058802575ee49f3f769d5599f Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 17 Mar 2022 04:29:59 -0400 Subject: De-sigil-ification: ! --- stdlib/source/library/lux.lux | 80 +++++++++++++++++++++---------------------- 1 file changed, 40 insertions(+), 40 deletions(-) (limited to 'stdlib/source/library/lux.lux') 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 ( 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 ( 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) -- cgit v1.2.3