diff options
Diffstat (limited to '')
100 files changed, 567 insertions, 546 deletions
diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux index c6c5394f9..2fe05c99e 100644 --- a/stdlib/source/documentation/lux.lux +++ b/stdlib/source/documentation/lux.lux @@ -80,8 +80,9 @@ (documentation: /.Text "Your standard, run-of-the-mill string values.") -(documentation: /.Name - "A name. It is used as part of Lux syntax to represent identifiers and tags.") +(documentation: /.Symbol + (format "A name for a Lux definition." + \n "It includes the module of provenance.")) (documentation: (/.Maybe value) "A potentially missing value.") @@ -339,7 +340,7 @@ {#UnivQ (List @) @} {#ExQ (List @) @} {#Apply @ @} - {#Named Name @})))]) + {#Named Symbol @})))]) (documentation: /.exec "Sequential execution of expressions (great for side-effects)." @@ -920,7 +921,7 @@ ..Rev ..Frac ..Text - ..Name + ..Symbol ..Maybe ..Type ..Location diff --git a/stdlib/source/documentation/lux/data.lux b/stdlib/source/documentation/lux/data.lux index 5fce18ca7..1e86a77fc 100644 --- a/stdlib/source/documentation/lux/data.lux +++ b/stdlib/source/documentation/lux/data.lux @@ -14,7 +14,6 @@ ["[1][0]" color] ["[1][0]" format] ["[1][0]" identity] - ["[1][0]" name] ["[1][0]" product] ["[1][0]" sum] ["[1][0]" text]]) @@ -28,7 +27,6 @@ /color.documentation /format.documentation /identity.documentation - /name.documentation /product.documentation /sum.documentation /text.documentation diff --git a/stdlib/source/documentation/lux/meta.lux b/stdlib/source/documentation/lux/meta.lux index 960bef2da..4d348d681 100644 --- a/stdlib/source/documentation/lux/meta.lux +++ b/stdlib/source/documentation/lux/meta.lux @@ -10,7 +10,8 @@ [\\library ["[0]" /]] ["[0]" / "_" - ["[1][0]" location]]) + ["[1][0]" location] + ["[1][0]" symbol]]) (documentation: /.result' (format "Evaluates a computation that depends on Lux's compiler state." @@ -197,4 +198,5 @@ ($.default /.monad) ($.default /.lifted) ($.default /.try)] - [/location.documentation])) + [/location.documentation + /symbol.documentation])) diff --git a/stdlib/source/documentation/lux/data/name.lux b/stdlib/source/documentation/lux/meta/symbol.lux index 3406e9654..c4dc3a7a5 100644 --- a/stdlib/source/documentation/lux/data/name.lux +++ b/stdlib/source/documentation/lux/meta/symbol.lux @@ -11,10 +11,10 @@ ["[0]" /]]) (documentation: /.module - "The module part of a name.") + "The module part of a symbol.") (documentation: /.short - "The short part of a name.") + "The short part of a symbol.") (.def: .public documentation (.List $.Module) diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 9aed7e4de..f3f3601d3 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -108,10 +108,10 @@ {0 #0 "#Text" {#End}}}) #1) -("lux def" Name +("lux def" Symbol ("lux type check type" {9 #1 - [..prelude_module "Name"] + [..prelude_module "Symbol"] {2 #0 Text Text}}) #1) @@ -144,7 +144,7 @@ ... {#UnivQ (List Type) Type} ... {#ExQ (List Type) Type} ... {#Apply Type Type} -... {#Named Name Type}))) +... {#Named Symbol Type}))) ("lux def type tagged" Type {9 #1 [..prelude_module "Type"] ({Type @@ -185,7 +185,7 @@ ... Apply Type_Pair ... Named - {2 #0 Name Type}}}}}}}}}}}}}} + {2 #0 Symbol Type}}}}}}}}}}}}}} ("lux type check type" {2 #0 Type Type}))} ("lux type check type" {9 #0 Type List}))} ("lux type check type" {9 #0 {0 #0 ["" {#End}]} {4 #0 0}}))} @@ -224,7 +224,7 @@ ... {#Rev Rev} ... {#Frac Frac} ... {#Text Text} -... {#Identifier Name} +... {#Identifier Symbol} ... {#Form (List (w (Code' w)))} ... {#Variant (List (w (Code' w)))} ... {#Tuple (List (w (Code' w)))}) @@ -253,7 +253,7 @@ Text {#Sum ... Identifier - Name + Symbol {#Sum ... Form Code_List @@ -336,7 +336,7 @@ #0) ("lux def" identifier$ - ("lux type check" {#Function Name Code} + ("lux type check" {#Function Symbol Code} ([_ name] (_ann {#Identifier name}))) #0) @@ -369,11 +369,11 @@ .public) ... (type: .public Alias -... Name) +... Symbol) ("lux def" Alias ("lux type check type" {#Named [..prelude_module "Alias"] - Name}) + Symbol}) .public) ... (type: .public Label @@ -1489,15 +1489,15 @@ (-> Text Text Text) ("lux text concat" x y)) -(def:''' .private (name#encoded full_name) - (-> Name Text) +(def:''' .private (symbol#encoded full_name) + (-> Symbol Text) (let' [[module name] full_name] ({"" name _ ($_ text#composite module "." name)} module))) (def:''' .private (global_identifier full_name state) - (-> Name ($' Meta Name)) + (-> Symbol ($' Meta Symbol)) (let' [[module name] full_name [#info info #source source #current_module _ #modules modules #scopes scopes #type_context types #host host @@ -1515,11 +1515,11 @@ constant) {#None} - {#Left ($_ text#composite "Unknown definition: " (name#encoded full_name))}} + {#Left ($_ text#composite "Unknown definition: " (symbol#encoded full_name))}} (plist#value name definitions)) {#None} - {#Left ($_ text#composite "Unknown module: " module " @ " (name#encoded full_name))}} + {#Left ($_ text#composite "Unknown module: " module " @ " (symbol#encoded full_name))}} (plist#value module modules)))) (def:''' .private (:List<Code> expression) @@ -1752,7 +1752,7 @@ (function' [x] (f (g x)))) (def:''' .private (identifier_name x) - (-> Code ($' Maybe Name)) + (-> Code ($' Maybe Symbol)) ({[_ {#Identifier sname}] {#Some sname} @@ -1993,7 +1993,7 @@ ("lux type check" Global gdef)))) (def:''' .private (normal name) - (-> Name ($' Meta Name)) + (-> Symbol ($' Meta Symbol)) ({["" name] (do meta_monad [module_name current_module_name] @@ -2004,7 +2004,7 @@ name)) (def:''' .private (macro' full_name) - (-> Name ($' Meta ($' Maybe Macro))) + (-> Symbol ($' Meta ($' Maybe Macro))) (do meta_monad [current_module current_module_name] (let' [[module name] full_name] @@ -2018,7 +2018,7 @@ state))))) (def:''' .private (macro? name) - (-> Name ($' Meta Bit)) + (-> Symbol ($' Meta Bit)) (do meta_monad [name (normal name) output (macro' name)] @@ -2843,7 +2843,7 @@ {#Left ($_ text#composite "Unknown module: " name)})))) (def: (type_slot [module name]) - (-> Name (Meta [Nat (List Name) Bit Type])) + (-> Symbol (Meta [Nat (List Symbol) Bit Type])) (do meta_monad [=module (..module module) .let [[#module_hash _ #module_aliases _ #definitions definitions #imports _ #module_state _] =module]] @@ -2857,10 +2857,10 @@ type]) _ - (failure (text#composite "Unknown slot: " (name#encoded [module name])))))) + (failure (text#composite "Unknown slot: " (symbol#encoded [module name])))))) (def: (record_slots type) - (-> Type (Meta (Maybe [(List Name) (List Type)]))) + (-> Type (Meta (Maybe [(List Symbol) (List Type)]))) (case type {#Apply arg func} (record_slots func) @@ -2949,7 +2949,7 @@ ")")) {#Named name _} - (name#encoded name) + (symbol#encoded name) )) (macro: .public (implementation tokens) @@ -2957,7 +2957,7 @@ [tokens' (monad#each meta_monad expansion tokens) struct_type ..expected_type tags+type (record_slots struct_type) - tags (: (Meta (List Name)) + tags (: (Meta (List Symbol)) (case tags+type {#Some [tags _]} (in_meta tags) @@ -3595,7 +3595,7 @@ scopes))) (def: (definition_type name state) - (-> Name Lux (Maybe Type)) + (-> Symbol Lux (Maybe Type)) (let [[v_module v_name] name [#info info #source source #current_module _ #modules modules #scopes scopes #type_context types #host host @@ -3628,7 +3628,7 @@ {#None}))))) (def: (definition_value name state) - (-> Name (Meta [Type Any])) + (-> Symbol (Meta [Type Any])) (let [[v_module v_name] name [#info info #source source #current_module _ #modules modules #scopes scopes #type_context types #host host @@ -3636,12 +3636,12 @@ #scope_type_vars scope_type_vars #eval _eval] state] (case (plist#value v_module modules) {#None} - {#Left (text#composite "Unknown definition: " (name#encoded name))} + {#Left (text#composite "Unknown definition: " (symbol#encoded name))} {#Some [#definitions definitions #module_hash _ #module_aliases _ #imports _ #module_state _]} (case (plist#value v_name definitions) {#None} - {#Left (text#composite "Unknown definition: " (name#encoded name))} + {#Left (text#composite "Unknown definition: " (symbol#encoded name))} {#Some definition} (case definition @@ -3655,10 +3655,10 @@ {#Right [state [..Type type]]} {#Tag _} - {#Left (text#composite "Unknown definition: " (name#encoded name))} + {#Left (text#composite "Unknown definition: " (symbol#encoded name))} {#Slot _} - {#Left (text#composite "Unknown definition: " (name#encoded name))}))))) + {#Left (text#composite "Unknown definition: " (symbol#encoded name))}))))) (def: (type_variable idx bindings) (-> Nat (List [Nat (Maybe Type)]) (Maybe Type)) @@ -3672,7 +3672,7 @@ (type_variable idx bindings')))) (def: (type_definition full_name) - (-> Name (Meta Type)) + (-> Symbol (Meta Type)) (do meta_monad [.let [[module name] full_name] current_module current_module_name] @@ -3688,13 +3688,13 @@ {#Right [compiler struct_type]} _ - {#Left ($_ text#composite "Unknown var: " (name#encoded full_name))})) + {#Left ($_ text#composite "Unknown var: " (symbol#encoded full_name))})) (case (definition_type full_name compiler) {#Some struct_type} {#Right [compiler struct_type]} _ - {#Left ($_ text#composite "Unknown var: " (name#encoded full_name))}))] + {#Left ($_ text#composite "Unknown var: " (symbol#encoded full_name))}))] (case temp {#Right [compiler {#Var type_id}]} (let [[#info _ #source _ #current_module _ #modules _ @@ -3745,7 +3745,7 @@ {#Some tags&members} (do meta_monad - [full_body ((: (-> Name [(List Name) (List Type)] Code (Meta Code)) + [full_body ((: (-> Symbol [(List Symbol) (List Type)] Code (Meta Code)) (function (recur source [tags members] target) (let [locals (list#each (function (_ [t_module t_name]) [[t_module t_name] @@ -3821,7 +3821,7 @@ (case (interface_methods type) {#Some members} (let [pattern (|> (zipped/2 tags (enumeration members)) - (list#each (: (-> [Name [Nat Type]] (List Code)) + (list#each (: (-> [Symbol [Nat Type]] (List Code)) (function (_ [[r_module r_name] [r_idx r_type]]) (list (identifier$ [r_module r_name]) (if ("lux i64 =" idx r_idx) @@ -3851,7 +3851,7 @@ (failure "Wrong syntax for value@"))) (def: (open_declaration alias tags my_tag_index [module short] source type) - (-> Text (List Name) Nat Name Code Type (Meta (List Code))) + (-> Text (List Symbol) Nat Symbol Code Type (Meta (List Code))) (do meta_monad [output (record_slots type) g!_ (..identifier "g!_") @@ -3868,7 +3868,7 @@ {#Some [tags' members']} (do meta_monad [decls' (monad#each meta_monad - (: (-> [Nat Name Type] (Meta (List Code))) + (: (-> [Nat Symbol Type] (Meta (List Code))) (function (_ [sub_tag_index sname stype]) (open_declaration alias tags' sub_tag_index sname source+ stype))) (enumeration (zipped/2 tags' members')))] @@ -3891,7 +3891,7 @@ (case output {#Some [tags members]} (do meta_monad - [decls' (monad#each meta_monad (: (-> [Nat Name Type] (Meta (List Code))) + [decls' (monad#each meta_monad (: (-> [Nat Symbol Type] (Meta (List Code))) (function (_ [tag_index sname stype]) (open_declaration alias tags tag_index sname source stype))) (enumeration (zipped/2 tags members)))] @@ -3944,9 +3944,9 @@ _ (failure ($_ text#composite "Wrong syntax for refer @ " current_module \n (|> options - (list#each code#encoded) - (list#interposed " ") - (list#mix text#composite ""))))))) + (list#each code#encoded) + (list#interposed " ") + (list#mix text#composite ""))))))) (def: (referral_definitions module_name [r_defs r_opens]) (-> Text Refer (Meta (List Code))) @@ -4071,21 +4071,21 @@ {#Some members} (do meta_monad [pattern' (monad#each meta_monad - (: (-> [Name [Nat Type]] (Meta [Name Nat Code])) + (: (-> [Symbol [Nat Type]] (Meta [Symbol Nat Code])) (function (_ [r_slot_name [r_idx r_type]]) (do meta_monad [g!slot (..identifier "")] (in_meta [r_slot_name r_idx g!slot])))) (zipped/2 tags (enumeration members)))] (let [pattern (|> pattern' - (list#each (: (-> [Name Nat Code] (List Code)) + (list#each (: (-> [Symbol Nat Code] (List Code)) (function (_ [r_slot_name r_idx r_var]) (list (identifier$ r_slot_name) r_var)))) list#conjoint tuple$) output (|> pattern' - (list#each (: (-> [Name Nat Code] (List Code)) + (list#each (: (-> [Symbol Nat Code] (List Code)) (function (_ [r_slot_name r_idx r_var]) (list (identifier$ r_slot_name) (if ("lux i64 =" idx r_idx) @@ -4154,21 +4154,21 @@ {#Some members} (do meta_monad [pattern' (monad#each meta_monad - (: (-> [Name [Nat Type]] (Meta [Name Nat Code])) + (: (-> [Symbol [Nat Type]] (Meta [Symbol Nat Code])) (function (_ [r_slot_name [r_idx r_type]]) (do meta_monad [g!slot (..identifier "")] (in_meta [r_slot_name r_idx g!slot])))) (zipped/2 tags (enumeration members)))] (let [pattern (|> pattern' - (list#each (: (-> [Name Nat Code] (List Code)) + (list#each (: (-> [Symbol Nat Code] (List Code)) (function (_ [r_slot_name r_idx r_var]) (list (identifier$ r_slot_name) r_var)))) list#conjoint tuple$) output (|> pattern' - (list#each (: (-> [Name Nat Code] (List Code)) + (list#each (: (-> [Symbol Nat Code] (List Code)) (function (_ [r_slot_name r_idx r_var]) (list (identifier$ r_slot_name) (if ("lux i64 =" idx r_idx) @@ -4314,7 +4314,7 @@ inits (list#each product#right pairs)] (if (every? identifier? inits) (do meta_monad - [inits' (: (Meta (List Name)) + [inits' (: (Meta (List Symbol)) (case (monad#each maybe_monad identifier_name inits) {#Some inits'} (in_meta inits') {#None} (failure "Wrong syntax for loop"))) @@ -4343,8 +4343,8 @@ (case tokens (^ (list& [_ {#Form (list [_ {#Tuple (list& hslot' tslots')}])}] body branches)) (do meta_monad - [slots (: (Meta [Name (List Name)]) - (case (: (Maybe [Name (List Name)]) + [slots (: (Meta [Symbol (List Symbol)]) + (case (: (Maybe [Symbol (List Symbol)]) (do maybe_monad [hslot (..identifier_name hslot') tslots (monad#each maybe_monad ..identifier_name tslots')] @@ -4360,12 +4360,12 @@ output (..type_slot hslot) g!_ (..identifier "_") .let [[idx tags exported? type] output - slot_pairings (list#each (: (-> Name [Text Code]) + slot_pairings (list#each (: (-> Symbol [Text Code]) (function (_ [module name]) [name (local_identifier$ name)])) (list& hslot tslots)) pattern (|> tags - (list#each (: (-> Name (List Code)) + (list#each (: (-> Symbol (List Code)) (function (_ [module name]) (let [tag (identifier$ [module name])] (case (plist#value name slot_pairings) @@ -4438,7 +4438,7 @@ type)) (def: (static_simple_literal name) - (-> Name (Meta Code)) + (-> Symbol (Meta Code)) (do meta_monad [type+value (definition_value name) .let [[type value] type+value]] @@ -4454,7 +4454,7 @@ ["Text" Text text$]) _ - (failure (text#composite "Cannot anti-quote type: " (name#encoded name)))))) + (failure (text#composite "Cannot anti-quote type: " (symbol#encoded name)))))) (def: (static_literal token) (-> Code (Meta Code)) @@ -4571,8 +4571,8 @@ ... currently being defined. That name can then be fed into ... 'wrong_syntax_error' for easier maintenance of the error_messages. (def: wrong_syntax_error - (-> Name Text) - (|>> name#encoded + (-> Symbol Text) + (|>> symbol#encoded (text#composite "Wrong syntax for "))) (macro: .public (name_of tokens) @@ -4762,7 +4762,7 @@ _ (failure ($_ text#composite - "Invalid target platform (must be a value of type Text): " (name#encoded identifier) + "Invalid target platform (must be a value of type Text): " (symbol#encoded identifier) " : " (..code#encoded (..type_code type)))))) _ @@ -4856,7 +4856,7 @@ (failure (..wrong_syntax_error (name_of ..``))))) (def: (name$ [module name]) - (-> Name Code) + (-> Symbol Code) (` [(~ (text$ module)) (~ (text$ name))])) (def: (untemplated_list& last inits) diff --git a/stdlib/source/library/lux/abstract/monad/indexed.lux b/stdlib/source/library/lux/abstract/monad/indexed.lux index 1382f764d..0d05fa951 100644 --- a/stdlib/source/library/lux/abstract/monad/indexed.lux +++ b/stdlib/source/library/lux/abstract/monad/indexed.lux @@ -33,11 +33,11 @@ (type: Context (Variant - {#Macro Name Code} + {#Macro Symbol Code} {#Binding Binding})) (def: global_identifier - (Parser Name) + (Parser Symbol) (//.do <>.monad [[module short] <code>.identifier _ (<>.assertion "" (case module "" false _ true))] diff --git a/stdlib/source/library/lux/control/concurrency/actor.lux b/stdlib/source/library/lux/control/concurrency/actor.lux index 49e785923..7bbc5f158 100644 --- a/stdlib/source/library/lux/control/concurrency/actor.lux +++ b/stdlib/source/library/lux/control/concurrency/actor.lux @@ -303,7 +303,7 @@ <code>.local_identifier))) (def: reference^ - (Parser [Name (List Text)]) + (Parser [Symbol (List Text)]) (<>.either (<code>.form (<>.and <code>.identifier (<>.some <code>.local_identifier))) (<>.and <code>.identifier (# <>.monad in (list))))) diff --git a/stdlib/source/library/lux/control/parser/analysis.lux b/stdlib/source/library/lux/control/parser/analysis.lux index 61e512c56..b39b7c01d 100644 --- a/stdlib/source/library/lux/control/parser/analysis.lux +++ b/stdlib/source/library/lux/control/parser/analysis.lux @@ -8,7 +8,6 @@ ["[0]" exception {"+" exception:}]] [data ["[0]" bit] - ["[0]" name] ["[0]" text ["%" format {"+" format}]] [collection @@ -22,6 +21,8 @@ ["[0]" int] ["[0]" rev] ["[0]" frac]]] + [meta + ["[0]" symbol]] [tool [compiler [arity {"+" Arity}] @@ -118,7 +119,7 @@ [text text! /.text Text text.equivalence] [local local! /.variable/local Nat nat.equivalence] [foreign foreign! /.variable/foreign Nat nat.equivalence] - [constant constant! /.constant Name name.equivalence] + [constant constant! /.constant Symbol symbol.equivalence] ) (def: .public (tuple parser) diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/library/lux/control/parser/binary.lux index 21f86eb84..2d52aaee3 100644 --- a/stdlib/source/library/lux/control/parser/binary.lux +++ b/stdlib/source/library/lux/control/parser/binary.lux @@ -235,8 +235,8 @@ (set.size output)))] (in output))) -(def: .public name - (Parser Name) +(def: .public symbol + (Parser Symbol) (//.and ..text ..text)) (def: .public type @@ -256,7 +256,7 @@ [7 [.#UnivQ] quantified] [8 [.#ExQ] quantified] [9 [.#Apply] pair] - [10 [.#Named] (//.and ..name type)]]))))) + [10 [.#Named] (//.and ..symbol type)]]))))) (def: .public location (Parser Location) @@ -274,7 +274,7 @@ [3 [.#Rev] ..rev] [4 [.#Frac] ..frac] [5 [.#Text] ..text] - [6 [.#Identifier] ..name] + [6 [.#Identifier] ..symbol] [7 [.#Form] sequence] [8 [.#Variant] sequence] [9 [.#Tuple] sequence]])))))) diff --git a/stdlib/source/library/lux/control/parser/code.lux b/stdlib/source/library/lux/control/parser/code.lux index 18953181b..c2ee27afd 100644 --- a/stdlib/source/library/lux/control/parser/code.lux +++ b/stdlib/source/library/lux/control/parser/code.lux @@ -8,7 +8,6 @@ [data ["[0]" bit] ["[0]" text ("[1]#[0]" monoid)] - ["[0]" name] [collection ["[0]" list ("[1]#[0]" functor)]]] [macro @@ -18,7 +17,9 @@ ["[0]" nat] ["[0]" int] ["[0]" rev] - ["[0]" frac]]]]] + ["[0]" frac]]] + [meta + ["[0]" symbol]]]] ["[0]" //]) (def: (un_paired pairs) @@ -80,13 +81,13 @@ _ <failure>))))] - [bit bit! Bit .#Bit bit.equivalence "bit"] - [nat nat! Nat .#Nat nat.equivalence "nat"] - [int int! Int .#Int int.equivalence "int"] - [rev rev! Rev .#Rev rev.equivalence "rev"] - [frac frac! Frac .#Frac frac.equivalence "frac"] - [text text! Text .#Text text.equivalence "text"] - [identifier identifier! Name .#Identifier name.equivalence "identifier"] + [bit bit! Bit .#Bit bit.equivalence "bit"] + [nat nat! Nat .#Nat nat.equivalence "nat"] + [int int! Int .#Int int.equivalence "int"] + [rev rev! Rev .#Rev rev.equivalence "rev"] + [frac frac! Frac .#Frac frac.equivalence "frac"] + [text text! Text .#Text text.equivalence "text"] + [identifier identifier! Symbol .#Identifier symbol.equivalence "identifier"] ) (def: .public (this! code) diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux index 69e89986e..1e8dff8f2 100644 --- a/stdlib/source/library/lux/control/parser/synthesis.lux +++ b/stdlib/source/library/lux/control/parser/synthesis.lux @@ -8,7 +8,6 @@ ["[0]" exception {"+" exception:}]] [data ["[0]" bit] - ["[0]" name] ["[0]" text ["%" format {"+" format}]]] [math @@ -16,6 +15,8 @@ ["n" nat] ["[0]" i64] ["[0]" frac]]] + [meta + ["[0]" symbol]] [tool [compiler [reference {"+" } @@ -115,7 +116,7 @@ [text text! /.text Text text.equivalence] [local local! /.variable/local Nat n.equivalence] [foreign foreign! /.variable/foreign Nat n.equivalence] - [constant constant! /.constant Name name.equivalence] + [constant constant! /.constant Symbol symbol.equivalence] ) (def: .public (tuple parser) diff --git a/stdlib/source/library/lux/control/parser/type.lux b/stdlib/source/library/lux/control/parser/type.lux index 969acde94..11815338e 100644 --- a/stdlib/source/library/lux/control/parser/type.lux +++ b/stdlib/source/library/lux/control/parser/type.lux @@ -295,7 +295,7 @@ (//.failure (exception.error ..not_existential headT))))) (def: .public named - (Parser [Name Type]) + (Parser [Symbol Type]) (do //.monad [inputT any] (case inputT diff --git a/stdlib/source/library/lux/control/parser/xml.lux b/stdlib/source/library/lux/control/parser/xml.lux index fa4245354..0fc4ab793 100644 --- a/stdlib/source/library/lux/control/parser/xml.lux +++ b/stdlib/source/library/lux/control/parser/xml.lux @@ -7,14 +7,15 @@ ["[0]" try {"+" Try} ("[1]#[0]" functor)] ["[0]" exception {"+" exception:}]] [data - ["[0]" name ("[1]#[0]" equivalence codec)] ["[0]" text ["%" format {"+" format}]] [collection ["[0]" list] ["[0]" dictionary]] [format - ["/" xml {"+" Attribute Attrs Tag XML}]]]]] + ["/" xml {"+" Attribute Attrs Tag XML}]]] + [meta + ["[0]" symbol ("[1]#[0]" equivalence codec)]]]] ["[0]" //]) (type: .public (Parser a) @@ -107,7 +108,7 @@ (exception.except ..unexpected_input []) {/.#Node actual attrs' children} - (if (name#= expected actual) + (if (symbol#= expected actual) (|> children (..result' parser attrs') (try#each (|>> [[attrs tail]]))) diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux index bcfecf187..f92ae3a75 100644 --- a/stdlib/source/library/lux/control/security/capability.lux +++ b/stdlib/source/library/lux/control/security/capability.lux @@ -49,7 +49,7 @@ [this_module meta.current_module_name .let [[name vars] declaration] g!brand (# ! each (|>> %.code code.text) - (macro.identifier (format (%.name [this_module name])))) + (macro.identifier (format (%.symbol [this_module name])))) .let [capability (` (..Capability (.Primitive (~ g!brand)) (~ input) (~ output)))]] (in (list (` (type: (~ export_policy) (~ (|declaration|.format declaration)) diff --git a/stdlib/source/library/lux/control/try.lux b/stdlib/source/library/lux/control/try.lux index c3822c12e..9567a738e 100644 --- a/stdlib/source/library/lux/control/try.lux +++ b/stdlib/source/library/lux/control/try.lux @@ -128,7 +128,7 @@ {#Success value} {.#None} - {#Failure (`` (("lux in-module" (~~ (static .prelude_module)) .name#encoded) + {#Failure (`` (("lux in-module" (~~ (static .prelude_module)) .symbol#encoded) (name_of ..of_maybe)))})) (macro: .public (else tokens compiler) diff --git a/stdlib/source/library/lux/data/format/binary.lux b/stdlib/source/library/lux/data/format/binary.lux index c794c5b3d..fa55d392e 100644 --- a/stdlib/source/library/lux/data/format/binary.lux +++ b/stdlib/source/library/lux/data/format/binary.lux @@ -219,8 +219,8 @@ (All (_ a) (-> (Writer a) (Writer (Set a)))) (|>> set.list (..list value))) -(def: .public name - (Writer Name) +(def: .public symbol + (Writer Symbol) (..and ..text ..text)) (def: .public type @@ -252,7 +252,7 @@ [7 .#UnivQ quantified] [8 .#ExQ quantified] [9 .#Apply pair] - [10 .#Named (..and ..name recur)]) + [10 .#Named (..and ..symbol recur)]) )))))) (def: .public location @@ -283,7 +283,7 @@ [3 .#Rev ..rev] [4 .#Frac ..frac] [5 .#Text ..text] - [6 .#Identifier ..name] + [6 .#Identifier ..symbol] [7 .#Form sequence] [8 .#Variant sequence] [9 .#Tuple sequence]) diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux index 96448c214..fdc3c0022 100644 --- a/stdlib/source/library/lux/data/format/tar.lux +++ b/stdlib/source/library/lux/data/format/tar.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Mode Name and} + [lux {"-" Mode and} [abstract [monad {"+" do}]] [control diff --git a/stdlib/source/library/lux/data/format/xml.lux b/stdlib/source/library/lux/data/format/xml.lux index df6642565..1db81f6d7 100644 --- a/stdlib/source/library/lux/data/format/xml.lux +++ b/stdlib/source/library/lux/data/format/xml.lux @@ -11,7 +11,6 @@ ["<[0]>" text {"+" Parser}]]] [data ["[0]" product] - ["[0]" name ("[1]#[0]" equivalence codec)] ["[0]" text {"+" \n} ("[1]#[0]" equivalence monoid)] [collection ["[0]" list ("[1]#[0]" functor)] @@ -19,20 +18,22 @@ [math [number ["n" nat] - ["[0]" int]]]]]) + ["[0]" int]]] + [meta + ["[0]" symbol ("[1]#[0]" equivalence codec)]]]]) (type: .public Tag - Name) + Symbol) (type: .public Attribute - Name) + Symbol) (type: .public Attrs (Dictionary Attribute Text)) (def: .public attributes Attrs - (dictionary.empty name.hash)) + (dictionary.empty symbol.hash)) (type: .public XML (Rec XML @@ -87,7 +88,7 @@ (in ($_ text#composite head tail)))) (def: namespaced_symbol^ - (Parser Name) + (Parser Symbol) (do <>.monad [first_part xml_identifier ?second_part (<| <>.maybe (<>.after (<text>.this ..namespace_separator)) xml_identifier)] @@ -115,7 +116,7 @@ (def: attrs^ (Parser Attrs) - (<| (# <>.monad each (dictionary.of_list name.hash)) + (<| (# <>.monad each (dictionary.of_list symbol.hash)) <>.some (<>.and (..spaced^ attr_name^)) (<>.after (<text>.this "=")) @@ -129,9 +130,9 @@ (<>.after (<text>.this "/")) (<text>.enclosed ["<" ">"]))] (<>.assertion ($_ text#composite "Close tag does not match open tag." \n - "Expected: " (name#encoded expected) \n - " Actual: " (name#encoded actual) \n) - (name#= expected actual)))) + "Expected: " (symbol#encoded expected) \n + " Actual: " (symbol#encoded actual) \n) + (symbol#= expected actual)))) (def: comment^ (Parser Text) @@ -284,7 +285,7 @@ [{#Node reference/tag reference/attrs reference/children} {#Node sample/tag sample/attrs sample/children}] - (and (name#= reference/tag sample/tag) + (and (symbol#= reference/tag sample/tag) (# (dictionary.equivalence text.equivalence) = reference/attrs sample/attrs) (n.= (list.size reference/children) (list.size sample/children)) diff --git a/stdlib/source/library/lux/data/text/format.lux b/stdlib/source/library/lux/data/text/format.lux index e94d613a7..8a5509a8f 100644 --- a/stdlib/source/library/lux/data/text/format.lux +++ b/stdlib/source/library/lux/data/text/format.lux @@ -10,7 +10,6 @@ ["<[0]>" code {"+" Parser}]]] [data ["[0]" bit] - ["[0]" name] ["[0]" text] [format ["[0]" xml] @@ -36,7 +35,8 @@ ["[0]" code] ["[0]" template]] [meta - ["[0]" location]] + ["[0]" location] + ["[0]" symbol]] ["[0]" type]]]) (type: .public (Format a) @@ -64,7 +64,7 @@ [text Text text.format] [ratio ratio.Ratio (# ratio.codec encoded)] - [name Name (# name.codec encoded)] + [symbol Symbol (# symbol.codec encoded)] [location Location location.format] [code Code code.format] [type Type type.format] diff --git a/stdlib/source/library/lux/data/text/regex.lux b/stdlib/source/library/lux/data/text/regex.lux index 52fbed021..7a67e2a28 100644 --- a/stdlib/source/library/lux/data/text/regex.lux +++ b/stdlib/source/library/lux/data/text/regex.lux @@ -56,31 +56,31 @@ (-> (Parser (List Text)) (Parser Text)) (# <>.monad each //.together)) -(def: name_char^ +(def: symbol_char^ (Parser Text) - (<text>.none_of (format "[]{}()s#.<>" //.double_quote))) + (<text>.none_of (format "[]{}()s.<>" //.double_quote))) -(def: name_part^ +(def: symbol_part^ (Parser Text) (do <>.monad [head (refine^ (<text>.not <text>.decimal) - name_char^) - tail (<text>.some name_char^)] + symbol_char^) + tail (<text>.some symbol_char^)] (in (format head tail)))) -(def: (name^ current_module) - (-> Text (Parser Name)) +(def: (symbol^ current_module) + (-> Text (Parser Symbol)) ($_ <>.either - (<>.and (<>#in current_module) (<>.after (<text>.this "..") name_part^)) - (<>.and name_part^ (<>.after (<text>.this ".") name_part^)) - (<>.and (<>#in .prelude_module) (<>.after (<text>.this ".") name_part^)) - (<>.and (<>#in "") name_part^))) + (<>.and (<>#in current_module) (<>.after (<text>.this "..") symbol_part^)) + (<>.and symbol_part^ (<>.after (<text>.this ".") symbol_part^)) + (<>.and (<>#in .prelude_module) (<>.after (<text>.this ".") symbol_part^)) + (<>.and (<>#in "") symbol_part^))) (def: (re_var^ current_module) (-> Text (Parser Code)) (do <>.monad - [name (<text>.enclosed ["\@<" ">"] (name^ current_module))] - (in (` (: ((~! <text>.Parser) Text) (~ (code.identifier name))))))) + [symbol (<text>.enclosed ["\@<" ">"] (symbol^ current_module))] + (in (` (: ((~! <text>.Parser) Text) (~ (code.identifier symbol))))))) (def: re_range^ (Parser Code) @@ -199,9 +199,9 @@ (in (` ((~! ..copy) (~ (code.identifier ["" (n#encoded id)])))))) (do <>.monad [_ (<text>.this "\k<") - captured_name name_part^ + captured_symbol symbol_part^ _ (<text>.this ">")] - (in (` ((~! ..copy) (~ (code.identifier ["" captured_name])))))))) + (in (` ((~! ..copy) (~ (code.identifier ["" captured_symbol])))))))) (def: (re_simple^ current_module) (-> Text (Parser Code)) @@ -398,11 +398,11 @@ (in [{#Non_Capturing} complex])) (do <>.monad [_ (<text>.this "(?<") - captured_name name_part^ + captured_symbol symbol_part^ _ (<text>.this ">") [num_captures pattern] (re_alternative^ #1 re_scoped^ current_module) _ (<text>.this ")")] - (in [{#Capturing [{.#Some captured_name} num_captures]} pattern])) + (in [{#Capturing [{.#Some captured_symbol} num_captures]} pattern])) (do <>.monad [_ (<text>.this "(") [num_captures pattern] (re_alternative^ #1 re_scoped^ current_module) diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux index 4e34cf604..5a35e3c62 100644 --- a/stdlib/source/library/lux/debug.lux +++ b/stdlib/source/library/lux/debug.lux @@ -412,7 +412,7 @@ (in (|>> (:as <type>) <formatter>)))] [Ratio %.ratio] - [Name %.name] + [Symbol %.symbol] [Location %.location] [Type %.type] [Code %.code] diff --git a/stdlib/source/library/lux/documentation.lux b/stdlib/source/library/lux/documentation.lux index 108bc1160..e37df17e9 100644 --- a/stdlib/source/library/lux/documentation.lux +++ b/stdlib/source/library/lux/documentation.lux @@ -95,7 +95,7 @@ (format "." short) ... else - (%.name [module short]))] + (%.symbol [module short]))] [(revised@ .#column (n.+ (text.size documentation)) new_location) (format (padding reference_column old_location new_location) documentation)]) @@ -293,7 +293,7 @@ (format "." _name) ... else - (%.name [_module _name])) + (%.symbol [_module _name])) )) (def: type @@ -431,7 +431,7 @@ (format "." _name) ... else - (%.name [_module _name])) + (%.symbol [_module _name])) ))) (def: (type_definition module [name parameters] tags type) @@ -449,12 +449,12 @@ (<>.or (<code>.text! "") <code>.any)) -(exception: .public (unqualified_identifier [name Name]) +(exception: .public (unqualified_identifier [name Symbol]) (exception.report - ["Name" (%.name name)])) + ["Name" (%.symbol name)])) (def: qualified_identifier - (Parser Name) + (Parser Symbol) (do <>.monad [name <code>.identifier] (case name @@ -489,7 +489,7 @@ code.text)) (type: Declaration - [Name (List Text)]) + [Symbol (List Text)]) (def: declaration (Parser Declaration) diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux index 0c7865049..fddde12e9 100644 --- a/stdlib/source/library/lux/ffi.jvm.lux +++ b/stdlib/source/library/lux/ffi.jvm.lux @@ -279,7 +279,7 @@ (type: Partial_Call (Record - [#pc_method Name + [#pc_method Symbol #pc_args (List Code)])) (type: ImportMethodKind diff --git a/stdlib/source/library/lux/ffi.old.lux b/stdlib/source/library/lux/ffi.old.lux index f7c40b59d..174e8e8d9 100644 --- a/stdlib/source/library/lux/ffi.old.lux +++ b/stdlib/source/library/lux/ffi.old.lux @@ -206,7 +206,7 @@ (type: Partial_Call (Record - [#pc_method Name + [#pc_method Symbol #pc_args (List Code)])) (type: ImportMethodKind diff --git a/stdlib/source/library/lux/macro.lux b/stdlib/source/library/lux/macro.lux index ecf9b134c..cb81d841b 100644 --- a/stdlib/source/library/lux/macro.lux +++ b/stdlib/source/library/lux/macro.lux @@ -5,7 +5,6 @@ ["[0]" monad {"+" do}]] [data ["[0]" text ("[1]#[0]" monoid)] - ["[0]" name ("[1]#[0]" codec)] [collection ["[0]" list ("[1]#[0]" monoid monad)]]] [macro @@ -16,7 +15,8 @@ ["[0]" int]]]]] ["[0]" // "_" ["[1]" meta - ["[0]" location]]]) + ["[0]" location] + ["[0]" symbol ("[1]#[0]" codec)]]]) (def: .public (single_expansion syntax) (-> Code (Meta (List Code))) @@ -110,8 +110,8 @@ (//.failure (text#composite "Code is not a local identifier: " (code.format ast))))) (def: .public wrong_syntax_error - (-> Name Text) - (|>> name#encoded + (-> Symbol Text) + (|>> symbol#encoded (text.prefix (text#composite "Wrong syntax for " text.\'')) (text.suffix (text#composite text.\'' ".")))) @@ -161,7 +161,7 @@ (do //.monad [location //.location output (<func> token) - .let [_ ("lux io log" ($_ text#composite (name#encoded macro_name) " " (location.format location))) + .let [_ ("lux io log" ($_ text#composite (symbol#encoded macro_name) " " (location.format location))) _ (list#each (|>> code.format "lux io log") output) _ ("lux io log" "")]] diff --git a/stdlib/source/library/lux/macro/code.lux b/stdlib/source/library/lux/macro/code.lux index 1b81cc910..60a3ee79c 100644 --- a/stdlib/source/library/lux/macro/code.lux +++ b/stdlib/source/library/lux/macro/code.lux @@ -6,7 +6,6 @@ [data ["[0]" product] ["[0]" bit] - ["[0]" name] ["[0]" text ("[1]#[0]" monoid equivalence)] [collection ["[0]" list ("[1]#[0]" functor mix)]]] @@ -17,7 +16,8 @@ ["[0]" rev] ["[0]" frac]]] [meta - ["[0]" location]]]]) + ["[0]" location] + ["[0]" symbol]]]]) ... (type: (Code' w) ... {.#Bit Bit} @@ -26,7 +26,7 @@ ... {.#Rev Rev} ... {.#Frac Frac} ... {.#Text Text} -... {.#Identifier Name} +... {.#Identifier Symbol} ... {.#Form (List (w (Code' w)))} ... {.#Variant (List (w (Code' w)))} ... {.#Tuple (List (w (Code' w)))}) @@ -45,7 +45,7 @@ [rev Rev .#Rev] [frac Frac .#Frac] [text Text .#Text] - [identifier Name .#Identifier] + [identifier Symbol .#Identifier] [form (List Code) .#Form] [variant (List Code) .#Variant] [tuple (List Code) .#Tuple] @@ -72,7 +72,7 @@ [.#Rev rev.equivalence] [.#Frac frac.equivalence] [.#Text text.equivalence] - [.#Identifier name.equivalence]) + [.#Identifier symbol.equivalence]) (^template [<tag>] [[[_ {<tag> xs'}] [_ {<tag> ys'}]] @@ -95,7 +95,7 @@ [.#Int int.decimal] [.#Rev rev.decimal] [.#Frac frac.decimal] - [.#Identifier name.codec]) + [.#Identifier symbol.codec]) [_ {.#Text value}] (text.format value) diff --git a/stdlib/source/library/lux/macro/local.lux b/stdlib/source/library/lux/macro/local.lux index 88574b123..69b15e99b 100644 --- a/stdlib/source/library/lux/macro/local.lux +++ b/stdlib/source/library/lux/macro/local.lux @@ -49,7 +49,7 @@ (exception.except ..unknown_module [name])))) (def: (push_one [name macro]) - (-> [Name Macro] (Meta Any)) + (-> [Symbol Macro] (Meta Any)) (do meta.monad [[module_name definition_name] (meta.normal name) .let [definition (: Global {.#Definition [false .Macro macro]}) @@ -66,7 +66,7 @@ (exception.except ..cannot_shadow_definition [module_name definition_name])))))) (def: (pop_one name) - (-> Name (Meta Any)) + (-> Symbol (Meta Any)) (do meta.monad [[module_name definition_name] (meta.normal name) .let [lacks_macro! (: (-> (PList Global) (PList Global)) @@ -82,7 +82,7 @@ (exception.except ..unknown_definition [module_name definition_name])))))) (def: (pop_all macros self) - (-> (List Name) Name Macro) + (-> (List Symbol) Symbol Macro) ("lux macro" (function (_ _) (do [! meta.monad] @@ -97,11 +97,12 @@ (list))))))) (def: .public (push macros) - (-> (List [Name Macro]) (Meta Code)) + (-> (List [Symbol Macro]) (Meta Code)) (do meta.monad [_ (monad.each meta.monad ..push_one macros) seed meta.seed g!pop (//.identifier "pop") - _ (let [g!pop (: Name ["" (//code.format g!pop)])] + _ (let [g!pop (: Symbol + ["" (//code.format g!pop)])] (..push_one [g!pop (..pop_all (list#each product.left macros) g!pop)]))] (in (` ((~ g!pop)))))) diff --git a/stdlib/source/library/lux/macro/syntax/definition.lux b/stdlib/source/library/lux/macro/syntax/definition.lux index 1549081e2..59b946503 100644 --- a/stdlib/source/library/lux/macro/syntax/definition.lux +++ b/stdlib/source/library/lux/macro/syntax/definition.lux @@ -12,7 +12,6 @@ ["[0]" sum] ["[0]" product] ["[0]" bit] - ["[0]" name] ["[0]" text ["%" format]] [collection diff --git a/stdlib/source/library/lux/macro/template.lux b/stdlib/source/library/lux/macro/template.lux index 19a9f6c01..d0355c4af 100644 --- a/stdlib/source/library/lux/macro/template.lux +++ b/stdlib/source/library/lux/macro/template.lux @@ -44,8 +44,8 @@ list#conjoint))] (~ body))))))) -(def: (name_side module_side? parser) - (-> Bit (Parser Name) (Parser Text)) +(def: (symbol_side module_side? parser) + (-> Bit (Parser Symbol) (Parser Text)) (do <>.monad [[module short] parser] (in (if module_side? @@ -56,7 +56,7 @@ (def: (snippet module_side?) (-> Bit (Parser Text)) - (.let [full_identifier (..name_side module_side? <code>.identifier)] + (.let [full_identifier (..symbol_side module_side? <code>.identifier)] ($_ <>.either <code>.text (if module_side? diff --git a/stdlib/source/library/lux/meta.lux b/stdlib/source/library/lux/meta.lux index 4e4c1a8d9..d9c84288d 100644 --- a/stdlib/source/library/lux/meta.lux +++ b/stdlib/source/library/lux/meta.lux @@ -11,7 +11,6 @@ [data ["[0]" product] ["[0]" text ("[1]#[0]" monoid order)] - ["[0]" name ("[1]#[0]" codec equivalence)] [collection ["[0]" list ("[1]#[0]" monoid monad)] [dictionary @@ -21,7 +20,9 @@ [math [number ["n" nat] - ["i" int]]]]] + ["i" int]]] + [meta + ["[0]" symbol ("[1]#[0]" codec equivalence)]]]] [/ ["[0]" location]]) @@ -150,7 +151,7 @@ false))) (def: .public (normal name) - (-> Name (Meta Name)) + (-> Symbol (Meta Symbol)) (case name ["" name] (do ..monad @@ -161,7 +162,7 @@ (# ..monad in name))) (def: .public (macro full_name) - (-> Name (Meta (Maybe Macro))) + (-> Symbol (Meta (Maybe Macro))) (do ..monad [[module name] (..normal full_name)] (: (Meta (Maybe Macro)) @@ -292,7 +293,7 @@ (text.interposed ..listing_separator))) (def: .public (definition name) - (-> Name (Meta Global)) + (-> Symbol (Meta Global)) (do ..monad [name (..normal name) .let [[normal_module normal_short] name]] @@ -313,7 +314,7 @@ (list#each product.left) ..module_listing)] {try.#Failure ($_ text#composite - "Unknown definition: " (name#encoded name) text.new_line + "Unknown definition: " (symbol#encoded name) text.new_line " Current module: " current_module text.new_line (case (plist.value current_module (value@ .#modules lux)) {.#Some this_module} @@ -328,7 +329,7 @@ {.#Type [exported? _]}) (if (and exported? (text#= normal_short def_name)) - {.#Some (name#encoded [module_name def_name])} + {.#Some (symbol#encoded [module_name def_name])} {.#None}) {.#Alias _} @@ -360,7 +361,7 @@ " All known modules: " all_known_modules text.new_line)}))))) (def: .public (export name) - (-> Name (Meta Definition)) + (-> Symbol (Meta Definition)) (do ..monad [definition (..definition name)] (case definition @@ -368,30 +369,30 @@ (let [[exported? def_type def_value] definition] (if exported? (in definition) - (failure ($_ text#composite "Definition is not an export: " (name#encoded name))))) + (failure ($_ text#composite "Definition is not an export: " (symbol#encoded name))))) {.#Type [exported? type labels]} (if exported? (in [exported? .Type type]) - (failure ($_ text#composite "Type is not an export: " (name#encoded name)))) + (failure ($_ text#composite "Type is not an export: " (symbol#encoded name)))) {.#Alias de_aliased} (failure ($_ text#composite "Aliases are not considered exports: " - (name#encoded name))) + (symbol#encoded name))) {.#Tag _} (failure ($_ text#composite "Tags are not considered exports: " - (name#encoded name))) + (symbol#encoded name))) {.#Slot _} (failure ($_ text#composite "Slots are not considered exports: " - (name#encoded name)))))) + (symbol#encoded name)))))) (def: .public (definition_type name) - (-> Name (Meta Type)) + (-> Symbol (Meta Type)) (do ..monad [definition (definition name)] (case definition @@ -407,15 +408,15 @@ {.#Tag _} (failure ($_ text#composite "Tags have no type: " - (name#encoded name))) + (symbol#encoded name))) {.#Slot _} (failure ($_ text#composite "Slots have no type: " - (name#encoded name)))))) + (symbol#encoded name)))))) (def: .public (type name) - (-> Name (Meta Type)) + (-> Symbol (Meta Type)) (case name ["" _name] (either (var_type _name) @@ -425,7 +426,7 @@ (definition_type name))) (def: .public (type_definition name) - (-> Name (Meta Type)) + (-> Symbol (Meta Type)) (do ..monad [definition (definition name)] (case definition @@ -439,16 +440,16 @@ (type_code .Type) (type_code def_type))) (in (:as Type def_value)) - (..failure ($_ text#composite "Definition is not a type: " (name#encoded name))))) + (..failure ($_ text#composite "Definition is not a type: " (symbol#encoded name))))) {.#Type [exported? type labels]} (in type) {.#Tag _} - (..failure ($_ text#composite "Tag is not a type: " (name#encoded name))) + (..failure ($_ text#composite "Tag is not a type: " (symbol#encoded name))) {.#Slot _} - (..failure ($_ text#composite "Slot is not a type: " (name#encoded name)))))) + (..failure ($_ text#composite "Slot is not a type: " (symbol#encoded name)))))) (def: .public (globals module) (-> Text (Meta (List [Text Global]))) @@ -500,7 +501,7 @@ {try.#Success}))) (def: .public (tags_of type_name) - (-> Name (Meta (Maybe (List Name)))) + (-> Symbol (Meta (Maybe (List Symbol)))) (do ..monad [.let [[module_name name] type_name] module (..module module_name)] @@ -550,7 +551,7 @@ (template [<name> <tag> <description>] [(def: .public (<name> tag_name) - (-> Name (Meta [Nat (List Name) Type])) + (-> Symbol (Meta [Nat (List Symbol) Type])) (do ..monad [.let [[module name] tag_name] =module (..module module) @@ -560,18 +561,18 @@ (if (or (text#= this_module_name module) exported?) (in [idx (list#each (|>> [module]) group) type]) - (..failure ($_ text#composite "Cannot access " <description> ": " (name#encoded tag_name) " from module " this_module_name))) + (..failure ($_ text#composite "Cannot access " <description> ": " (symbol#encoded tag_name) " from module " this_module_name))) _ (..failure ($_ text#composite - "Unknown " <description> ": " (name#encoded tag_name))))))] + "Unknown " <description> ": " (symbol#encoded tag_name))))))] [tag .#Tag "tag"] [slot .#Slot "slot"] ) (def: .public (tag_lists module) - (-> Text (Meta (List [(List Name) Type]))) + (-> Text (Meta (List [(List Symbol) Type]))) (do ..monad [=module (..module module) this_module_name ..current_module_name] @@ -609,7 +610,7 @@ scopes)]}))) (def: .public (de_aliased def_name) - (-> Name (Meta Name)) + (-> Symbol (Meta Symbol)) (do ..monad [constant (..definition def_name)] (in (case constant diff --git a/stdlib/source/library/lux/data/name.lux b/stdlib/source/library/lux/meta/symbol.lux index c0fc1cd86..8cab8c53c 100644 --- a/stdlib/source/library/lux/data/name.lux +++ b/stdlib/source/library/lux/meta/symbol.lux @@ -10,12 +10,12 @@ ["[0]" text ("[1]#[0]" equivalence monoid)] ["[0]" product]]]]) -... (type: Name +... (type: Symbol ... [Text Text]) (template [<name>] [(def: .public (<name> [module short]) - (-> Name Text) + (-> Symbol Text) <name>)] [module] @@ -23,15 +23,15 @@ ) (def: .public hash - (Hash Name) + (Hash Symbol) (product.hash text.hash text.hash)) (def: .public equivalence - (Equivalence Name) + (Equivalence Symbol) (# ..hash &equivalence)) (implementation: .public order - (Order Name) + (Order Symbol) (def: &equivalence ..equivalence) (def: (< [moduleP shortP] [moduleS shortS]) @@ -43,7 +43,7 @@ ".") (implementation: .public codec - (Codec Text Name) + (Codec Text Symbol) (def: (encoded [module short]) (case module @@ -59,4 +59,4 @@ {.#Right [module short]} _ - {.#Left (text#composite "Invalid format for Name: " input)}))) + {.#Left (text#composite "Invalid format for Symbol: " input)}))) diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux index 1e49699c7..b269b69b7 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode.lux @@ -116,13 +116,13 @@ (exception.report ["Label" (%.nat label)])) -(exception: .public (mismatched_environments [instruction Name +(exception: .public (mismatched_environments [instruction Symbol label Label address Address expected Stack actual Stack]) (exception.report - ["Instruction" (%.name instruction)] + ["Instruction" (%.symbol instruction)] ["Label" (%.nat label)] ["Address" (/address.format address)] ["Expected" (/stack.format expected)] diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux index b43c060a4..bff5a4439 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux @@ -42,20 +42,20 @@ (n.< (:representation reference) (:representation sample)))) - (exception: .public (value_exceeds_the_maximum [type Name + (exception: .public (value_exceeds_the_maximum [type Symbol value Nat maximum (Unsigned Any)]) (exception.report - ["Type" (%.name type)] + ["Type" (%.symbol type)] ["Value" (%.nat value)] ["Maximum" (%.nat (:representation maximum))])) (exception: .public [brand] (subtraction_cannot_yield_negative_value - [type Name + [type Symbol parameter (Unsigned brand) subject (Unsigned brand)]) (exception.report - ["Type" (%.name type)] + ["Type" (%.symbol type)] ["Parameter" (%.nat (:representation parameter))] ["Subject" (%.nat (:representation subject))])) diff --git a/stdlib/source/library/lux/test.lux b/stdlib/source/library/lux/test.lux index 03d06a2d2..92b90dcbb 100644 --- a/stdlib/source/library/lux/test.lux +++ b/stdlib/source/library/lux/test.lux @@ -1,7 +1,6 @@ (.module: [library [lux {"-" and for} - ["[0]" meta] ["[0]" debug] [abstract ["[0]" monad {"+" do}]] @@ -18,7 +17,6 @@ ["<[0]>" code]]] [data ["[0]" product] - ["[0]" name] ["[0]" text ["%" format {"+" format}]] [collection @@ -37,6 +35,8 @@ [macro [syntax {"+" syntax:}] ["[0]" code]] + ["[0]" meta + ["[0]" symbol]] [world ["[0]" program]]]]) @@ -44,8 +44,8 @@ (Record [#successes Nat #failures Nat - #expected_coverage (Set Name) - #actual_coverage (Set Name)])) + #expected_coverage (Set Symbol) + #actual_coverage (Set Symbol)])) (def: (total parameter subject) (-> Tally Tally Tally) @@ -60,8 +60,8 @@ Tally [#successes 0 #failures 0 - #expected_coverage (set.empty name.hash) - #actual_coverage (set.empty name.hash)]) + #expected_coverage (set.empty symbol.hash) + #actual_coverage (set.empty symbol.hash)]) (template [<name> <category>] [(def: <name> @@ -190,10 +190,10 @@ (value@ #expected_coverage tally)) unexpected (set.difference (value@ #expected_coverage tally) (value@ #actual_coverage tally)) - report (: (-> (Set Name) Text) + report (: (-> (Set Symbol) Text) (|>> set.list - (list.sorted (# name.order <)) - (exception.listing %.name))) + (list.sorted (# symbol.order <)) + (exception.listing %.symbol))) expected_definitions_to_cover (set.size (value@ #expected_coverage tally)) unexpected_definitions_covered (set.size unexpected) actual_definitions_covered (n.- unexpected_definitions_covered @@ -253,41 +253,41 @@ _ ..failure_exit_code))))) (def: (|cover'| coverage condition) - (-> (List Name) Bit Assertion) + (-> (List Symbol) Bit Assertion) (let [message (|> coverage - (list#each %.name) + (list#each %.symbol) (text.interposed " & ")) - coverage (set.of_list name.hash coverage)] + coverage (set.of_list symbol.hash coverage)] (|> (..assertion message condition) (async#each (function (_ [tally documentation]) [(revised@ #actual_coverage (set.union coverage) tally) documentation]))))) (def: (|cover| coverage condition) - (-> (List Name) Bit Test) + (-> (List Symbol) Bit Test) (|> (..|cover'| coverage condition) random#in)) (def: (|for| coverage test) - (-> (List Name) Test Test) + (-> (List Symbol) Test Test) (let [context (|> coverage - (list#each %.name) + (list#each %.symbol) (text.interposed " & ")) - coverage (set.of_list name.hash coverage)] + coverage (set.of_list symbol.hash coverage)] (random#each (async#each (function (_ [tally documentation]) [(revised@ #actual_coverage (set.union coverage) tally) documentation])) (..context context test)))) -(def: (name_code name) - (-> Name Code) - (code.tuple (list (code.text (name.module name)) - (code.text (name.short name))))) +(def: (symbol_code symbol) + (-> Symbol Code) + (code.tuple (list (code.text (symbol.module symbol)) + (code.text (symbol.short symbol))))) (syntax: (reference [name <code>.identifier]) (do meta.monad [_ (meta.export name)] - (in (list (name_code name))))) + (in (list (symbol_code name))))) (def: coverage_separator Text @@ -302,9 +302,9 @@ "")) (def: (coverage module encoding) - (-> Text Text (Set Name)) + (-> Text Text (Set Symbol)) (loop [remaining encoding - output (set.of_list name.hash (list))] + output (set.of_list symbol.hash (list))] (case (text.split_by ..coverage_separator remaining) {.#Some [head tail]} (recur tail (set.has [module head] output)) @@ -319,7 +319,7 @@ (` ((~! ..reference) (~ definition)))) coverage)] (in (list (` ((~! <function>) - (: (.List .Name) + (: (.List .Symbol) (.list (~+ coverage))) (~ condition)))))))] @@ -333,7 +333,7 @@ (` ((~! ..reference) (~ definition)))) coverage)] (in (list (` ((~! ..|for|) - (: (.List .Name) + (: (.List .Symbol) (.list (~+ coverage))) (~ test))))))) @@ -348,7 +348,7 @@ (syntax: .public (covering [module <code>.identifier test <code>.any]) (do meta.monad - [.let [module (name.module module)] + [.let [module (symbol.module module)] definitions (meta.definitions module) .let [coverage (|> definitions (list#mix (function (_ [short [exported? _]] aggregate) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux.lux index 3161bee88..06da2b69c 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux.lux @@ -31,8 +31,6 @@ ($_ _.and _.bit _.type (_.or labels labels))) global_label (: (Writer .Label) ($_ _.and _.bit _.type (_.list _.text) _.nat)) - name (: (Writer Name) - (_.and _.text _.text)) alias (: (Writer Alias) (_.and _.text _.text)) global (: (Writer Global) @@ -65,8 +63,6 @@ ($_ <>.and <b>.bit <b>.type (<b>.or labels labels))) global_label (: (Parser .Label) ($_ <>.and <b>.bit <b>.type (<b>.list <b>.text) <b>.nat)) - name (: (Parser Name) - (<>.and <b>.text <b>.text)) alias (: (Parser Alias) (<>.and <b>.text <b>.text)) global (: (Parser Global) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux index 95f1e980f..80fdf3173 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux @@ -13,19 +13,19 @@ [///// ["[0]" phase]]) -(exception: .public (expansion_failed [macro Name +(exception: .public (expansion_failed [macro Symbol inputs (List Code) error Text]) (exception.report - ["Macro" (%.name macro)] + ["Macro" (%.symbol macro)] ["Inputs" (exception.listing %.code inputs)] ["Error" error])) -(exception: .public (must_have_single_expansion [macro Name +(exception: .public (must_have_single_expansion [macro Symbol inputs (List Code) outputs (List Code)]) (exception.report - ["Macro" (%.name macro)] + ["Macro" (%.symbol macro)] ["Inputs" (exception.listing %.code inputs)] ["Outputs" (exception.listing %.code outputs)])) @@ -33,7 +33,7 @@ (-> Macro (List Code) Lux (Try (Try [Lux (List Code)])))) (def: .public (expand expander name macro inputs) - (-> Expander Name Macro (List Code) (Meta (List Code))) + (-> Expander Symbol Macro (List Code) (Meta (List Code))) (function (_ state) (do try.monad [output (expander macro inputs state)] @@ -45,7 +45,7 @@ ((meta.failure (exception.error ..expansion_failed [name inputs error])) state))))) (def: .public (expand_one expander name macro inputs) - (-> Expander Name Macro (List Code) (Meta Code)) + (-> Expander Symbol Macro (List Code) (Meta Code)) (do meta.monad [expansion (expand expander name macro inputs)] (case expansion diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux index 9c2d930ef..8133275b1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux @@ -10,7 +10,6 @@ [data [binary {"+" Binary}] ["[0]" product] - ["[0]" name] ["[0]" text ("[1]#[0]" equivalence) ["%" format {"+" format}]] [collection @@ -18,7 +17,9 @@ ["[0]" list ("[1]#[0]" functor)]]] [math [number - ["n" nat]]]]] + ["n" nat]]] + [meta + ["[0]" symbol]]]] [// [synthesis {"+" Synthesis}] [phase @@ -257,16 +258,16 @@ [learn_directive artifact.directive] ) -(exception: .public (unknown_definition [name Name +(exception: .public (unknown_definition [name Symbol known_definitions (List Text)]) (exception.report - ["Definition" (name.short name)] - ["Module" (name.module name)] + ["Definition" (symbol.short name)] + ["Module" (symbol.module name)] ["Known Definitions" (exception.listing function.identity known_definitions)])) (def: .public (remember archive name) (All (_ anchor expression directive) - (-> Archive Name (Operation anchor expression directive Context))) + (-> Archive Symbol (Operation anchor expression directive Context))) (function (_ (^@ stateE [bundle state])) (let [[_module _name] name] (do try.monad diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux index cd0004d31..fb7519932 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux @@ -39,25 +39,25 @@ [cannot_declare_tags_for_foreign_type] ) -(exception: .public (cannot_define_more_than_once [name Name +(exception: .public (cannot_define_more_than_once [name Symbol already_existing Global]) (exception.report - ["Definition" (%.name name)] + ["Definition" (%.symbol name)] ["Original" (case already_existing {.#Alias alias} - (format "alias " (%.name alias)) + (format "alias " (%.symbol alias)) {.#Definition definition} - (format "definition " (%.name name)) + (format "definition " (%.symbol name)) {.#Type _} - (format "type " (%.name name)) + (format "type " (%.symbol name)) {.#Tag _} - (format "tag " (%.name name)) + (format "tag " (%.symbol name)) {.#Slot _} - (format "slot " (%.name name)))])) + (format "slot " (%.symbol name)))])) (exception: .public (can_only_change_state_of_active_module [module Text state Module_State]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux index 90143d032..b9a600a0e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux @@ -26,16 +26,16 @@ ["Current" current] ["Foreign" foreign])) -(exception: .public (definition_has_not_been_exported [definition Name]) +(exception: .public (definition_has_not_been_exported [definition Symbol]) (exception.report - ["Definition" (%.name definition)])) + ["Definition" (%.symbol definition)])) -(exception: .public (labels_are_not_definitions [definition Name]) +(exception: .public (labels_are_not_definitions [definition Symbol]) (exception.report - ["Label" (%.name definition)])) + ["Label" (%.symbol definition)])) (def: (definition def_name) - (-> Name (Operation Analysis)) + (-> Symbol (Operation Analysis)) (with_expansions [<return> (in (|> def_name ///reference.constant {/.#Reference}))] (do [! ///.monad] [constant (///extension.lifted (meta.definition def_name))] @@ -93,7 +93,7 @@ (in {.#None})))) (def: .public (reference reference) - (-> Name (Operation Analysis)) + (-> Symbol (Operation Analysis)) (case reference ["" simple_name] (do [! ///.monad] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux index dc96cfd4d..8de445db6 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux @@ -10,7 +10,6 @@ ["[0]" exception {"+" exception:}] ["[0]" state]] [data - ["[0]" name] ["[0]" product] [text ["%" format {"+" format}]] @@ -22,6 +21,8 @@ [math [number ["n" nat]]] + [meta + ["[0]" symbol]] ["[0]" type ["[0]" check]]]] ["[0]" // "_" @@ -73,8 +74,8 @@ ) (template [<name>] - [(exception: .public (<name> [key Name - record (List [Name Code])]) + [(exception: .public (<name> [key Symbol + record (List [Symbol Code])]) (exception.report ["Tag" (%.code (code.identifier key))] ["Record" (%.code (code.tuple (|> record @@ -85,7 +86,7 @@ [cannot_repeat_slot] ) -(exception: .public (slot_does_not_belong_to_record [key Name +(exception: .public (slot_does_not_belong_to_record [key Symbol type Type]) (exception.report ["Tag" (%.code (code.identifier key))] @@ -94,7 +95,7 @@ (exception: .public (record_size_mismatch [expected Nat actual Nat type Type - record (List [Name Code])]) + record (List [Symbol Code])]) (exception.report ["Expected" (%.nat expected)] ["Actual" (%.nat actual)] @@ -283,7 +284,7 @@ )))) (def: .public (tagged_sum analyse tag archive valueC) - (-> Phase Name Phase) + (-> Phase Symbol Phase) (do [! ///.monad] [tag (///extension.lifted (meta.normal tag)) [idx group variantT] (///extension.lifted (meta.tag tag)) @@ -305,9 +306,9 @@ ... Normalization just means that all the tags get resolved to their ... canonical form (with their corresponding module identified). (def: .public (normal record) - (-> (List Code) (Operation (Maybe (List [Name Code])))) + (-> (List Code) (Operation (Maybe (List [Symbol Code])))) (loop [input record - output (: (List [Name Code]) + output (: (List [Symbol Code]) {.#End})] (case input (^ (list& [_ {.#Identifier slotH}] valueH tail)) @@ -325,7 +326,7 @@ ... re-implementing the same functionality for records makes no sense. ... Records, thus, get transformed into tuples by ordering the elements. (def: .public (order record) - (-> (List [Name Code]) (Operation (Maybe [Nat (List Code) Type]))) + (-> (List [Symbol Code]) (Operation (Maybe [Nat (List Code) Type]))) (case record ... empty_record = empty_tuple = unit/any = [] {.#End} @@ -346,7 +347,7 @@ (in []) (/.except ..record_size_mismatch [size_ts size_record recordT record])) .let [tuple_range (list.indices size_ts) - tag->idx (dictionary.of_list name.hash (list.zipped/2 slot_set tuple_range))] + tag->idx (dictionary.of_list symbol.hash (list.zipped/2 slot_set tuple_range))] idx->val (monad.mix ! (function (_ [key val] idx->val) (do ! diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux index 5dda23a74..918d1d504 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux @@ -36,9 +36,9 @@ (exception.report ["Code" (%.code code)])) -(exception: .public (macro_was_not_found [name Name]) +(exception: .public (macro_was_not_found [name Symbol]) (exception.report - ["Name" (%.name name)])) + ["Name" (%.symbol name)])) (type: Eval (-> Type Code (Meta Any))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux index 02d8b32de..6b7006a0b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Name} + [lux "*" [abstract [equivalence {"+" Equivalence}] [hash {"+" Hash}] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux index bbac7e452..88bef0ffd 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux @@ -199,9 +199,9 @@ (typeA.with_type input (phase archive valueC))))])) -(exception: .public (not_a_type [symbol Name]) +(exception: .public (not_a_type [symbol Symbol]) (exception.report - ["Symbol" (%.name symbol)])) + ["Symbol" (%.symbol symbol)])) (def: lux::macro Handler diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux index 14d9b7e31..5a0abb14d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux @@ -104,7 +104,7 @@ (All (_ anchor expression directive) (-> Archive (/////generation.Phase anchor expression directive) - Name + Symbol Type Synthesis (Operation anchor expression directive [Type expression Any]))) @@ -119,7 +119,7 @@ (def: (definition archive name expected codeC) (All (_ anchor expression directive) - (-> Archive Name (Maybe Type) Code + (-> Archive Symbol (Maybe Type) Code (Operation anchor expression directive [Type expression Any]))) (do [! phase.monad] [state (///.lifted phase.get_state) @@ -307,20 +307,20 @@ (exception: .public (cannot_alias_an_alias [local Alias foreign Alias - target Name]) + target Symbol]) (exception.report - ["Local alias" (%.name local)] - ["Foreign alias" (%.name foreign)] - ["Target definition" (%.name target)])) + ["Local alias" (%.symbol local)] + ["Foreign alias" (%.symbol foreign)] + ["Target definition" (%.symbol target)])) (exception: .public (cannot_alias_a_label [local Alias foreign Alias]) (exception.report - ["Alias" (%.name local)] - ["Label" (%.name foreign)])) + ["Alias" (%.symbol local)] + ["Label" (%.symbol foreign)])) (def: (define_alias alias original) - (-> Text Name (/////analysis.Operation Any)) + (-> Text Symbol (/////analysis.Operation Any)) (do phase.monad [current_module (///.lifted meta.current_module_name) constant (///.lifted (meta.definition original))] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux index e9b49fa1e..2684da183 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux @@ -139,7 +139,7 @@ (loader.load class_name loader)))) (def: (define! library loader [module name] valueG) - (-> Library java/lang/ClassLoader Name (Bytecode Any) (Try [Text Any Definition])) + (-> Library java/lang/ClassLoader Symbol (Bytecode Any) (Try [Text Any Definition])) (let [class_name (format (text.replaced .module_separator class_path_separator module) class_path_separator (name.normal name) "___" (%.nat (text#hash name)))] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux index 03cb18916..0ead1ae71 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux @@ -60,7 +60,7 @@ (..foreign archive variable))) (def: .public (constant archive name) - (-> Archive Name (Operation (Bytecode Any))) + (-> Archive Symbol (Operation (Bytecode Any))) (do [! ////.monad] [bytecode_name (# ! each //runtime.class_name (generation.remember archive name))] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux index d9e8a1c99..d64167384 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux @@ -141,7 +141,7 @@ ... mark], and the short [after the mark]). ... There are also some extra rules regarding name syntax, ... encoded in the parser. - ["." name_separator] + ["." symbol_separator] ) (exception: .public (end_of_file [module Text]) @@ -172,7 +172,7 @@ (template: (!failure parser where offset source_code) [{.#Left [[where offset source_code] - (exception.error ..unrecognized_input [where (%.name (name_of parser)) source_code offset])]}]) + (exception.error ..unrecognized_input [where (%.symbol (name_of parser)) source_code offset])]}]) (template: (!end_of_file where offset source_code current_module) [{.#Left [[where offset source_code] @@ -286,16 +286,16 @@ (!failure ..text_parser where offset source_code))) (with_expansions [<digits> (as_is "0" "1" "2" "3" "4" "5" "6" "7" "8" "9") - <non_name_chars> (template [<char>] - [(~~ (static <char>))] - - [text.space] - [text.new_line] [text.carriage_return] - [..name_separator] - [..open_form] [..close_form] - [..open_variant] [..close_variant] - [..open_tuple] [..close_tuple] - [..text_delimiter]) + <non_symbol_chars> (template [<char>] + [(~~ (static <char>))] + + [text.space] + [text.new_line] [text.carriage_return] + [..symbol_separator] + [..open_form] [..close_form] + [..open_variant] [..close_variant] + [..open_tuple] [..close_tuple] + [..text_delimiter]) <digit_separator> (static ..digit_separator)] (template: (!if_digit? @char @then @else) [("lux syntax char case!" @char @@ -315,17 +315,17 @@ ... else @else))]) - (`` (template: (!if_name_char?|tail @char @then @else) + (`` (template: (!if_symbol_char?|tail @char @then @else) [("lux syntax char case!" @char - [[<non_name_chars>] + [[<non_symbol_chars>] @else] ... else @then)])) - (`` (template: (!if_name_char?|head @char @then @else) + (`` (template: (!if_symbol_char?|head @char @then @else) [("lux syntax char case!" @char - [[<non_name_chars> <digits>] + [[<non_symbol_chars> <digits>] @else] ... else @@ -420,65 +420,65 @@ (!with_char+ source_code//size source_code g!offset/1 g!char/1 @end) (!if_digit? g!char/1 (signed_parser source_code//size offset where (!++/2 offset) source_code) - (!full_name_parser offset [where (!++ offset) source_code] where @aliases .#Identifier)))]) + (!full_symbol_parser offset [where (!++ offset) source_code] where @aliases .#Identifier)))]) (with_expansions [<output> {.#Right [[(revised@ .#column (|>> (!n/+ (!n/- start end))) where) end source_code] (!clip start end source_code)]}] - (inline: (name_part_parser start where offset source_code) + (inline: (symbol_part_parser start where offset source_code) (-> Nat Location Offset Text (Either [Source Text] [Source Text])) (let [source_code//size ("lux text size" source_code)] (loop [end offset] (<| (!with_char+ source_code//size source_code end char <output>) - (!if_name_char?|tail char - (recur (!++ end)) - <output>)))))) - -(template: (!half_name_parser @offset @char @module) - [(!if_name_char?|head @char - (!letE [source' name] (..name_part_parser @offset (!forward 1 where) (!++ @offset) source_code) - {.#Right [source' [@module name]]}) - (!failure ..!half_name_parser where @offset source_code))]) - -(`` (def: (short_name_parser source_code//size current_module [where offset/0 source_code]) - (-> Nat Text (Parser Name)) + (!if_symbol_char?|tail char + (recur (!++ end)) + <output>)))))) + +(template: (!half_symbol_parser @offset @char @module) + [(!if_symbol_char?|head @char + (!letE [source' symbol] (..symbol_part_parser @offset (!forward 1 where) (!++ @offset) source_code) + {.#Right [source' [@module symbol]]}) + (!failure ..!half_symbol_parser where @offset source_code))]) + +(`` (def: (short_symbol_parser source_code//size current_module [where offset/0 source_code]) + (-> Nat Text (Parser Symbol)) (<| (!with_char+ source_code//size source_code offset/0 char/0 (!end_of_file where offset/0 source_code current_module)) - (if (!n/= (char (~~ (static ..name_separator))) char/0) + (if (!n/= (char (~~ (static ..symbol_separator))) char/0) (<| (let [offset/1 (!++ offset/0)]) (!with_char+ source_code//size source_code offset/1 char/1 (!end_of_file where offset/1 source_code current_module)) - (!half_name_parser offset/1 char/1 current_module)) - (!half_name_parser offset/0 char/0 (static ..prelude)))))) + (!half_symbol_parser offset/1 char/1 current_module)) + (!half_symbol_parser offset/0 char/0 (static ..prelude)))))) -(template: (!short_name_parser source_code//size @current_module @source @where @tag) - [(!letE [source' name] (..short_name_parser source_code//size @current_module @source) - {.#Right [source' [@where {@tag name}]]})]) +(template: (!short_symbol_parser source_code//size @current_module @source @where @tag) + [(!letE [source' symbol] (..short_symbol_parser source_code//size @current_module @source) + {.#Right [source' [@where {@tag symbol}]]})]) (with_expansions [<simple> (as_is {.#Right [source' ["" simple]]})] - (`` (def: (full_name_parser aliases start source) - (-> Aliases Offset (Parser Name)) + (`` (def: (full_symbol_parser aliases start source) + (-> Aliases Offset (Parser Symbol)) (<| (!letE [source' simple] (let [[where offset source_code] source] - (..name_part_parser start where offset source_code))) + (..symbol_part_parser start where offset source_code))) (let [[where' offset' source_code'] source']) (!with_char source_code' offset' char/separator <simple>) - (if (!n/= (char (~~ (static ..name_separator))) char/separator) + (if (!n/= (char (~~ (static ..symbol_separator))) char/separator) (<| (let [offset'' (!++ offset')]) - (!letE [source'' complex] (..name_part_parser offset'' (!forward 1 where') offset'' source_code')) + (!letE [source'' complex] (..symbol_part_parser offset'' (!forward 1 where') offset'' source_code')) (if ("lux text =" "" complex) (let [[where offset source_code] source] - (!failure ..full_name_parser where offset source_code)) + (!failure ..full_symbol_parser where offset source_code)) {.#Right [source'' [(|> aliases (dictionary.value simple) (maybe.else simple)) complex]]})) <simple>))))) -(template: (!full_name_parser @offset @source @where @aliases @tag) - [(!letE [source' full_name] (..full_name_parser @aliases @offset @source) - {.#Right [source' [@where {@tag full_name}]]})]) +(template: (!full_symbol_parser @offset @source @where @aliases @tag) + [(!letE [source' full_symbol] (..full_symbol_parser @aliases @offset @source) + {.#Right [source' [@where {@tag full_symbol}]]})]) ... TODO: Grammar macro for specifying syntax. ... (grammar: lux_grammar @@ -535,13 +535,13 @@ [(~~ (static ..text_delimiter))] (text_parser where (!++ offset/0) source_code) - ... Coincidentally (= ..name_separator ..frac_separator) - [(~~ (static ..name_separator)) + ... Coincidentally (= ..symbol_separator ..frac_separator) + [(~~ (static ..symbol_separator)) ... (~~ (static ..frac_separator)) ] ... It's either a Rev, an identifier, or a comment. (with_expansions [<rev_parser> (rev_parser source_code//size offset/0 where (!++ offset/1) source_code) - <short_name_parser> (!short_name_parser source_code//size current_module [where offset/1 source_code] where .#Identifier) + <short_symbol_parser> (!short_symbol_parser source_code//size current_module [where offset/1 source_code] where .#Identifier) <comment_parser> (case ("lux text index" (!++ offset/1) (static text.new_line) source_code) {.#Some end} (recur (!vertical where end source_code)) @@ -556,19 +556,19 @@ <rev_parser> ... It's either an identifier, or a comment. ("lux syntax char case!" char/1 - [[(~~ (static ..name_separator))] + [[(~~ (static ..symbol_separator))] ... It's either an identifier, or a comment. (<| (let [offset/2 (!++ offset/1)]) (!with_char+ source_code//size source_code offset/2 char/2 (!end_of_file where offset/2 source_code current_module)) ("lux syntax char case!" char/2 - [[(~~ (static ..name_separator))] + [[(~~ (static ..symbol_separator))] ... It's a comment. <comment_parser>] ... It's an identifier. - <short_name_parser>))] + <short_symbol_parser>))] ... It's an identifier. - <short_name_parser>)))) + <short_symbol_parser>)))) [(~~ (static ..positive_sign)) (~~ (static ..negative_sign))] @@ -588,14 +588,14 @@ ["1" #1]))] ... else - (!full_name_parser offset/0 [<consume_1>] where aliases .#Identifier)))] + (!full_symbol_parser offset/0 [<consume_1>] where aliases .#Identifier)))] ... else (!if_digit? char/0 ... Natural number (nat_parser source_code//size offset/0 where (!++ offset/0) source_code) ... Identifier - (!full_name_parser offset/0 [<consume_1>] where aliases .#Identifier)) + (!full_symbol_parser offset/0 [<consume_1>] where aliases .#Identifier)) ))) ))) )) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux index 1d9a35692..fd5753492 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux @@ -14,7 +14,6 @@ [binary {"+" Binary}] ["[0]" bit] ["[0]" product] - ["[0]" name] ["[0]" text ["%" format {"+" format}]] [format diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux index ccc605ef2..19c03d236 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux @@ -8,29 +8,30 @@ ["<b>" binary {"+" Parser}]]] [data ["[0]" product] - ["[0]" name] ["[0]" text ["%" format {"+" format}]] [format ["[0]" binary {"+" Writer}]]] [math [number - ["[0]" nat]]]]] + ["[0]" nat]]] + [meta + ["[0]" symbol]]]] [//// [version {"+" Version}]]) (type: .public Signature (Record - [#name Name + [#name Symbol #version Version])) (def: .public equivalence (Equivalence Signature) - (product.equivalence name.equivalence nat.equivalence)) + (product.equivalence symbol.equivalence nat.equivalence)) (def: .public (description signature) (-> Signature Text) - (format (%.name (value@ #name signature)) " " (%.nat (value@ #version signature)))) + (format (%.symbol (value@ #name signature)) " " (%.nat (value@ #version signature)))) (def: .public writer (Writer Signature) diff --git a/stdlib/source/library/lux/tool/compiler/phase.lux b/stdlib/source/library/lux/tool/compiler/phase.lux index fc4851b5d..407317fe2 100644 --- a/stdlib/source/library/lux/tool/compiler/phase.lux +++ b/stdlib/source/library/lux/tool/compiler/phase.lux @@ -109,7 +109,7 @@ (def: .public (timed definition description operation) (All (_ s a) - (-> Name Text (Operation s a) (Operation s a))) + (-> Symbol Text (Operation s a) (Operation s a))) (do ..monad [_ (in []) .let [pre (io.run! instant.now)] @@ -119,6 +119,6 @@ instant.relative (duration.difference (instant.relative pre)) %.duration - (format (%.name definition) " [" description "]: ") + (format (%.symbol definition) " [" description "]: ") debug.log!)]] (in output))) diff --git a/stdlib/source/library/lux/tool/compiler/reference.lux b/stdlib/source/library/lux/tool/compiler/reference.lux index c5adb07f3..6942f4968 100644 --- a/stdlib/source/library/lux/tool/compiler/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/reference.lux @@ -7,17 +7,18 @@ [control [pipe {"+" case>}]] [data - ["[0]" name] [text ["%" format {"+" Format}]]] [math [number - ["n" nat]]]]] + ["n" nat]]] + [meta + ["[0]" symbol]]]] ["[0]" / "_" ["[1][0]" variable {"+" Variable}]]) (type: .public Constant - Name) + Symbol) (type: .public Reference (Variant @@ -33,7 +34,7 @@ [[{<tag> reference} {<tag> sample}] (# <equivalence> = reference sample)]) ([#Variable /variable.equivalence] - [#Constant name.equivalence]) + [#Constant symbol.equivalence]) _ false))) @@ -52,7 +53,7 @@ (# <hash> hash) (n.* <factor>))]) ([2 #Variable /variable.hash] - [3 #Constant name.hash]) + [3 #Constant symbol.hash]) ))) (template [<name> <family> <tag>] @@ -84,4 +85,4 @@ (/variable.format variable) {#Constant constant} - (%.name constant)))) + (%.symbol constant)))) diff --git a/stdlib/source/library/lux/type.lux b/stdlib/source/library/lux/type.lux index c8f2668f2..98a966e31 100644 --- a/stdlib/source/library/lux/type.lux +++ b/stdlib/source/library/lux/type.lux @@ -14,7 +14,6 @@ [data ["[0]" product] ["[0]" text ("[1]#[0]" monoid equivalence)] - ["[0]" name ("[1]#[0]" equivalence codec)] [collection ["[0]" array] ["[0]" list ("[1]#[0]" functor monoid mix)]]] @@ -25,7 +24,8 @@ [number ["n" nat ("[1]#[0]" decimal)]]] ["[0]" meta - ["[0]" location]]]]) + ["[0]" location] + ["[0]" symbol ("[1]#[0]" equivalence codec)]]]]) (template [<name> <tag>] [(def: .public (<name> type) @@ -201,7 +201,7 @@ (= xright yright)) [{.#Named xname xtype} {.#Named yname ytype}] - (and (name#= xname yname) + (and (symbol#= xname yname) (= xtype ytype)) (^template [<tag>] @@ -397,13 +397,13 @@ valueT (meta.type valueN) .let [_ ("lux io log" ($_ text#composite - (name#encoded (name_of ..:log!)) " " (location.format location) text.new_line + (symbol#encoded (name_of ..:log!)) " " (location.format location) text.new_line "Expression: " (case valueC {.#Some valueC} (code.format valueC) {.#None} - (name#encoded valueN)) + (symbol#encoded valueN)) text.new_line " Type: " (..format valueT)))]] (in (list (code.identifier valueN)))) diff --git a/stdlib/source/library/lux/type/abstract.lux b/stdlib/source/library/lux/type/abstract.lux index 6ebbe7719..915c035c3 100644 --- a/stdlib/source/library/lux/type/abstract.lux +++ b/stdlib/source/library/lux/type/abstract.lux @@ -9,14 +9,15 @@ ["<>" parser ("[1]#[0]" monad) ["<[0]>" code {"+" Parser}]]] [data - ["[0]" name ("[1]#[0]" codec)] ["[0]" text ("[1]#[0]" equivalence monoid)] [collection ["[0]" list ("[1]#[0]" functor monoid)]]] [macro ["[0]" code] [syntax {"+" syntax:} - ["|[0]|" export]]]]] + ["|[0]|" export]]] + [meta + ["[0]" symbol ("[1]#[0]" codec)]]]] ["[0]" //]) (type: Stack @@ -132,7 +133,7 @@ (undefined)))) (def: (push_frame [module_reference definition_reference] frame source) - (-> Name Frame (List [Text Module]) (List [Text Module])) + (-> Symbol Frame (List [Text Module]) (List [Text Module])) (!push source module_reference (revised@ .#definitions (push_frame_definition definition_reference frame) head))) @@ -166,7 +167,7 @@ (undefined)))) (def: (pop_frame [module_reference definition_reference] source) - (-> Name (List [Text Module]) (List [Text Module])) + (-> Symbol (List [Text Module]) (List [Text Module])) (!push source module_reference (|> head (revised@ .#definitions (pop_frame_definition definition_reference))))) @@ -194,13 +195,13 @@ ) (def: abstraction_type_name - (-> Name Text) - name#encoded) + (-> Symbol Text) + symbol#encoded) (def: representation_definition_name (-> Text Text) (|>> ($_ text#composite - (name#encoded (name_of ..#Representation)) + (symbol#encoded (name_of ..#Representation)) " "))) (def: declaration diff --git a/stdlib/source/library/lux/type/implicit.lux b/stdlib/source/library/lux/type/implicit.lux index 97f14222f..c3b9983f4 100644 --- a/stdlib/source/library/lux/type/implicit.lux +++ b/stdlib/source/library/lux/type/implicit.lux @@ -46,7 +46,7 @@ )) (def: (implicit_type var_name) - (-> Name (Meta Type)) + (-> Symbol (Meta Type)) (do meta.monad [raw_type (meta.type var_name) compiler meta.compiler_state] @@ -82,7 +82,7 @@ (check.failure (format "Cannot find member type " (%.nat idx) " for " (%.type sig_type)))))) (def: (member_name member) - (-> Name (Meta Name)) + (-> Symbol (Meta Symbol)) (case member ["" simple_name] (meta.either (do meta.monad @@ -98,19 +98,19 @@ tag_lists)]] (case candidates {.#End} - (meta.failure (format "Unknown tag: " (%.name member))) + (meta.failure (format "Unknown tag: " (%.symbol member))) {.#Item winner {.#End}} (in winner) _ - (meta.failure (format "Too many candidate tags: " (%.list %.name candidates)))))) + (meta.failure (format "Too many candidate tags: " (%.list %.symbol candidates)))))) _ (# meta.monad in member))) (def: (implicit_member member) - (-> Name (Meta [Nat Type])) + (-> Symbol (Meta [Nat Type])) (do meta.monad [member (member_name member) [idx tag_list sig_type] (meta.slot member)] @@ -134,7 +134,7 @@ <found?>))) (def: (available_definitions sig_type source_module target_module constants aggregate) - (-> Type Text Text (List [Text Definition]) (-> (List [Name Type]) (List [Name Type]))) + (-> Type Text Text (List [Text Definition]) (-> (List [Symbol Type]) (List [Symbol Type]))) (list#mix (function (_ [name [exported? def_type def_value]] aggregate) (if (and (or (text#= target_module source_module) exported?) @@ -145,7 +145,7 @@ constants)) (def: (local_env sig_type) - (-> Type (Meta (List [Name Type]))) + (-> Type (Meta (List [Symbol Type]))) (do meta.monad [local_batches meta.locals .let [total_locals (list#mix (function (_ [name type] table) @@ -161,14 +161,14 @@ {.#None}))))))) (def: (local_structs sig_type) - (-> Type (Meta (List [Name Type]))) + (-> Type (Meta (List [Symbol Type]))) (do [! meta.monad] [this_module_name meta.current_module_name definitions (meta.definitions this_module_name)] (in (available_definitions sig_type this_module_name this_module_name definitions {.#End})))) (def: (imported_structs sig_type) - (-> Type (Meta (List [Name Type]))) + (-> Type (Meta (List [Symbol Type]))) (do [! meta.monad] [this_module_name meta.current_module_name imported_modules (meta.imported_modules this_module_name) @@ -222,12 +222,12 @@ (type: Instance (Rec Instance (Record - [#constructor Name + [#constructor Symbol #dependencies (List Instance)]))) (def: (candidate_provision provision context dep alts) (-> (-> Lux Type_Context Type (Check Instance)) - Type_Context Type (List [Name Type]) + Type_Context Type (List [Symbol Type]) (Meta (List Instance))) (do meta.monad [compiler meta.compiler_state] @@ -272,11 +272,11 @@ (# check.monad in winner) _ - (check.failure (format "Too many candidates for provisioning: " (%.type dep) " --- " (%.list (|>> product.left %.name) candidates)))) + (check.failure (format "Too many candidates for provisioning: " (%.type dep) " --- " (%.list (|>> product.left %.symbol) candidates)))) )) (def: (candidate_alternatives sig_type member_idx input_types output_type alts) - (-> Type Nat (List Type) Type (List [Name Type]) (Meta (List Instance))) + (-> Type Nat (List Type) Type (List [Symbol Type]) (Meta (List Instance))) (do meta.monad [compiler meta.compiler_state context meta.type_context] @@ -346,7 +346,7 @@ chosen_ones (alternatives sig_type member_idx input_types output_type)] (case chosen_ones {.#End} - (meta.failure (format "No implementation could be found for member: " (%.name member))) + (meta.failure (format "No implementation could be found for member: " (%.symbol member))) {.#Item chosen {.#End}} (in (list (` (# (~ (instance$ chosen)) @@ -356,7 +356,7 @@ _ (meta.failure (format "Too many implementations available: " (|> chosen_ones - (list#each (|>> product.left %.name)) + (list#each (|>> product.left %.symbol)) (text.interposed ", ")) " --- for type: " (%.type sig_type))))) diff --git a/stdlib/source/library/lux/type/unit.lux b/stdlib/source/library/lux/type/unit.lux index d1a00e489..605867277 100644 --- a/stdlib/source/library/lux/type/unit.lux +++ b/stdlib/source/library/lux/type/unit.lux @@ -94,7 +94,7 @@ [@ meta.current_module_name .let [g!type (code.local_identifier type_name)]] (in (list (` (type: (~ export_policy) (~ g!type) - (Primitive (~ (code.text (%.name [@ type_name])))))) + (Primitive (~ (code.text (%.symbol [@ type_name])))))) (` (implementation: (~ export_policy) (~ (code.local_identifier unit_name)) (..Unit (~ g!type)) @@ -125,7 +125,7 @@ @ meta.current_module_name .let [g!scale (code.local_identifier type_name)]] (in (list (` (type: (~ export_policy) ((~ g!scale) (~' u)) - (Primitive (~ (code.text (%.name [@ type_name]))) [(~' u)]))) + (Primitive (~ (code.text (%.symbol [@ type_name]))) [(~' u)]))) (` (implementation: (~ export_policy) (~ (code.local_identifier scale_name)) (..Scale (~ g!scale)) diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux index 172f65c94..f919879d1 100644 --- a/stdlib/source/program/aedifex.lux +++ b/stdlib/source/program/aedifex.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Name} + [lux "*" [program {"+" program:}] ["[0]" debug] [abstract diff --git a/stdlib/source/program/aedifex/artifact.lux b/stdlib/source/program/aedifex/artifact.lux index cc97af80a..868d7afb9 100644 --- a/stdlib/source/program/aedifex/artifact.lux +++ b/stdlib/source/program/aedifex/artifact.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Name local} + [lux {"-" local} [abstract [equivalence {"+" Equivalence}] [order {"+" Order}] diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux index aea20c0b4..b58028386 100644 --- a/stdlib/source/program/aedifex/artifact/snapshot.lux +++ b/stdlib/source/program/aedifex/artifact/snapshot.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Name Type} + [lux {"-" Type} [abstract [equivalence {"+" Equivalence}] [monad {"+" do}]] diff --git a/stdlib/source/program/aedifex/cli.lux b/stdlib/source/program/aedifex/cli.lux index bedf1d993..316476398 100644 --- a/stdlib/source/program/aedifex/cli.lux +++ b/stdlib/source/program/aedifex/cli.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Name} + [lux "*" [abstract [equivalence {"+" Equivalence}] [monad {"+" do}]] diff --git a/stdlib/source/program/aedifex/command/build.lux b/stdlib/source/program/aedifex/command/build.lux index 19c7d86d9..e95c23455 100644 --- a/stdlib/source/program/aedifex/command/build.lux +++ b/stdlib/source/program/aedifex/command/build.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Name} + [lux "+" ["[0]" ffi {"+" import:}] [abstract [order {"+" Order}] diff --git a/stdlib/source/program/aedifex/command/test.lux b/stdlib/source/program/aedifex/command/test.lux index dc4b7a7e4..b5f6c7f8b 100644 --- a/stdlib/source/program/aedifex/command/test.lux +++ b/stdlib/source/program/aedifex/command/test.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Name} + [lux "*" [abstract [monad {"+" do}]] [control diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux index 7f5c2ecca..d973262af 100644 --- a/stdlib/source/program/aedifex/dependency/resolution.lux +++ b/stdlib/source/program/aedifex/dependency/resolution.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Name} + [lux "*" ["@" target] ["[0]" debug] ["[0]" ffi {"+" import:}] diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux index ea33629d5..35701104d 100644 --- a/stdlib/source/program/aedifex/input.lux +++ b/stdlib/source/program/aedifex/input.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Name} + [lux "*" [abstract ["[0]" monad {"+" Monad do}] ["[0]" mix]] diff --git a/stdlib/source/program/aedifex/metadata/artifact.lux b/stdlib/source/program/aedifex/metadata/artifact.lux index 603386212..d0a662185 100644 --- a/stdlib/source/program/aedifex/metadata/artifact.lux +++ b/stdlib/source/program/aedifex/metadata/artifact.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Name} + [lux "*" [abstract [monad {"+" do}] [equivalence {"+" Equivalence}]] diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux index 5a784a18f..943bf6004 100644 --- a/stdlib/source/program/aedifex/metadata/snapshot.lux +++ b/stdlib/source/program/aedifex/metadata/snapshot.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Name Type} + [lux {"-" Type} [abstract [monad {"+" do}] [equivalence {"+" Equivalence}]] diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux index 20347b27a..9e32007ca 100644 --- a/stdlib/source/program/aedifex/profile.lux +++ b/stdlib/source/program/aedifex/profile.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Info Source Module Name} + [lux {"-" Info Source Module} [abstract [monoid {"+" Monoid}] [equivalence {"+" Equivalence}]] diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux index 9649a8ad8..bce1049ac 100644 --- a/stdlib/source/program/aedifex/project.lux +++ b/stdlib/source/program/aedifex/project.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" Name} + [lux "*" [abstract [equivalence {"+" Equivalence}] [monoid {"+" Monoid}] diff --git a/stdlib/source/specification/compositor/common.lux b/stdlib/source/specification/compositor/common.lux index 616952c2b..dcba095a9 100644 --- a/stdlib/source/specification/compositor/common.lux +++ b/stdlib/source/specification/compositor/common.lux @@ -23,7 +23,7 @@ (-> Text Synthesis (Try Any))) (type: .public Definer - (-> Name Synthesis (Try Any))) + (-> Symbol Synthesis (Try Any))) (type: .public (Instancer what) (All (_ anchor expression directive) diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux index 00de5e126..f88f76890 100644 --- a/stdlib/source/specification/compositor/generation/case.lux +++ b/stdlib/source/specification/compositor/generation/case.lux @@ -100,7 +100,7 @@ (-> Runner Test) (do r.monad [value r.safe_frac] - (_.test (%.name (name_of synthesis.branch/let)) + (_.test (%.symbol (name_of synthesis.branch/let)) (|> (synthesis.branch/let [(synthesis.f64 value) 0 (synthesis.variable/local 0)]) @@ -113,7 +113,7 @@ [on_true r.safe_frac on_false (|> r.safe_frac (r.only (|>> (f.= on_true) not))) verdict r.bit] - (_.test (%.name (name_of synthesis.branch/if)) + (_.test (%.symbol (name_of synthesis.branch/if)) (|> (synthesis.branch/if [(synthesis.bit verdict) (synthesis.f64 on_true) (synthesis.f64 on_false)]) @@ -126,7 +126,7 @@ [[inputS pathS] ..case on_success r.safe_frac on_failure (|> r.safe_frac (r.only (|>> (f.= on_success) not)))] - (_.test (%.name (name_of synthesis.branch/case)) + (_.test (%.symbol (name_of synthesis.branch/case)) (|> (synthesis.branch/case [inputS ($_ synthesis.path/alt @@ -160,11 +160,11 @@ __text__ (: (-> Text Synthesis) (function (_ value) (_code_ (synthesis.variant [5 #0 (synthesis.text value)])))) - __identifier__ (: (-> Name Synthesis) + __identifier__ (: (-> Symbol Synthesis) (function (_ [module short]) (_code_ (synthesis.variant [6 #0 (synthesis.tuple (list (synthesis.text module) (synthesis.text short)))])))) - __tag__ (: (-> Name Synthesis) + __tag__ (: (-> Symbol Synthesis) (function (_ [module short]) (_code_ (synthesis.variant [7 #0 (synthesis.tuple (list (synthesis.text module) (synthesis.text short)))])))) diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux index 48de4d90e..cd7aef408 100644 --- a/stdlib/source/specification/compositor/generation/primitive.lux +++ b/stdlib/source/specification/compositor/generation/primitive.lux @@ -32,7 +32,7 @@ (~~ (template [<evaluation_name> <synthesis> <gen> <test>] [(do r.monad [expected <gen>] - (_.test (%.name (name_of <synthesis>)) + (_.test (%.symbol (name_of <synthesis>)) (|> (run <evaluation_name> (<synthesis> expected)) (case> {try.#Success actual} (<test> expected (:expected actual)) diff --git a/stdlib/source/specification/compositor/generation/reference.lux b/stdlib/source/specification/compositor/generation/reference.lux index d19aed0af..697638508 100644 --- a/stdlib/source/specification/compositor/generation/reference.lux +++ b/stdlib/source/specification/compositor/generation/reference.lux @@ -19,15 +19,15 @@ [/// [common {"+" Runner Definer}]]) -(def: name - (Random Name) - (let [name_part (r.ascii/upper_alpha 5)] - [(r.and name_part name_part)])) +(def: symbol + (Random Symbol) + (let [symbol_part (r.ascii/upper_alpha 5)] + [(r.and symbol_part symbol_part)])) (def: (definition define) (-> Definer Test) (do r.monad - [name ..name + [name ..symbol expected r.safe_frac] (_.test "Definitions." (|> (define name (synthesis.f64 expected)) diff --git a/stdlib/source/specification/compositor/generation/structure.lux b/stdlib/source/specification/compositor/generation/structure.lux index 40a00e8c6..cd9b9b812 100644 --- a/stdlib/source/specification/compositor/generation/structure.lux +++ b/stdlib/source/specification/compositor/generation/structure.lux @@ -35,7 +35,7 @@ tag_in (|> r.nat (# ! each (n.% num_tags))) .let [last?_in (|> num_tags -- (n.= tag_in))] value_in r.i64] - (_.test (%.name (name_of synthesis.variant)) + (_.test (%.symbol (name_of synthesis.variant)) (|> (synthesis.variant [analysis.#lefts (if last?_in (-- tag_in) tag_in) @@ -68,7 +68,7 @@ (do [! r.monad] [size (|> r.nat (# ! each (|>> (n.% 10) (n.max 2)))) tuple_in (r.list size r.i64)] - (_.test (%.name (name_of synthesis.tuple)) + (_.test (%.symbol (name_of synthesis.tuple)) (|> (synthesis.tuple (list#each (|>> synthesis.i64) tuple_in)) (run "tuple") (case> {try.#Success tuple_out} diff --git a/stdlib/source/test/lux/control/concatenative.lux b/stdlib/source/test/lux/control/concatenative.lux index 4bdf801d8..704fdf68c 100644 --- a/stdlib/source/test/lux/control/concatenative.lux +++ b/stdlib/source/test/lux/control/concatenative.lux @@ -6,7 +6,6 @@ [monad {"+" do}]] [data ["[0]" sum] - ["[0]" name] ["[0]" bit ("[1]#[0]" equivalence)]] [macro ["[0]" template]] diff --git a/stdlib/source/test/lux/control/parser/analysis.lux b/stdlib/source/test/lux/control/parser/analysis.lux index 57f6c1a77..730fd4cc3 100644 --- a/stdlib/source/test/lux/control/parser/analysis.lux +++ b/stdlib/source/test/lux/control/parser/analysis.lux @@ -10,7 +10,6 @@ ["[0]" exception] ["<>" parser]] [data - ["[0]" name ("[1]#[0]" equivalence)] ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)] [collection @@ -22,6 +21,8 @@ ["i" int] ["f" frac] ["r" rev]]] + [meta + ["[0]" symbol ("[1]#[0]" equivalence)]] [tool [compiler [reference {"+" Constant} @@ -88,7 +89,7 @@ [/.text /.text! (random.unicode 10) analysis.text text#=] [/.local /.local! random.nat analysis.variable/local n.=] [/.foreign /.foreign! random.nat analysis.variable/foreign n.=] - [/.constant /.constant! ..constant analysis.constant name#=] + [/.constant /.constant! ..constant analysis.constant symbol#=] )) (do [! random.monad] [expected random.bit] diff --git a/stdlib/source/test/lux/control/parser/binary.lux b/stdlib/source/test/lux/control/parser/binary.lux index f7809b34d..3bf3363c9 100644 --- a/stdlib/source/test/lux/control/parser/binary.lux +++ b/stdlib/source/test/lux/control/parser/binary.lux @@ -17,7 +17,6 @@ ["[0]" binary] ["[0]" sum] ["[0]" bit] - ["[0]" name] ["[0]" text ("[1]#[0]" equivalence) ["%" format {"+" format}] [encoding @@ -37,7 +36,9 @@ ["[0]" i64] ["[0]" int] ["[0]" rev] - ["[0]" frac]]]]] + ["[0]" frac]]] + [meta + ["[0]" symbol]]]] [\\library ["[0]" /]]) @@ -67,8 +68,8 @@ (random.only ..utf8_conversion_does_not_alter? (random.unicode ..segment_size))) -(def: random_name - (Random Name) +(def: random_symbol + (Random Symbol) (random.and ..random_text ..random_text)) (implementation: location_equivalence @@ -104,7 +105,7 @@ random.rev random.safe_frac ..random_text - ..random_name + ..random_symbol random_sequence random_sequence random_sequence @@ -265,7 +266,7 @@ [/.maybe (/.maybe /.nat) format.maybe (format.maybe format.nat) (random.maybe random.nat) (maybe.equivalence n.equivalence)] [/.list (/.list /.nat) format.list (format.list format.nat) (random.list ..segment_size random.nat) (list.equivalence n.equivalence)] [/.set (/.set n.hash /.nat) format.set (format.set format.nat) (random.set n.hash ..segment_size random.nat) set.equivalence] - [/.name /.name format.name format.name ..random_name name.equivalence])) + [/.symbol /.symbol format.symbol format.symbol ..random_symbol symbol.equivalence])) (do [! random.monad] [expected (# ! each (list.repeated ..segment_size) random.nat)] (_.cover [/.set_elements_are_not_unique] diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux index 70afee9b7..aee053104 100644 --- a/stdlib/source/test/lux/control/parser/code.lux +++ b/stdlib/source/test/lux/control/parser/code.lux @@ -10,7 +10,6 @@ ["<>" parser]] [data ["[0]" bit] - ["[0]" name] ["[0]" text] [collection ["[0]" list]]] @@ -22,7 +21,9 @@ ["[0]" nat] ["[0]" int] ["[0]" rev] - ["[0]" frac]]]]] + ["[0]" frac]]] + [meta + ["[0]" symbol]]]] [\\library ["[0]" /]]) @@ -34,8 +35,8 @@ _ false)]) -(def: random_name - (Random Name) +(def: random_symbol + (Random Symbol) (random.and (random.unicode 1) (random.unicode 1))) @@ -74,7 +75,7 @@ [/.rev /.rev! random.rev code.rev rev.equivalence] [/.frac /.frac! random.safe_frac code.frac frac.equivalence] [/.text /.text! (random.unicode 1) code.text text.equivalence] - [/.identifier /.identifier! ..random_name code.identifier name.equivalence] + [/.identifier /.identifier! ..random_symbol code.identifier symbol.equivalence] [/.local_identifier /.local_identifier! (random.unicode 1) code.local_identifier text.equivalence] )) (~~ (template [<query> <code>] diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux index f82b020a9..aa7cc05ef 100644 --- a/stdlib/source/test/lux/control/parser/synthesis.lux +++ b/stdlib/source/test/lux/control/parser/synthesis.lux @@ -11,7 +11,6 @@ ["[0]" exception]] [data ["[0]" bit] - ["[0]" name] ["[0]" text] [collection ["[0]" list ("[1]#[0]" functor)]]] @@ -21,6 +20,8 @@ ["n" nat] ["[0]" i64] ["[0]" frac]]] + [meta + ["[0]" symbol]] [tool [compiler [reference {"+" } @@ -41,7 +42,7 @@ false)]) (def: random_constant - (Random Name) + (Random Symbol) (random.and (random.unicode 1) (random.unicode 1))) @@ -84,7 +85,7 @@ [/.text /.text! (random.unicode 1) synthesis.text text.equivalence] [/.local /.local! random.nat synthesis.variable/local n.equivalence] [/.foreign /.foreign! random.nat synthesis.variable/foreign n.equivalence] - [/.constant /.constant! ..random_constant synthesis.constant name.equivalence] + [/.constant /.constant! ..random_constant synthesis.constant symbol.equivalence] )) ))) diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux index 2fca448f8..9ab2fb674 100644 --- a/stdlib/source/test/lux/control/parser/type.lux +++ b/stdlib/source/test/lux/control/parser/type.lux @@ -8,13 +8,14 @@ ["[0]" try] ["[0]" exception]] [data - ["[0]" name ("[1]#[0]" equivalence)] [collection ["[0]" list]]] [math ["[0]" random {"+" Random}] [number ["n" nat]]] + [meta + ["[0]" symbol ("[1]#[0]" equivalence)]] ["[0]" type ("[1]#[0]" equivalence)]]] [\\library ["[0]" / @@ -260,7 +261,7 @@ (|> (/.result /.named {.#Named expected_name expected_type}) (!expect (^multi {try.#Success [actual_name actual_type]} - (and (name#= expected_name actual_name) + (and (symbol#= expected_name actual_name) (type#= expected_type actual_type))))))) ..aggregate ..matches diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux index 705b5cd27..0b246f995 100644 --- a/stdlib/source/test/lux/control/parser/xml.lux +++ b/stdlib/source/test/lux/control/parser/xml.lux @@ -10,7 +10,6 @@ ["[0]" exception]] [data ["[0]" text ("[1]#[0]" equivalence)] - ["[0]" name ("[1]#[0]" equivalence)] [format ["[0]" xml ("[1]#[0]" equivalence)]] [collection @@ -21,7 +20,9 @@ [math ["[0]" random {"+" Random}] [number - ["n" nat]]]]] + ["n" nat]]] + [meta + ["[0]" symbol ("[1]#[0]" equivalence)]]]] [\\library ["[0]" / ["/[1]" // ("[1]#[0]" monad)]]]) @@ -47,7 +48,7 @@ <<cases>>)))))))]) (def: random_label - (Random Name) + (Random Symbol) (random.and (random.ascii/alpha 1) (random.ascii/alpha 1))) @@ -80,18 +81,18 @@ (|> (/.result (do //.monad [actual /.tag _ /.any] - (in (name#= expected actual))) - (list {xml.#Node expected (dictionary.empty name.hash) (list)})) + (in (symbol#= expected actual))) + (list {xml.#Node expected (dictionary.empty symbol.hash) (list)})) (!expect {try.#Success #1})))) (do [! random.monad] [expected ..random_tag] (_.cover [/.node] (|> (/.result (/.node expected (//#in [])) - (list {xml.#Node expected (dictionary.empty name.hash) (list)})) + (list {xml.#Node expected (dictionary.empty symbol.hash) (list)})) (!expect {try.#Success []})))) (!failure /.wrong_tag [[(/.node ["" expected] (//#in [])) - {xml.#Node [expected ""] (dictionary.empty name.hash) (list)}]]) + {xml.#Node [expected ""] (dictionary.empty symbol.hash) (list)}]]) (do [! random.monad] [expected_tag ..random_tag expected_attribute ..random_attribute @@ -101,14 +102,14 @@ (//.after (/.attribute expected_attribute)) (//#in [])) (list {xml.#Node expected_tag - (|> (dictionary.empty name.hash) + (|> (dictionary.empty symbol.hash) (dictionary.has expected_attribute expected_value)) (list)})) (!expect {try.#Success []})))) (!failure /.unknown_attribute [[(/.attribute ["" expected]) {xml.#Node [expected expected] - (|> (dictionary.empty name.hash) + (|> (dictionary.empty symbol.hash) (dictionary.has [expected ""] expected)) (list)}]]) (!failure /.empty_input @@ -125,19 +126,19 @@ (/.node [expected expected] (//#in []))) {xml.#Node [expected expected] - (dictionary.empty name.hash) + (dictionary.empty symbol.hash) (list)}] [(do //.monad [_ /.any] (/.node [expected expected] (/.attribute [expected expected]))) {xml.#Node [expected expected] - (|> (dictionary.empty name.hash) + (|> (dictionary.empty symbol.hash) (dictionary.has [expected expected] expected)) (list)}]]) (!failure /.unexpected_input [[/.text - {xml.#Node [expected expected] (dictionary.empty name.hash) (list)}] + {xml.#Node [expected expected] (dictionary.empty symbol.hash) (list)}] [(/.node [expected expected] (//#in [])) {xml.#Text expected}] @@ -147,10 +148,10 @@ (do [! random.monad] [.let [node (: (-> xml.Tag (List xml.XML) xml.XML) (function (_ tag children) - {xml.#Node tag (dictionary.empty name.hash) children}))] + {xml.#Node tag (dictionary.empty symbol.hash) children}))] parent ..random_tag right ..random_tag - wrong (random.only (|>> (name#= right) not) + wrong (random.only (|>> (symbol#= right) not) ..random_tag) .let [parser (<| (/.node parent) (do //.monad diff --git a/stdlib/source/test/lux/control/remember.lux b/stdlib/source/test/lux/control/remember.lux index 1d078daf2..a8eb15141 100644 --- a/stdlib/source/test/lux/control/remember.lux +++ b/stdlib/source/test/lux/control/remember.lux @@ -33,7 +33,7 @@ (def: focus (Random Code) (random#each code.bit random.bit)) (def: (memory macro deadline message focus) - (-> Name Date Text (Maybe Code) Code) + (-> Symbol Date Text (Maybe Code) Code) (` ((~ (code.identifier macro)) (~ (code.text (%.date deadline))) (~ (code.text message)) diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux index 573697f2a..5b49d61b3 100644 --- a/stdlib/source/test/lux/data.lux +++ b/stdlib/source/test/lux/data.lux @@ -12,7 +12,6 @@ ["[1][0]" color ["[1]/[0]" named]] ["[1][0]" identity] - ["[1][0]" name] ["[1][0]" product] ["[1][0]" sum] ["[1][0]" text] @@ -50,8 +49,7 @@ (def: test/1 Test ($_ _.and - /identity.test - /name.test)) + /identity.test)) (def: test/2 Test diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux index 3f94d894f..840455f41 100644 --- a/stdlib/source/test/lux/data/format/xml.lux +++ b/stdlib/source/test/lux/data/format/xml.lux @@ -14,7 +14,6 @@ ["p" parser ["</>" xml]]] [data - ["[0]" name] ["[0]" text ("[1]#[0]" equivalence) ["%" format {"+" format}]] [collection @@ -23,7 +22,9 @@ [math ["[0]" random {"+" Random} ("[1]#[0]" monad)] [number - ["n" nat]]]]] + ["n" nat]]] + [meta + ["[0]" symbol]]]] [\\library ["[0]" / {"+" XML}]]) @@ -51,7 +52,7 @@ (random.text ..char size))) (def: identifier - (Random Name) + (Random Symbol) (random.and (..text 0 10) (..text 1 10))) @@ -63,7 +64,7 @@ [size (..size 0 2)] ($_ random.and ..identifier - (random.dictionary name.hash size ..identifier (..text 0 10)) + (random.dictionary symbol.hash size ..identifier (..text 0 10)) (random.list size random))))))) (def: .public test diff --git a/stdlib/source/test/lux/data/text/format.lux b/stdlib/source/test/lux/data/text/format.lux index aa3a6b2cd..0a5bab197 100644 --- a/stdlib/source/test/lux/data/text/format.lux +++ b/stdlib/source/test/lux/data/text/format.lux @@ -13,7 +13,6 @@ [data ["[0]" text ("[1]#[0]" equivalence)] ["[0]" bit] - ["[0]" name] [format ["[0]" xml] ["[0]" json]] @@ -38,17 +37,19 @@ [macro ["[0]" code]] [meta - ["[0]" location]] + ["[0]" location] + ["[0]" symbol]] ["[0]" type]]] ["$[0]" /// "_" [format ["[1][0]" xml] ["[1][0]" json]] - ["[1][0]" name] [// ["[1][0]" type] [macro - ["[1][0]" code]]]] + ["[1][0]" code]] + [meta + ["[1][0]" symbol]]]] [\\library ["[0]" /]]) @@ -85,7 +86,7 @@ [/.rev rev.decimal random.rev] [/.frac frac.decimal random.frac] [/.ratio ratio.codec random.ratio] - [/.name name.codec ($///name.random 5 5)] + [/.symbol symbol.codec ($///symbol.random 5 5)] [/.xml xml.codec $///xml.random] [/.json json.codec $///json.random] [/.day day.codec random.day] diff --git a/stdlib/source/test/lux/debug.lux b/stdlib/source/test/lux/debug.lux index d422caa8d..3ad2747e8 100644 --- a/stdlib/source/test/lux/debug.lux +++ b/stdlib/source/test/lux/debug.lux @@ -36,7 +36,6 @@ ["$[0]" // "_" ["[1][0]" type] [data - ["[1][0]" name] [format ["[1][0]" json] ["[1][0]" xml]]] @@ -46,7 +45,8 @@ [number ["[1][0]" ratio]]] [meta - ["[1][0]" location]]]) + ["[1][0]" location] + ["[1][0]" symbol]]]) (def: can_represent_simple_types (Random Bit) @@ -107,7 +107,7 @@ (Random Bit) (do random.monad [sample_ratio $//ratio.random - sample_name ($//name.random 5 5) + sample_symbol ($//symbol.random 5 5) sample_location $//location.random sample_type ($//type.random 0) sample_code $//code.random @@ -119,7 +119,7 @@ (try.else false))] [Ratio %.ratio sample_ratio] - [Name %.name sample_name] + [Symbol %.symbol sample_symbol] [Location %.location sample_location] [Code %.code sample_code] [Type %.type sample_type] @@ -262,7 +262,7 @@ true)) (_.cover [/.log!] (exec - (/.log! (format (%.name (name_of /.log!)) + (/.log! (format (%.symbol (name_of /.log!)) " works: " (%.text message))) true)) )))) diff --git a/stdlib/source/test/lux/macro.lux b/stdlib/source/test/lux/macro.lux index cdd48544b..0b8fdced8 100644 --- a/stdlib/source/test/lux/macro.lux +++ b/stdlib/source/test/lux/macro.lux @@ -10,7 +10,6 @@ ["<[0]>" code]]] [data ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" name] ["[0]" text ["%" format {"+" format}]] [collection @@ -20,7 +19,8 @@ [number ["[0]" nat]]] ["[0]" meta - ["[0]" location]]]] + ["[0]" location] + ["[0]" symbol]]]] [\\library ["[0]" / [syntax {"+" syntax:}] @@ -61,8 +61,8 @@ (do [! random.monad] [seed random.nat identifier_prefix (random.ascii/upper 1) - .let [macro_module (name.module (name_of /._)) - current_module (name.module (name_of .._))]] + .let [macro_module (symbol.module (name_of /._)) + current_module (symbol.module (name_of .._))]] (in [seed identifier_prefix [.#info [.#target "" diff --git a/stdlib/source/test/lux/macro/code.lux b/stdlib/source/test/lux/macro/code.lux index 99ff3103e..8a0ab7ef1 100644 --- a/stdlib/source/test/lux/macro/code.lux +++ b/stdlib/source/test/lux/macro/code.lux @@ -31,8 +31,8 @@ (Random Text) (random.ascii/alpha 10)) -(def: random_name - (Random Name) +(def: random_symbol + (Random Symbol) (random.and ..random_text ..random_text)) (def: (random_sequence random) @@ -52,7 +52,7 @@ (random#each /.rev random.rev) (random#each /.frac random.safe_frac) (random#each /.text ..random_text) - (random#each /.identifier ..random_name) + (random#each /.identifier ..random_symbol) (random#each /.form (..random_sequence random)) (random#each /.variant (..random_sequence random)) (random#each /.tuple (..random_sequence random)) @@ -93,7 +93,7 @@ (random#each /.rev random.rev) (random#each /.frac random.safe_frac) (random#each /.text ..random_text) - (random#each /.identifier ..random_name)))] + (random#each /.identifier ..random_symbol)))] (in [sample sample])) (for_sequence /.form) (for_sequence /.variant) @@ -125,7 +125,7 @@ [/.rev random.rev .#Rev] [/.frac random.safe_frac .#Frac] [/.text ..random_text .#Text] - [/.identifier ..random_name .#Identifier] + [/.identifier ..random_symbol .#Identifier] [/.form (..random_sequence ..random) .#Form] [/.variant (..random_sequence ..random) .#Variant] [/.tuple (..random_sequence ..random) .#Tuple])) diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux index 66a22d81c..fdf066663 100644 --- a/stdlib/source/test/lux/meta.lux +++ b/stdlib/source/test/lux/meta.lux @@ -16,14 +16,14 @@ [data ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" name ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) ["%" format {"+" format}]] [collection ["[0]" list ("[1]#[0]" functor monoid)] ["[0]" set]]] [meta - ["[0]" location]] + ["[0]" location] + ["[0]" symbol ("[1]#[0]" equivalence)]] [math ["[0]" random {"+" Random}] [number @@ -31,7 +31,8 @@ [\\library ["[0]" /]] ["[0]" / "_" - ["[1][0]" location]]) + ["[1][0]" location] + ["[1][0]" symbol]]) (template: (!expect <pattern> <value>) [(case <value> @@ -560,11 +561,11 @@ (expected_lux true {.#Some .Macro})] (and (|> (/.de_aliased [expected_macro_module expected_short]) (/.result expected_lux) - (try#each (name#= [expected_macro_module expected_short])) + (try#each (symbol#= [expected_macro_module expected_short])) (try.else false)) (|> (/.de_aliased [expected_current_module expected_short]) (/.result expected_lux) - (try#each (name#= [expected_macro_module expected_short])) + (try#each (symbol#= [expected_macro_module expected_short])) (try.else false))))) (_.cover [/.definition] (let [[current_globals macro_globals expected_lux] @@ -696,7 +697,7 @@ (_.cover [/.tag_lists] (let [equivalence (list.equivalence (product.equivalence - (list.equivalence name.equivalence) + (list.equivalence symbol.equivalence) type.equivalence))] (|> (/.tag_lists tag_module) (/.result expected_lux) @@ -706,7 +707,7 @@ (_.cover [/.tags_of] (|> (/.tags_of [tag_module name_1]) (/.result expected_lux) - (try#each (# (maybe.equivalence (list.equivalence name.equivalence)) = {.#Some (list#each (|>> [tag_module]) {.#Item tags_1})})) + (try#each (# (maybe.equivalence (list.equivalence symbol.equivalence)) = {.#Some (list#each (|>> [tag_module]) {.#Item tags_1})})) (try.else false))) (_.cover [/.slot] (|> {.#Item tags_1} @@ -721,7 +722,7 @@ actual_index) correct_tags! - (# (list.equivalence name.equivalence) = + (# (list.equivalence symbol.equivalence) = (list#each (|>> [tag_module]) {.#Item tags_1}) actual_tags) @@ -947,4 +948,5 @@ )) /location.test + /symbol.test ))) diff --git a/stdlib/source/test/lux/data/name.lux b/stdlib/source/test/lux/meta/symbol.lux index a069d846e..85598a159 100644 --- a/stdlib/source/test/lux/data/name.lux +++ b/stdlib/source/test/lux/meta/symbol.lux @@ -21,7 +21,7 @@ ["[0]" /]]) (def: .public (random module_size short_size) - (-> Nat Nat (Random Name)) + (-> Nat Nat (Random Symbol)) (random.and (random.ascii/alpha module_size) (random.ascii/alpha short_size))) @@ -29,15 +29,15 @@ Test (<| (_.covering /._) (do [! random.monad] - [... First Name + [... First Symbol sizeM1 (|> random.nat (# ! each (n.% 100))) sizeS1 (|> random.nat (# ! each (|>> (n.% 100) (n.max 1)))) - (^@ name1 [module1 short1]) (..random sizeM1 sizeS1) - ... Second Name + (^@ symbol1 [module1 short1]) (..random sizeM1 sizeS1) + ... Second Symbol sizeM2 (|> random.nat (# ! each (n.% 100))) sizeS2 (|> random.nat (# ! each (|>> (n.% 100) (n.max 1)))) - (^@ name2 [module2 short2]) (..random sizeM2 sizeS2)] - (_.for [.Name] + (^@ symbol2 [module2 short2]) (..random sizeM2 sizeS2)] + (_.for [.Symbol] ($_ _.and (_.for [/.equivalence] ($equivalence.spec /.equivalence (..random sizeM1 sizeS1))) @@ -50,20 +50,20 @@ (_.for [/.codec] (_.and ($codec.spec /.equivalence /.codec (..random sizeM1 sizeS1)) (let [(^open "/#[0]") /.codec] - (_.test "Encoding an name without a module component results in text equal to the short of the name." + (_.test "Encoding a symbol without a module component results in text equal to the short of the symbol." (if (text.empty? module1) - (text#= short1 (/#encoded name1)) + (text#= short1 (/#encoded symbol1)) #1))))) (_.cover [/.module /.short] - (and (same? module1 (/.module name1)) - (same? short1 (/.short name1)))) + (and (same? module1 (/.module symbol1)) + (same? short1 (/.short symbol1)))) (_.for [.name_of] (let [(^open "/#[0]") /.equivalence] ($_ _.and - (_.test "Can obtain Name from identifier." + (_.test "Can obtain Symbol from identifier." (and (/#= [.prelude_module "yolo"] (.name_of .yolo)) - (/#= ["test/lux/data/name" "yolo"] (.name_of ..yolo)) + (/#= ["test/lux/meta/symbol" "yolo"] (.name_of ..yolo)) (/#= ["" "yolo"] (.name_of yolo)) (/#= ["library/lux/test" "yolo"] (.name_of library/lux/test.yolo))))))) ))))) diff --git a/stdlib/source/test/lux/target/jvm.lux b/stdlib/source/test/lux/target/jvm.lux index ed3916588..7aaefe214 100644 --- a/stdlib/source/test/lux/target/jvm.lux +++ b/stdlib/source/test/lux/target/jvm.lux @@ -1722,7 +1722,7 @@ (def: .public test Test - (<| (_.context (%.name (name_of .._))) + (<| (_.context (%.symbol (name_of .._))) ($_ _.and (<| (_.context "instruction") ..instruction) 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 76f904817..b75932d8d 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 @@ -3,8 +3,7 @@ [abstract ["[0]" monad {"+" do}]] [data - ["%" text/format {"+" format}] - ["[0]" name]] + ["%" text/format {"+" format}]] ["r" math/random {"+" Random} ("[1]#[0]" monad)] ["_" test {"+" Test}] [control @@ -21,7 +20,9 @@ ["[0]" type ["[0]" check]] [macro - ["[0]" code]]] + ["[0]" code]] + [meta + ["[0]" symbol]]] [// ["_[0]" primitive] ["_[0]" structure]] @@ -139,7 +140,7 @@ [pattern body]) (def: .public test - (<| (_.context (name.module (name_of /._))) + (<| (_.context (symbol.module (name_of /._))) (do [! r.monad] [module_name (r.unicode 5) variant_name (r.unicode 5) 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 f86c8bcfe..66f8a82ab 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 @@ -3,8 +3,7 @@ [abstract ["[0]" monad {"+" do}]] [data - ["%" text/format {"+" format}] - ["[0]" name]] + ["%" text/format {"+" format}]] ["r" math/random {"+" Random}] ["_" test {"+" Test}] [control @@ -20,7 +19,9 @@ ["[0]" list ("[1]#[0]" functor)]]] ["[0]" type] ["[0]" macro - ["[0]" code]]] + ["[0]" code]] + [meta + ["[0]" symbol]]] [// ["_[0]" primitive] ["_[0]" structure]] @@ -57,7 +58,7 @@ [outputT outputC] _primitive.primitive [inputT _] _primitive.primitive .let [g!arg (code.local_identifier arg_name)]] - (<| (_.context (%.name (name_of /.function))) + (<| (_.context (%.symbol (name_of /.function))) ($_ _.and (_.test "Can analyse function." (and (|> (//type.with_type (All (_ a) (-> a outputT)) @@ -104,7 +105,7 @@ (type.function {.#Item varT partial_poly_inputsT}) varT) dummy_function {////analysis.#Function (list) {////analysis.#Reference (////reference.local 1)}}]] - (<| (_.context (%.name (name_of /.apply))) + (<| (_.context (%.symbol (name_of /.apply))) ($_ _.and (_.test "Can analyse monomorphic type application." (|> (/.apply _primitive.phase inputsC funcT dummy_function archive.empty (' [])) @@ -125,7 +126,7 @@ (def: .public test Test - (<| (_.context (name.module (name_of /._))) + (<| (_.context (symbol.module (name_of /._))) ($_ _.and ..abstraction ..apply diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux index 7dc11195c..8ce35da36 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux @@ -4,8 +4,7 @@ [abstract ["[0]" monad {"+" do}]] [data - ["%" text/format {"+" format}] - ["[0]" name]] + ["%" text/format {"+" format}]] ["r" math/random {"+" Random} ("[1]#[0]" monad)] ["_" test {"+" Test}] [control @@ -13,7 +12,9 @@ ["[0]" try {"+" Try}] ["[0]" exception {"+" exception:}]] [macro - ["[0]" code]]] + ["[0]" code]] + [meta + ["[0]" symbol]]] [\\ ["[0]" / ["/[1]" // @@ -85,9 +86,9 @@ {try.#Failure error}))) (def: .public test - (<| (_.context (name.module (name_of /._))) + (<| (_.context (symbol.module (name_of /._))) (`` ($_ _.and - (_.test (%.name (name_of ////analysis.#Unit)) + (_.test (%.symbol (name_of ////analysis.#Unit)) (|> (infer Any (..phase archive.empty (' []))) (case> (^ {try.#Success {////analysis.#Primitive {////analysis.#Unit output}}}) (same? [] output) @@ -97,7 +98,7 @@ (~~ (template [<type> <tag> <random> <constructor>] [(do r.monad [sample <random>] - (_.test (%.name (name_of <tag>)) + (_.test (%.symbol (name_of <tag>)) (|> (infer <type> (..phase archive.empty (<constructor> sample))) (case> {try.#Success {////analysis.#Primitive {<tag> output}}} (same? sample output) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux index 61195abbd..a1683c75d 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux @@ -2,8 +2,6 @@ [lux "*" [abstract ["[0]" monad {"+" do}]] - [data - ["[0]" name ("[1]#[0]" equivalence)]] ["r" math/random {"+" Random}] ["_" test {"+" Test}] [control @@ -15,7 +13,9 @@ ["n" nat]]] ["[0]" type ("[1]#[0]" equivalence)] [macro - ["[0]" code]]] + ["[0]" code]] + [meta + ["[0]" symbol ("[1]#[0]" equivalence)]]] [// ["_[0]" primitive]] [\\ @@ -64,7 +64,7 @@ check!)) (def: .public test - (<| (_.context (name.module (name_of /._))) + (<| (_.context (symbol.module (name_of /._))) (do r.monad [[expectedT _] _primitive.primitive def_module (r.unicode 5) @@ -95,7 +95,7 @@ (phase.result _primitive.state) (case> (^ {try.#Success [_ inferredT {////analysis.#Reference (////reference.constant constant_name)}]}) (and (type#= expectedT inferredT) - (name#= def_name constant_name)) + (symbol#= def_name constant_name)) _ false)))) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux index 6f63bf89c..062ec96dc 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/structure.lux @@ -3,8 +3,7 @@ [abstract ["[0]" monad {"+" do}]] [data - ["%" text/format {"+" format}] - ["[0]" name]] + ["%" text/format {"+" format}]] ["r" math/random {"+" Random}] ["_" test {"+" Test}] [control @@ -23,7 +22,9 @@ ["[0]" type ["[0]" check]] [macro - ["[0]" code]]] + ["[0]" code]] + [meta + ["[0]" symbol]]] [// ["_[0]" primitive]] [\\ @@ -132,7 +133,7 @@ (list.after choice primitives))) [+valueT +valueC] (maybe.trusted (list.item +choice +primitives)) +variantT (type.variant (list#each product.left +primitives))]] - (<| (_.context (%.name (name_of /.sum))) + (<| (_.context (%.symbol (name_of /.sum))) ($_ _.and (_.test "Can analyse." (check_sum variantT choice size @@ -181,7 +182,7 @@ (list [{.#Parameter 1} +valueC]) (list.after choice primitives))) +tupleT (type.tuple (list#each product.left +primitives))]] - (<| (_.context (%.name (name_of /.product))) + (<| (_.context (%.symbol (name_of /.product))) ($_ _.and (_.test "Can analyse." (|> (//type.with_type tupleT @@ -250,7 +251,7 @@ (type.univ_q 1)) choice_tag (maybe.trusted (list.item choice tags)) other_choice_tag (maybe.trusted (list.item other_choice tags))]] - (<| (_.context (%.name (name_of /.tagged_sum))) + (<| (_.context (%.symbol (name_of /.tagged_sum))) ($_ _.and (_.test "Can infer." (|> (/.tagged_sum _primitive.phase [module_name choice_tag] archive.empty choiceC) @@ -294,14 +295,14 @@ (list.after (++ choice) primitivesT)))) (type.univ_q 1) {.#Named [module_name type_name]})]] - (<| (_.context (%.name (name_of /.record))) + (<| (_.context (%.symbol (name_of /.record))) (_.test "Can infer." (|> (/.record archive.empty _primitive.phase recordC) (check_record module_name tags monoT monoT size)))))) (def: .public test Test - (<| (_.context (name.module (name_of /._))) + (<| (_.context (symbol.module (name_of /._))) ($_ _.and ..sum ..product diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux index 5430e455c..17ce8036e 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux @@ -3,8 +3,7 @@ [abstract ["[0]" monad {"+" do}]] [data - ["%" text/format {"+" format}] - ["[0]" name]] + ["%" text/format {"+" format}]] ["r" math/random {"+" Random}] ["_" test {"+" Test}] [control @@ -17,7 +16,9 @@ ["[0]" product]] ["[0]" type ("[1]#[0]" equivalence)] [macro - ["[0]" code]]] + ["[0]" code]] + [meta + ["[0]" symbol]]] [//// [analysis ["_[0]" primitive]]] @@ -193,7 +194,7 @@ (def: .public test Test - (<| (_.context (name.module (name_of /._))) + (<| (_.context (symbol.module (name_of /._))) ($_ _.and ..lux ..i64 diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux index ee21bb16c..136635e38 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux @@ -6,13 +6,14 @@ ["[0]" try]] [data ["%" text/format {"+" format}] - ["[0]" name] [number ["n" nat]] [collection ["[0]" list]]] ["r" math/random {"+" Random} ("[1]#[0]" monad)] - ["_" test {"+" Test}]] + ["_" test {"+" Test}] + [meta + ["[0]" symbol]]] [\\ ["[0]" / "_" ["/[1]" // @@ -72,12 +73,12 @@ (def: .public test Test - (<| (_.context (%.name (name_of ////synthesis.#Primitive))) + (<| (_.context (%.symbol (name_of ////synthesis.#Primitive))) (`` ($_ _.and (~~ (template [<analysis> <synthesis> <generator>] [(do r.monad [expected <generator>] - (_.test (%.name (name_of <synthesis>)) + (_.test (%.symbol (name_of <synthesis>)) (|> {////analysis.#Primitive {<analysis> expected}} (//.phase archive.empty) (phase.result [///bundle.empty ////synthesis.init]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux index 02d079c4d..f08463d54 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux @@ -3,8 +3,7 @@ [abstract ["[0]" monad {"+" do}]] [data - ["%" text/format {"+" format}] - ["[0]" name]] + ["%" text/format {"+" format}]] ["r" math/random {"+" Random}] ["_" test {"+" Test}] [control @@ -16,7 +15,9 @@ [number ["n" nat]] [collection - ["[0]" list]]]] + ["[0]" list]]] + [meta + ["[0]" symbol]]] ["[0]" // "_" ["[1][0]" primitive]] [\\ @@ -75,7 +76,7 @@ (def: .public test Test - (<| (_.context (%.name (name_of ////synthesis.#Structure))) + (<| (_.context (%.symbol (name_of ////synthesis.#Structure))) ($_ _.and ..variant ..tuple diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux index 84d47becc..306ab931b 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux @@ -3,7 +3,6 @@ [abstract/monad {"+" do}] [data ["%" text/format {"+" format}] - ["[0]" name] [number ["n" nat]]] ["r" math/random {"+" Random} ("[1]#[0]" monad)] @@ -20,19 +19,20 @@ [macro ["[0]" code]] [meta - ["[0]" location]]] + ["[0]" location] + ["[0]" symbol]]] [\\ ["[0]" /]]) -(def: name_part^ +(def: symbol_part^ (Random Text) (do [! r.monad] [size (|> r.nat (# ! each (|>> (n.% 20) (n.max 1))))] (r.ascii/lower_alpha size))) -(def: name^ - (Random Name) - (r.and name_part^ name_part^)) +(def: symbol^ + (Random Symbol) + (r.and symbol_part^ symbol_part^)) (def: code^ (Random Code) @@ -48,8 +48,8 @@ (do r.monad [size (|> r.nat (r#each (n.% 20)))] (|> (r.ascii/upper_alpha size) (r#each code.text))) - (|> name^ (r#each code.identifier)) - (|> name^ (r#each code.tag)))) + (|> symbol^ (r#each code.identifier)) + (|> symbol^ (r#each code.tag)))) simple^ (: (Random Code) ($_ r.either numeric^ @@ -139,7 +139,7 @@ (def: .public test Test - (<| (_.context (name.module (name_of /._))) + (<| (_.context (symbol.module (name_of /._))) ($_ _.and ..code ..comments diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index ffd3671cb..774e95513 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -41,8 +41,8 @@ [size (|> random.nat (# ! each (n.% 10)))] (random.unicode size))) -(def: name - (Random Name) +(def: symbol + (Random Symbol) (random.and ..short ..short)) (def: (random' parameters) @@ -83,10 +83,10 @@ [anonymousT (random.only (|>> (case> {.#Named _ _} false _ true)) (..random 0)) - name/0 ..name - name/1 ..name - .let [namedT {.#Named name/0 anonymousT} - aliasedT {.#Named name/1 namedT}]] + symbol/0 ..symbol + symbol/1 ..symbol + .let [namedT {.#Named symbol/0 anonymousT} + aliasedT {.#Named symbol/1 namedT}]] ($_ _.and (_.cover [/.de_aliased] (# /.equivalence = namedT (/.de_aliased aliasedT))) diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index ce181e56b..c4d14054e 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -34,8 +34,8 @@ (Random Text) (random.unicode 10)) -(def: name - (Random Name) +(def: symbol + (Random Symbol) (random.and ..short ..short)) (def: (type' num_vars) @@ -61,7 +61,7 @@ random_pair random_id random_quantified - (random#each (|>> {.#Named}) (random.and ..name (type' 0))) + (random#each (|>> {.#Named}) (random.and ..symbol (type' 0))) ))))) (def: type @@ -577,7 +577,7 @@ ultimates_check_themselves!))) (def: (names_do_not_affect_types! left_name right_name nominal) - (-> Name Name Type Bit) + (-> Symbol Symbol Type Bit) (and (..succeeds? (/.check {.#Named left_name Any} nominal)) (..succeeds? (/.check Any {.#Named right_name nominal})) (..succeeds? (/.check {.#Named left_name Any} {.#Named right_name nominal})))) @@ -615,8 +615,8 @@ [nominal ..nominal [name/0 name/1] (..non_twins text#= (random.ascii/upper 10)) [parameter/0 parameter/1] (..non_twins type#= ..nominal) - left_name ..name - right_name ..name + left_name ..symbol + right_name ..symbol ring_tail_size (# ! each (n.% 10) random.nat)] (_.cover [/.check] (and (..handles_nominal_types! name/0 name/1 parameter/0 parameter/1) |