diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux.lux | 364 |
1 files changed, 182 insertions, 182 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 3a7fa442b..9b01303ea 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -27,10 +27,10 @@ ## (Ex [a] a)) ("lux def" Any ("lux type check type" - (9 #1 [..prelude_module "Any"] + (9 #1 ["library/lux" "Any"] (8 #0 (0 #0) (4 #0 1)))) [dummy_location - (9 #1 (0 #1 [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (0 #1 [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 ("lux text concat" ("lux text concat" "The type of things whose type is irrelevant." __paragraph) "It can be used to write functions or data-structures that can take, or return, anything."))]] @@ -41,10 +41,10 @@ ## (All [a] a)) ("lux def" Nothing ("lux type check type" - (9 #1 [..prelude_module "Nothing"] + (9 #1 ["library/lux" "Nothing"] (7 #0 (0 #0) (4 #0 1)))) [dummy_location - (9 #1 (0 #1 [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (0 #1 [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 ("lux text concat" ("lux text concat" "The type of things whose type is undefined." __paragraph) "Useful for expressions that cause errors or other 'extraordinary' conditions."))]] @@ -55,7 +55,7 @@ ## #Nil ## (#Cons a (List a))) ("lux def type tagged" List - (9 #1 [..prelude_module "List"] + (9 #1 ["library/lux" "List"] (7 #0 (0 #0) (1 #0 ## "lux.Nil" Any @@ -63,9 +63,9 @@ (2 #0 (4 #0 1) (9 #0 (4 #0 1) (4 #0 0)))))) [dummy_location - (9 #1 (0 #1 [[dummy_location (7 #0 [..prelude_module "type-args"])] + (9 #1 (0 #1 [[dummy_location (7 #0 ["library/lux" "type-args"])] [dummy_location (9 #0 (0 #1 [dummy_location (5 #0 "a")] (0 #0)))]] - (0 #1 [[dummy_location (7 #0 [..prelude_module "doc"])] + (0 #1 [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 "A potentially empty list of values.")]] (0 #0))))] ["Nil" "Cons"] @@ -73,31 +73,31 @@ ("lux def" Bit ("lux type check type" - (9 #1 [..prelude_module "Bit"] + (9 #1 ["library/lux" "Bit"] (0 #0 "#Bit" #Nil))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 "Your standard, run-of-the-mill boolean values (as bits).")]] #Nil))] #1) ("lux def" I64 ("lux type check type" - (9 #1 [..prelude_module "I64"] + (9 #1 ["library/lux" "I64"] (7 #0 (0 #0) (0 #0 "#I64" (#Cons (4 #0 1) #Nil))))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 "64-bit integers without any semantics.")]] #Nil))] #1) ("lux def" Nat ("lux type check type" - (9 #1 [..prelude_module "Nat"] + (9 #1 ["library/lux" "Nat"] (0 #0 "#I64" (#Cons (0 #0 "#Nat" #Nil) #Nil)))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 ("lux text concat" ("lux text concat" "Natural numbers (unsigned integers)." __paragraph) "They start at zero (0) and extend in the positive direction."))]] @@ -106,20 +106,20 @@ ("lux def" Int ("lux type check type" - (9 #1 [..prelude_module "Int"] + (9 #1 ["library/lux" "Int"] (0 #0 "#I64" (#Cons (0 #0 "#Int" #Nil) #Nil)))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 "Your standard, run-of-the-mill integer numbers.")]] #Nil))] #1) ("lux def" Rev ("lux type check type" - (9 #1 [..prelude_module "Rev"] + (9 #1 ["library/lux" "Rev"] (0 #0 "#I64" (#Cons (0 #0 "#Rev" #Nil) #Nil)))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 ("lux text concat" ("lux text concat" "Fractional numbers that live in the interval [0,1)." __paragraph) "Useful for probability, and other domains that work within that interval."))]] @@ -128,30 +128,30 @@ ("lux def" Frac ("lux type check type" - (9 #1 [..prelude_module "Frac"] + (9 #1 ["library/lux" "Frac"] (0 #0 "#Frac" #Nil))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 "Your standard, run-of-the-mill floating-point (fractional) numbers.")]] #Nil))] #1) ("lux def" Text ("lux type check type" - (9 #1 [..prelude_module "Text"] + (9 #1 ["library/lux" "Text"] (0 #0 "#Text" #Nil))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 "Your standard, run-of-the-mill string values.")]] #Nil))] #1) ("lux def" Name ("lux type check type" - (9 #1 [..prelude_module "Name"] + (9 #1 ["library/lux" "Name"] (2 #0 Text Text))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 "A name. It is used as part of Lux syntax to represent identifiers and tags.")]] #Nil))] #1) @@ -160,16 +160,16 @@ ## #None ## (#Some a)) ("lux def type tagged" Maybe - (9 #1 [..prelude_module "Maybe"] + (9 #1 ["library/lux" "Maybe"] (7 #0 #Nil (1 #0 ## "lux.None" Any ## "lux.Some" (4 #0 1)))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "type-args"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "type-args"])] [dummy_location (9 #0 (#Cons [dummy_location (5 #0 "a")] #Nil))]] - (#Cons [[dummy_location (7 #0 [..prelude_module "doc"])] + (#Cons [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 "A potentially missing value.")]] #Nil)))] ["None" "Some"] @@ -189,7 +189,7 @@ ## (#Named Name Type) ## ) ("lux def type tagged" Type - (9 #1 [..prelude_module "Type"] + (9 #1 ["library/lux" "Type"] ({Type ({Type_List ({Type_Pair @@ -221,9 +221,9 @@ ("lux type check type" (9 #0 Type List)))} ("lux type check type" (9 #0 (4 #0 1) (4 #0 0))))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 "This type represents the data-structures that are used to specify types themselves.")]] - (#Cons [[dummy_location (7 #0 [..prelude_module "type-rec?"])] + (#Cons [[dummy_location (7 #0 ["library/lux" "type-rec?"])] [dummy_location (0 #0 #1)]] #Nil)))] ["Primitive" "Sum" "Product" "Function" "Parameter" "Var" "Ex" "UnivQ" "ExQ" "Apply" "Named"] @@ -234,10 +234,10 @@ ## #line Nat ## #column Nat}) ("lux def type tagged" Location - (#Named [..prelude_module "Location"] + (#Named ["library/lux" "Location"] (#Product Text (#Product Nat Nat))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 "Locations are for specifying the location of Code nodes in Lux files during compilation.")]] #Nil))] ["module" "line" "column"] @@ -247,15 +247,15 @@ ## {#meta m ## #datum v}) ("lux def type tagged" Ann - (#Named [..prelude_module "Ann"] + (#Named ["library/lux" "Ann"] (#UnivQ #Nil (#UnivQ #Nil (#Product (#Parameter 3) (#Parameter 1))))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "doc"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "doc"])] [dummy_location (5 #0 "The type of things that can be annotated with meta-data of arbitrary types.")]] - (#Cons [[dummy_location (7 #0 [..prelude_module "type-args"])] + (#Cons [[dummy_location (7 #0 ["library/lux" "type-args"])] [dummy_location (9 #0 (#Cons [dummy_location (5 #0 "m")] (#Cons [dummy_location (5 #0 "v")] #Nil)))]] #Nil)))] ["meta" "datum"] @@ -274,7 +274,7 @@ ## (#Tuple (List (w (Code' w)))) ## (#Record (List [(w (Code' w)) (w (Code' w))]))) ("lux def type tagged" Code' - (#Named [..prelude_module "Code'"] + (#Named ["library/lux" "Code'"] ({Code ({Code_List (#UnivQ #Nil @@ -307,7 +307,7 @@ (#Parameter 0)) (#Parameter 1))))) [dummy_location - (9 #1 (#Cons [[dummy_location (7 #0 [..prelude_module "type-args"])] + (9 #1 (#Cons [[dummy_location (7 #0 ["library/lux" "type-args"])] [dummy_location (9 #0 (#Cons [dummy_location (5 #0 "w")] #Nil))]] #Nil))] ["Bit" "Nat" "Int" "Rev" "Frac" "Text" "Identifier" "Tag" "Form" "Tuple" "Record"] @@ -316,12 +316,12 @@ ## (type: Code ## (Ann Location (Code' (Ann Location)))) ("lux def" Code - (#Named [..prelude_module "Code"] + (#Named ["library/lux" "Code"] ({w (#Apply (#Apply w Code') w)} ("lux type check type" (#Apply Location Ann)))) [dummy_location - (#Record (#Cons [[dummy_location (#Tag [..prelude_module "doc"])] + (#Record (#Cons [[dummy_location (#Tag ["library/lux" "doc"])] [dummy_location (#Text "The type of Code nodes for Lux syntax.")]] #Nil))] #1) @@ -418,9 +418,9 @@ ## [Bit Type Code Any]) ("lux def" Definition ("lux type check type" - (#Named [..prelude_module "Definition"] + (#Named ["library/lux" "Definition"] (#Product Bit (#Product Type (#Product Code Any))))) - (record$ (#Cons [(tag$ [..prelude_module "doc"]) + (record$ (#Cons [(tag$ ["library/lux" "doc"]) (text$ "Represents all the data associated with a definition: its type, its annotations, and its value.")] #Nil)) #1) @@ -429,7 +429,7 @@ ## Name) ("lux def" Alias ("lux type check type" - (#Named [..prelude_module "Alias"] + (#Named ["library/lux" "Alias"] Name)) (record$ #Nil) #1) @@ -438,10 +438,10 @@ ## (#Alias Alias) ## (#Definition Definition)) ("lux def type tagged" Global - (#Named [..prelude_module "Global"] + (#Named ["library/lux" "Global"] (#Sum Alias Definition)) - (record$ (#Cons [(tag$ [..prelude_module "doc"]) + (record$ (#Cons [(tag$ ["library/lux" "doc"]) (text$ "Represents all the data associated with a global constant.")] #Nil)) ["Alias" "Definition"] @@ -451,7 +451,7 @@ ## {#counter Nat ## #mappings (List [k v])}) ("lux def type tagged" Bindings - (#Named [..prelude_module "Bindings"] + (#Named ["library/lux" "Bindings"] (#UnivQ #Nil (#UnivQ #Nil (#Product ## "lux.counter" @@ -460,7 +460,7 @@ (#Apply (#Product (#Parameter 3) (#Parameter 1)) List))))) - (record$ (#Cons [(tag$ [..prelude_module "type-args"]) + (record$ (#Cons [(tag$ ["library/lux" "type-args"]) (tuple$ (#Cons (text$ "k") (#Cons (text$ "v") #Nil)))] #Nil)) ["counter" "mappings"] @@ -470,7 +470,7 @@ ## (#Local Nat) ## (#Captured Nat)) ("lux def type tagged" Ref - (#Named [..prelude_module "Ref"] + (#Named ["library/lux" "Ref"] (#Sum ## Local Nat ## Captured @@ -485,7 +485,7 @@ ## #locals (Bindings Text [Type Nat]) ## #captured (Bindings Text [Type Ref])}) ("lux def type tagged" Scope - (#Named [..prelude_module "Scope"] + (#Named ["library/lux" "Scope"] (#Product ## name (#Apply Text List) (#Product ## inner @@ -508,16 +508,16 @@ ## (#Left l) ## (#Right r)) ("lux def type tagged" Either - (#Named [..prelude_module "Either"] + (#Named ["library/lux" "Either"] (#UnivQ #Nil (#UnivQ #Nil (#Sum ## "lux.Left" (#Parameter 3) ## "lux.Right" (#Parameter 1))))) - (record$ (#Cons [(tag$ [..prelude_module "type-args"]) + (record$ (#Cons [(tag$ ["library/lux" "type-args"]) (tuple$ (#Cons (text$ "l") (#Cons (text$ "r") #Nil)))] - (#Cons [(tag$ [..prelude_module "doc"]) + (#Cons [(tag$ ["library/lux" "doc"]) (text$ "A choice between two values of different types.")] #Nil))) ["Left" "Right"] @@ -527,7 +527,7 @@ ## [Location Nat Text]) ("lux def" Source ("lux type check type" - (#Named [..prelude_module "Source"] + (#Named ["library/lux" "Source"] (#Product Location (#Product Nat Text)))) (record$ #Nil) #1) @@ -537,7 +537,7 @@ ## #Compiled ## #Cached) ("lux def type tagged" Module_State - (#Named [..prelude_module "Module_State"] + (#Named ["library/lux" "Module_State"] (#Sum ## #Active Any @@ -560,7 +560,7 @@ ## #module_annotations (Maybe Code) ## #module_state Module_State}) ("lux def type tagged" Module - (#Named [..prelude_module "Module"] + (#Named ["library/lux" "Module"] (#Product ## "lux.module_hash" Nat (#Product ## "lux.module_aliases" @@ -586,7 +586,7 @@ (#Apply Code Maybe) Module_State)) )))))) - (record$ (#Cons [(tag$ [..prelude_module "doc"]) + (record$ (#Cons [(tag$ ["library/lux" "doc"]) (text$ "All the information contained within a Lux module.")] #Nil)) ["module_hash" "module_aliases" "definitions" "imports" "tags" "types" "module_annotations" "module_state"] @@ -597,7 +597,7 @@ ## #var_counter Nat ## #var_bindings (List [Nat (Maybe Type)])}) ("lux def type tagged" Type_Context - (#Named [..prelude_module "Type_Context"] + (#Named ["library/lux" "Type_Context"] (#Product ## ex_counter Nat (#Product ## var_counter @@ -614,14 +614,14 @@ ## #Eval ## #Interpreter) ("lux def type tagged" Mode - (#Named [..prelude_module "Mode"] + (#Named ["library/lux" "Mode"] (#Sum ## Build Any (#Sum ## Eval Any ## Interpreter Any))) - (record$ (#Cons [(tag$ [..prelude_module "doc"]) + (record$ (#Cons [(tag$ ["library/lux" "doc"]) (text$ "A sign that shows the conditions under which the compiler is running.")] #Nil)) ["Build" "Eval" "Interpreter"] @@ -632,7 +632,7 @@ ## #version Text ## #mode Mode}) ("lux def type tagged" Info - (#Named [..prelude_module "Info"] + (#Named ["library/lux" "Info"] (#Product ## target Text @@ -641,7 +641,7 @@ Text ## mode Mode))) - (record$ (#Cons [(tag$ [..prelude_module "doc"]) + (record$ (#Cons [(tag$ ["library/lux" "doc"]) (text$ "Information about the current version and type of compiler that is running.")] #Nil)) ["target" "version" "mode"] @@ -661,7 +661,7 @@ ## #extensions Any ## #host Any}) ("lux def type tagged" Lux - (#Named [..prelude_module "Lux"] + (#Named ["library/lux" "Lux"] (#Product ## "lux.info" Info (#Product ## "lux.source" @@ -686,7 +686,7 @@ Any ## "lux.host" Any)))))))))))) - (record$ (#Cons [(tag$ [..prelude_module "doc"]) + (record$ (#Cons [(tag$ ["library/lux" "doc"]) (text$ ("lux text concat" ("lux text concat" "Represents the state of the Lux compiler during a run." __paragraph) ("lux text concat" @@ -700,16 +700,16 @@ ## (-> Lux (Either Text [Lux a]))) ("lux def" Meta ("lux type check type" - (#Named [..prelude_module "Meta"] + (#Named ["library/lux" "Meta"] (#UnivQ #Nil (#Function Lux (#Apply (#Product Lux (#Parameter 1)) (#Apply Text Either)))))) - (record$ (#Cons [(tag$ [..prelude_module "doc"]) + (record$ (#Cons [(tag$ ["library/lux" "doc"]) (text$ ("lux text concat" ("lux text concat" "Computations that can have access to the state of the compiler." __paragraph) "These computations may fail, or modify the state of the compiler."))] - (#Cons [(tag$ [..prelude_module "type-args"]) + (#Cons [(tag$ ["library/lux" "type-args"]) (tuple$ (#Cons (text$ "a") #Nil))] #Nil))) #1) @@ -718,7 +718,7 @@ ## (-> (List Code) (Meta (List Code)))) ("lux def" Macro' ("lux type check type" - (#Named [..prelude_module "Macro'"] + (#Named ["library/lux" "Macro'"] (#Function Code_List (#Apply Code_List Meta)))) (record$ #Nil) #1) @@ -727,9 +727,9 @@ ## (primitive "#Macro")) ("lux def" Macro ("lux type check type" - (#Named [..prelude_module "Macro"] + (#Named ["library/lux" "Macro"] (#Primitive "#Macro" #Nil))) - (record$ (#Cons [(tag$ [..prelude_module "doc"]) + (record$ (#Cons [(tag$ ["library/lux" "doc"]) (text$ "Functions that run at compile-time and allow you to transform and extend the language in powerful ways.")] #Nil)) #1) @@ -786,7 +786,7 @@ body _ - (_ann (#Form (#Cons (_ann (#Identifier [..prelude_module "function''"])) + (_ann (#Form (#Cons (_ann (#Identifier ["library/lux" "function''"])) (#Cons (_ann (#Tuple args')) (#Cons body #Nil)))))} args') @@ -800,7 +800,7 @@ body _ - (_ann (#Form (#Cons (_ann (#Identifier [..prelude_module "function''"])) + (_ann (#Form (#Cons (_ann (#Identifier ["library/lux" "function''"])) (#Cons (_ann (#Tuple args')) (#Cons body #Nil)))))} args') @@ -832,15 +832,15 @@ ("lux def" flag_meta ("lux type check" (#Function Text Code) ([_ tag] - (tuple$ (#Cons [(meta_code [..prelude_module "Tag"] (tuple$ (#Cons (text$ ..prelude_module) (#Cons (text$ tag) #Nil)))) - (#Cons [(meta_code [..prelude_module "Bit"] (bit$ #1)) + (tuple$ (#Cons [(meta_code ["library/lux" "Tag"] (tuple$ (#Cons (text$ "library/lux") (#Cons (text$ tag) #Nil)))) + (#Cons [(meta_code ["library/lux" "Bit"] (bit$ #1)) #Nil])])))) (record$ #Nil) #0) ("lux def" doc_meta ("lux type check" (#Function Text (#Product Code Code)) - (function'' [doc] [(tag$ [..prelude_module "doc"]) (text$ doc)])) + (function'' [doc] [(tag$ ["library/lux" "doc"]) (text$ doc)])) (record$ #Nil) #0) @@ -861,7 +861,7 @@ ("lux def" as_function ("lux type check" (#Function Code (#Function (#Apply Code List) (#Function Code Code))) (function'' [self inputs output] - (form$ (#Cons (identifier$ [..prelude_module "function''"]) + (form$ (#Cons (identifier$ ["library/lux" "function''"]) (#Cons self (#Cons (tuple$ inputs) (#Cons output #Nil))))))) @@ -884,7 +884,7 @@ (#Cons [[_ (#Form (#Cons [name args]))] (#Cons [meta (#Cons [type (#Cons [body #Nil])])])])]) (return (#Cons [(as_def name (as_checked type (as_function name args body)) - (form$ (#Cons (identifier$ [..prelude_module "record$"]) + (form$ (#Cons (identifier$ ["library/lux" "record$"]) (#Cons meta #Nil))) #1) @@ -892,7 +892,7 @@ (#Cons [[_ (#Tag ["" "export"])] (#Cons [name (#Cons [meta (#Cons [type (#Cons [body #Nil])])])])]) (return (#Cons [(as_def name (as_checked type body) - (form$ (#Cons (identifier$ [..prelude_module "record$"]) + (form$ (#Cons (identifier$ ["library/lux" "record$"]) (#Cons meta #Nil))) #1) @@ -901,7 +901,7 @@ (#Cons [[_ (#Form (#Cons [name args]))] (#Cons [meta (#Cons [type (#Cons [body #Nil])])])]) (return (#Cons [(as_def name (as_checked type (as_function name args body)) - (form$ (#Cons (identifier$ [..prelude_module "record$"]) + (form$ (#Cons (identifier$ ["library/lux" "record$"]) (#Cons meta #Nil))) #0) @@ -909,7 +909,7 @@ (#Cons [name (#Cons [meta (#Cons [type (#Cons [body #Nil])])])]) (return (#Cons [(as_def name (as_checked type body) - (form$ (#Cons (identifier$ [..prelude_module "record$"]) + (form$ (#Cons (identifier$ ["library/lux" "record$"]) (#Cons meta #Nil))) #0) @@ -926,23 +926,23 @@ (function'' [tokens] ({(#Cons [_ (#Form (#Cons name args))] (#Cons body #Nil)) (return (#Cons (as_def name (as_macro (as_function name args body)) - (form$ (#Cons (identifier$ [..prelude_module "record$"]) - (#Cons (tag$ [..prelude_module "Nil"]) + (form$ (#Cons (identifier$ ["library/lux" "record$"]) + (#Cons (tag$ ["library/lux" "Nil"]) #Nil))) #0) #Nil)) (#Cons [_ (#Tag ["" "export"])] (#Cons [_ (#Form (#Cons name args))] (#Cons body #Nil))) (return (#Cons (as_def name (as_macro (as_function name args body)) - (form$ (#Cons (identifier$ [..prelude_module "record$"]) - (#Cons (tag$ [..prelude_module "Nil"]) + (form$ (#Cons (identifier$ ["library/lux" "record$"]) + (#Cons (tag$ ["library/lux" "Nil"]) #Nil))) #1) #Nil)) (#Cons [_ (#Tag ["" "export"])] (#Cons [_ (#Form (#Cons name args))] (#Cons meta_data (#Cons body #Nil)))) (return (#Cons (as_def name (as_macro (as_function name args body)) - (form$ (#Cons (identifier$ [..prelude_module "record$"]) + (form$ (#Cons (identifier$ ["library/lux" "record$"]) (#Cons meta_data #Nil))) #1) @@ -955,7 +955,7 @@ #0) (macro:' #export (comment tokens) - (#Cons [(tag$ [..prelude_module "doc"]) + (#Cons [(tag$ ["library/lux" "doc"]) (text$ ("lux text concat" ("lux text concat" "## Throws away any code given to it." __paragraph) ("lux text concat" @@ -969,8 +969,8 @@ (return tokens) (#Cons x (#Cons y xs)) - (return (#Cons (form$ (#Cons (identifier$ [..prelude_module "$'"]) - (#Cons (form$ (#Cons (tag$ [..prelude_module "Apply"]) + (return (#Cons (form$ (#Cons (identifier$ ["library/lux" "$'"]) + (#Cons (form$ (#Cons (tag$ ["library/lux" "Apply"]) (#Cons y (#Cons x #Nil)))) xs))) #Nil)) @@ -1079,7 +1079,7 @@ pairs)) [_ (#Form (#Cons [_ (#Tag "library/lux" "Parameter")] (#Cons [_ (#Nat idx)] #Nil)))] - (form$ (#Cons (tag$ [..prelude_module "Parameter"]) (#Cons (nat$ ("lux i64 +" 2 idx)) #Nil))) + (form$ (#Cons (tag$ ["library/lux" "Parameter"]) (#Cons (nat$ ("lux i64 +" 2 idx)) #Nil))) [_ (#Form members)] (form$ (list\map update_parameters members)) @@ -1108,7 +1108,7 @@ (def:'' (make_parameter idx) #Nil (#Function Nat Code) - (form$ (#Cons (tag$ [..prelude_module "Parameter"]) (#Cons (nat$ idx) #Nil)))) + (form$ (#Cons (tag$ ["library/lux" "Parameter"]) (#Cons (nat$ idx) #Nil)))) (def:'' (list\fold f init xs) #Nil @@ -1133,7 +1133,7 @@ (list\fold (function'' [_ acc] ("lux i64 +" 1 acc)) 0 list)) (macro:' #export (All tokens) - (#Cons [(tag$ [..prelude_module "doc"]) + (#Cons [(tag$ ["library/lux" "doc"]) (text$ ("lux text concat" ("lux text concat" "## Universal quantification." __paragraph) ("lux text concat" @@ -1153,8 +1153,8 @@ (function'' [names] (let'' body' (list\fold ("lux type check" (#Function Text (#Function Code Code)) (function'' [name' body'] - (form$ (#Cons (tag$ [..prelude_module "UnivQ"]) - (#Cons (tag$ [..prelude_module "Nil"]) + (form$ (#Cons (tag$ ["library/lux" "UnivQ"]) + (#Cons (tag$ ["library/lux" "Nil"]) (#Cons (replace_syntax (#Cons [name' (make_parameter 1)] #Nil) (update_parameters body')) #Nil)))))) body @@ -1177,7 +1177,7 @@ tokens))) (macro:' #export (Ex tokens) - (#Cons [(tag$ [..prelude_module "doc"]) + (#Cons [(tag$ ["library/lux" "doc"]) (text$ ("lux text concat" ("lux text concat" "## Existential quantification." __paragraph) ("lux text concat" @@ -1197,8 +1197,8 @@ (function'' [names] (let'' body' (list\fold ("lux type check" (#Function Text (#Function Code Code)) (function'' [name' body'] - (form$ (#Cons (tag$ [..prelude_module "ExQ"]) - (#Cons (tag$ [..prelude_module "Nil"]) + (form$ (#Cons (tag$ ["library/lux" "ExQ"]) + (#Cons (tag$ ["library/lux" "Nil"]) (#Cons (replace_syntax (#Cons [name' (make_parameter 1)] #Nil) (update_parameters body')) #Nil)))))) body @@ -1229,7 +1229,7 @@ list)) (macro:' #export (-> tokens) - (#Cons [(tag$ [..prelude_module "doc"]) + (#Cons [(tag$ ["library/lux" "doc"]) (text$ ("lux text concat" ("lux text concat" "## Function types:" __paragraph) ("lux text concat" @@ -1238,7 +1238,7 @@ #Nil) ({(#Cons output inputs) (return (#Cons (list\fold ("lux type check" (#Function Code (#Function Code Code)) - (function'' [i o] (form$ (#Cons (tag$ [..prelude_module "Function"]) (#Cons i (#Cons o #Nil)))))) + (function'' [i o] (form$ (#Cons (tag$ ["library/lux" "Function"]) (#Cons i (#Cons o #Nil)))))) output inputs) #Nil)) @@ -1248,21 +1248,21 @@ (list\reverse tokens))) (macro:' #export (list xs) - (#Cons [(tag$ [..prelude_module "doc"]) + (#Cons [(tag$ ["library/lux" "doc"]) (text$ ("lux text concat" ("lux text concat" "## List-construction macro." __paragraph) "(list +1 +2 +3)"))] #Nil) (return (#Cons (list\fold (function'' [head tail] - (form$ (#Cons (tag$ [..prelude_module "Cons"]) + (form$ (#Cons (tag$ ["library/lux" "Cons"]) (#Cons (tuple$ (#Cons [head (#Cons [tail #Nil])])) #Nil)))) - (tag$ [..prelude_module "Nil"]) + (tag$ ["library/lux" "Nil"]) (list\reverse xs)) #Nil))) (macro:' #export (list& xs) - (#Cons [(tag$ [..prelude_module "doc"]) + (#Cons [(tag$ ["library/lux" "doc"]) (text$ ("lux text concat" ("lux text concat" "## List-construction macro, with the last element being a tail-list." __paragraph) ("lux text concat" @@ -1271,7 +1271,7 @@ #Nil) ({(#Cons last init) (return (list (list\fold (function'' [head tail] - (form$ (list (tag$ [..prelude_module "Cons"]) + (form$ (list (tag$ ["library/lux" "Cons"]) (tuple$ (list head tail))))) last init))) @@ -1281,7 +1281,7 @@ (list\reverse xs))) (macro:' #export (& tokens) - (#Cons [(tag$ [..prelude_module "doc"]) + (#Cons [(tag$ ["library/lux" "doc"]) (text$ ("lux text concat" ("lux text concat" "## Tuple types:" __paragraph) ("lux text concat" @@ -1291,16 +1291,16 @@ "(&)"))))] #Nil) ({#Nil - (return (list (identifier$ [..prelude_module "Any"]))) + (return (list (identifier$ ["library/lux" "Any"]))) (#Cons last prevs) - (return (list (list\fold (function'' [left right] (form$ (list (tag$ [..prelude_module "Product"]) left right))) + (return (list (list\fold (function'' [left right] (form$ (list (tag$ ["library/lux" "Product"]) left right))) last prevs)))} (list\reverse tokens))) (macro:' #export (| tokens) - (#Cons [(tag$ [..prelude_module "doc"]) + (#Cons [(tag$ ["library/lux" "doc"]) (text$ ("lux text concat" ("lux text concat" "## Variant types:" __paragraph) ("lux text concat" @@ -1310,10 +1310,10 @@ "(|)"))))] #Nil) ({#Nil - (return (list (identifier$ [..prelude_module "Nothing"]))) + (return (list (identifier$ ["library/lux" "Nothing"]))) (#Cons last prevs) - (return (list (list\fold (function'' [left right] (form$ (list (tag$ [..prelude_module "Sum"]) left right))) + (return (list (list\fold (function'' [left right] (form$ (list (tag$ ["library/lux" "Sum"]) left right))) last prevs)))} (list\reverse tokens))) @@ -1352,11 +1352,11 @@ name (form$ (list (text$ "lux type check") type - (form$ (list (identifier$ [..prelude_module "function'"]) + (form$ (list (identifier$ ["library/lux" "function'"]) name (tuple$ args) body)))) - (form$ (#Cons (identifier$ [..prelude_module "record$"]) + (form$ (#Cons (identifier$ ["library/lux" "record$"]) (#Cons meta #Nil))) (bit$ #1))))) @@ -1367,7 +1367,7 @@ (form$ (list (text$ "lux type check") type body)) - (form$ (#Cons (identifier$ [..prelude_module "record$"]) + (form$ (#Cons (identifier$ ["library/lux" "record$"]) (#Cons meta #Nil))) (bit$ #1))))) @@ -1378,11 +1378,11 @@ name (form$ (list (text$ "lux type check") type - (form$ (list (identifier$ [..prelude_module "function'"]) + (form$ (list (identifier$ ["library/lux" "function'"]) name (tuple$ args) body)))) - (form$ (#Cons (identifier$ [..prelude_module "record$"]) + (form$ (#Cons (identifier$ ["library/lux" "record$"]) (#Cons meta #Nil))) (bit$ #0))))) @@ -1391,7 +1391,7 @@ (return (list (form$ (list (text$ "lux def") name (form$ (list (text$ "lux type check") type body)) - (form$ (#Cons (identifier$ [..prelude_module "record$"]) + (form$ (#Cons (identifier$ ["library/lux" "record$"]) (#Cons meta #Nil))) (bit$ #0))))) @@ -1448,10 +1448,10 @@ #Nil (-> ($' List Code) Code) ({#Nil - (_ann (#Tag [..prelude_module "Nil"])) + (_ann (#Tag ["library/lux" "Nil"])) (#Cons [token tokens']) - (_ann (#Form (list (_ann (#Tag [..prelude_module "Cons"])) token (untemplate_list tokens'))))} + (_ann (#Form (list (_ann (#Tag ["library/lux" "Cons"])) token (untemplate_list tokens'))))} tokens)) (def:''' (list\compose xs ys) @@ -1482,7 +1482,7 @@ (func left right))) (macro:' #export (_$ tokens) - (#Cons [(tag$ [..prelude_module "doc"]) + (#Cons [(tag$ ["library/lux" "doc"]) (text$ ("lux text concat" ("lux text concat" "## Left-association for the application of binary functions over variadic arguments." ..\n) ("lux text concat" @@ -1504,7 +1504,7 @@ tokens)) (macro:' #export ($_ tokens) - (#Cons [(tag$ [..prelude_module "doc"]) + (#Cons [(tag$ ["library/lux" "doc"]) (text$ ("lux text concat" ("lux text concat" "## Right-association for the application of binary functions over variadic arguments." ..\n) ("lux text concat" @@ -1531,7 +1531,7 @@ ## (: (All [a b] (-> (-> a (m b)) (m a) (m b))) ## bind)) ("lux def type tagged" Monad - (#Named [..prelude_module "Monad"] + (#Named ["library/lux" "Monad"] (All [m] (& (All [a] (-> a ($' m a))) (All [a b] (-> (-> a ($' m b)) @@ -1579,7 +1579,7 @@ (function' [binding body'] (let' [[var value] binding] ({[_ (#Tag "" "let")] - (form$ (list (identifier$ [..prelude_module "let'"]) value body')) + (form$ (list (identifier$ ["library/lux" "let'"]) value body')) _ (form$ (list g!bind @@ -1588,7 +1588,7 @@ var)))) body (list\reverse (as_pairs bindings)))] - (return (list (form$ (list (record$ (list [(record$ (list [(tag$ [..prelude_module "wrap"]) g!wrap] [(tag$ [..prelude_module "bind"]) g!bind])) + (return (list (form$ (list (record$ (list [(record$ (list [(tag$ ["library/lux" "wrap"]) g!wrap] [(tag$ ["library/lux" "bind"]) g!bind])) body'])) monad))))) @@ -1637,7 +1637,7 @@ xs))) (macro:' #export (if tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "Picks which expression to evaluate based on a bit test value." __paragraph "(if #1 ''Oh, yeah!'' ''Aw hell naw!'')" __paragraph @@ -1745,9 +1745,9 @@ (def:''' (as_code_list expression) #Nil (-> Code Code) - (let' [type (form$ (list (tag$ [..prelude_module "Apply"]) - (identifier$ [..prelude_module "Code"]) - (identifier$ [..prelude_module "List"])))] + (let' [type (form$ (list (tag$ ["library/lux" "Apply"]) + (identifier$ ["library/lux" "Code"]) + (identifier$ ["library/lux" "List"])))] (form$ (list (text$ "lux type check") type expression)))) (def:''' (splice replace? untemplate elems) @@ -1755,7 +1755,7 @@ (-> Bit (-> Code ($' Meta Code)) ($' List Code) ($' Meta Code)) ({#1 ({#Nil - (return (tag$ [..prelude_module "Nil"])) + (return (tag$ ["library/lux" "Nil"])) (#Cons lastI inits) (do meta_monad @@ -1765,21 +1765,21 @@ _ (do meta_monad [lastO (untemplate lastI)] - (wrap (as_code_list (form$ (list (tag$ [..prelude_module "Cons"]) - (tuple$ (list lastO (tag$ [..prelude_module "Nil"]))))))))} + (wrap (as_code_list (form$ (list (tag$ ["library/lux" "Cons"]) + (tuple$ (list lastO (tag$ ["library/lux" "Nil"]))))))))} lastI)] (monad\fold meta_monad (function' [leftI rightO] ({[_ (#Form (#Cons [[_ (#Identifier ["" "~+"])] (#Cons [spliced #Nil])]))] (let' [g!in-module (form$ (list (text$ "lux in-module") - (text$ ..prelude_module) - (identifier$ [..prelude_module "list\compose"])))] + (text$ "library/lux") + (identifier$ ["library/lux" "list\compose"])))] (wrap (form$ (list g!in-module (as_code_list spliced) rightO)))) _ (do meta_monad [leftO (untemplate leftI)] - (wrap (form$ (list (tag$ [..prelude_module "Cons"]) (tuple$ (list leftO rightO))))))} + (wrap (form$ (list (tag$ ["library/lux" "Cons"]) (tuple$ (list leftO rightO))))))} leftI)) lastO inits))} @@ -1793,31 +1793,31 @@ (def:''' (untemplate_text value) #Nil (-> Text Code) - (wrap_meta (form$ (list (tag$ [..prelude_module "Text"]) (text$ value))))) + (wrap_meta (form$ (list (tag$ ["library/lux" "Text"]) (text$ value))))) (def:''' (untemplate replace? subst token) #Nil (-> Bit Text Code ($' Meta Code)) ({[_ [_ (#Bit value)]] - (return (wrap_meta (form$ (list (tag$ [..prelude_module "Bit"]) (bit$ value))))) + (return (wrap_meta (form$ (list (tag$ ["library/lux" "Bit"]) (bit$ value))))) [_ [_ (#Nat value)]] - (return (wrap_meta (form$ (list (tag$ [..prelude_module "Nat"]) (nat$ value))))) + (return (wrap_meta (form$ (list (tag$ ["library/lux" "Nat"]) (nat$ value))))) [_ [_ (#Int value)]] - (return (wrap_meta (form$ (list (tag$ [..prelude_module "Int"]) (int$ value))))) + (return (wrap_meta (form$ (list (tag$ ["library/lux" "Int"]) (int$ value))))) [_ [_ (#Rev value)]] - (return (wrap_meta (form$ (list (tag$ [..prelude_module "Rev"]) (rev$ value))))) + (return (wrap_meta (form$ (list (tag$ ["library/lux" "Rev"]) (rev$ value))))) [_ [_ (#Frac value)]] - (return (wrap_meta (form$ (list (tag$ [..prelude_module "Frac"]) (frac$ value))))) + (return (wrap_meta (form$ (list (tag$ ["library/lux" "Frac"]) (frac$ value))))) [_ [_ (#Text value)]] (return (untemplate_text value)) [#0 [_ (#Tag [module name])]] - (return (wrap_meta (form$ (list (tag$ [..prelude_module "Tag"]) (tuple$ (list (text$ module) (text$ name))))))) + (return (wrap_meta (form$ (list (tag$ ["library/lux" "Tag"]) (tuple$ (list (text$ module) (text$ name))))))) [#1 [_ (#Tag [module name])]] (let' [module' ({"" @@ -1826,7 +1826,7 @@ _ module} module)] - (return (wrap_meta (form$ (list (tag$ [..prelude_module "Tag"]) (tuple$ (list (text$ module') (text$ name)))))))) + (return (wrap_meta (form$ (list (tag$ ["library/lux" "Tag"]) (tuple$ (list (text$ module') (text$ name)))))))) [#1 [_ (#Identifier [module name])]] (do meta_monad @@ -1839,20 +1839,20 @@ (wrap [module name])} module) #let [[module name] real_name]] - (return (wrap_meta (form$ (list (tag$ [..prelude_module "Identifier"]) (tuple$ (list (text$ module) (text$ name)))))))) + (return (wrap_meta (form$ (list (tag$ ["library/lux" "Identifier"]) (tuple$ (list (text$ module) (text$ name)))))))) [#0 [_ (#Identifier [module name])]] - (return (wrap_meta (form$ (list (tag$ [..prelude_module "Identifier"]) (tuple$ (list (text$ module) (text$ name))))))) + (return (wrap_meta (form$ (list (tag$ ["library/lux" "Identifier"]) (tuple$ (list (text$ module) (text$ name))))))) [#1 [_ (#Form (#Cons [[_ (#Identifier ["" "~"])] (#Cons [unquoted #Nil])]))]] (return (form$ (list (text$ "lux type check") - (identifier$ [..prelude_module "Code"]) + (identifier$ ["library/lux" "Code"]) unquoted))) [#1 [_ (#Form (#Cons [[_ (#Identifier ["" "~!"])] (#Cons [dependent #Nil])]))]] (do meta_monad [independent (untemplate replace? subst dependent)] - (wrap (wrap_meta (form$ (list (tag$ [..prelude_module "Form"]) + (wrap (wrap_meta (form$ (list (tag$ ["library/lux" "Form"]) (untemplate_list (list (untemplate_text "lux in-module") (untemplate_text subst) independent))))))) @@ -1863,13 +1863,13 @@ [_ [meta (#Form elems)]] (do meta_monad [output (splice replace? (untemplate replace? subst) elems) - #let [[_ output'] (wrap_meta (form$ (list (tag$ [..prelude_module "Form"]) output)))]] + #let [[_ output'] (wrap_meta (form$ (list (tag$ ["library/lux" "Form"]) output)))]] (wrap [meta output'])) [_ [meta (#Tuple elems)]] (do meta_monad [output (splice replace? (untemplate replace? subst) elems) - #let [[_ output'] (wrap_meta (form$ (list (tag$ [..prelude_module "Tuple"]) output)))]] + #let [[_ output'] (wrap_meta (form$ (list (tag$ ["library/lux" "Tuple"]) output)))]] (wrap [meta output'])) [_ [_ (#Record fields)]] @@ -1883,20 +1883,20 @@ =v (untemplate replace? subst v)] (wrap (tuple$ (list =k =v))))))) fields)] - (wrap (wrap_meta (form$ (list (tag$ [..prelude_module "Record"]) (untemplate_list =fields))))))} + (wrap (wrap_meta (form$ (list (tag$ ["library/lux" "Record"]) (untemplate_list =fields))))))} [replace? token])) (macro:' #export (primitive tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Macro to treat define new primitive types." __paragraph "(primitive ''java.lang.Object'')" __paragraph "(primitive ''java.util.List'' [(primitive ''java.lang.Long'')])"))]) ({(#Cons [_ (#Text class_name)] #Nil) - (return (list (form$ (list (tag$ [..prelude_module "Primitive"]) (text$ class_name) (tag$ [..prelude_module "Nil"]))))) + (return (list (form$ (list (tag$ ["library/lux" "Primitive"]) (text$ class_name) (tag$ ["library/lux" "Nil"]))))) (#Cons [_ (#Text class_name)] (#Cons [_ (#Tuple params)] #Nil)) - (return (list (form$ (list (tag$ [..prelude_module "Primitive"]) (text$ class_name) (untemplate_list params))))) + (return (list (form$ (list (tag$ ["library/lux" "Primitive"]) (text$ class_name) (untemplate_list params))))) _ (fail "Wrong syntax for primitive")} @@ -1918,7 +1918,7 @@ state)) (macro:' #export (` tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Hygienic quasi-quotation as a macro. Unquote (~) and unquote-splice (~+) must also be used as forms." __paragraph "## All unprefixed macros will receive their parent module's prefix if imported; otherwise will receive the prefix of the module on which the quasi-quote is being used." __paragraph @@ -1928,7 +1928,7 @@ [current_module current_module_name =template (untemplate #1 current_module template)] (wrap (list (form$ (list (text$ "lux type check") - (identifier$ [..prelude_module "Code"]) + (identifier$ ["library/lux" "Code"]) =template))))) _ @@ -1936,35 +1936,35 @@ tokens)) (macro:' #export (`' tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Unhygienic quasi-quotation as a macro. Unquote (~) and unquote-splice (~+) must also be used as forms." __paragraph "(`' (def: (~ name) (function (_ (~+ args)) (~ body))))"))]) ({(#Cons template #Nil) (do meta_monad [=template (untemplate #1 "" template)] - (wrap (list (form$ (list (text$ "lux type check") (identifier$ [..prelude_module "Code"]) =template))))) + (wrap (list (form$ (list (text$ "lux type check") (identifier$ ["library/lux" "Code"]) =template))))) _ (fail "Wrong syntax for `")} tokens)) (macro:' #export (' tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Quotation as a macro." __paragraph "(' YOLO)"))]) ({(#Cons template #Nil) (do meta_monad [=template (untemplate #0 "" template)] - (wrap (list (form$ (list (text$ "lux type check") (identifier$ [..prelude_module "Code"]) =template))))) + (wrap (list (form$ (list (text$ "lux type check") (identifier$ ["library/lux" "Code"]) =template))))) _ (fail "Wrong syntax for '")} tokens)) (macro:' #export (|> tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Piping macro." __paragraph "(|> elems (list\map int\encode) (interpose '' '') (fold text\compose ''''))" __paragraph @@ -1990,7 +1990,7 @@ tokens)) (macro:' #export (<| tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Reverse piping macro." __paragraph "(<| (fold text\compose '''') (interpose '' '') (list\map int\encode) elems)" __paragraph @@ -2016,7 +2016,7 @@ (list\reverse tokens))) (def:''' (compose f g) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ "Function composition.")]) (All [a b c] (-> (-> b c) (-> a b) (-> a c))) @@ -2138,7 +2138,7 @@ (list\fold list\compose #Nil (list\reverse xs))) (macro:' #export (template tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## By specifying a pattern (with holes), and the input data to fill those holes, repeats the pattern as many times as necessary." __paragraph "(template [<name> <diff>]" ..\n @@ -2269,7 +2269,7 @@ (|> n (n/% div) ("lux i64 =" 0))) (def:''' #export (not x) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Bit negation." __paragraph "(not #1) => #0" __paragraph @@ -2477,7 +2477,7 @@ type)) (macro:' #export (type tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Takes a type expression and returns it's representation as data-structure." __paragraph "(type (All [a] (Maybe (List a))))"))]) @@ -2496,7 +2496,7 @@ tokens)) (macro:' #export (: tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## The type-annotation macro." __paragraph "(: (List Int) (list +1 +2 +3))"))]) @@ -2508,7 +2508,7 @@ tokens)) (macro:' #export (:as tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## The type-coercion macro." __paragraph "(:as Dinosaur (list +1 +2 +3))"))]) @@ -2606,7 +2606,7 @@ state)) (macro:' #export (Rec tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Parameter-less recursive types." __paragraph "## A name has to be given to the whole type, to use it within its body." __paragraph @@ -2621,7 +2621,7 @@ tokens)) (macro:' #export (exec tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Sequential execution of expressions (great for side-effects)." __paragraph "(exec" ..\n @@ -2783,7 +2783,7 @@ branches)) (macro:' #export (case tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## The pattern-matching macro." ..\n "## Allows the usage of macros within the patterns to provide custom syntax." ..\n @@ -2802,7 +2802,7 @@ tokens)) (macro:' #export (^ tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Macro-expanding patterns." ..\n "## It's a special macro meant to be used with 'case'." ..\n @@ -2827,7 +2827,7 @@ (fail "Wrong syntax for ^ macro"))) (macro:' #export (^or tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Or-patterns." ..\n "## It's a special macro meant to be used with 'case'." ..\n @@ -2865,7 +2865,7 @@ #0)) (macro:' #export (let tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Creates local bindings." ..\n "## Can (optionally) use pattern-matching macros when binding." ..\n @@ -2891,7 +2891,7 @@ (fail "Wrong syntax for let"))) (macro:' #export (function tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Syntax for creating functions." ..\n "## Allows for giving the function itself a name, for the sake of recursion." ..\n @@ -2926,25 +2926,25 @@ (-> Code Code) (case code [_ (#Bit value)] - (meta_code [..prelude_module "Bit"] (bit$ value)) + (meta_code ["library/lux" "Bit"] (bit$ value)) [_ (#Nat value)] - (meta_code [..prelude_module "Nat"] (nat$ value)) + (meta_code ["library/lux" "Nat"] (nat$ value)) [_ (#Int value)] - (meta_code [..prelude_module "Int"] (int$ value)) + (meta_code ["library/lux" "Int"] (int$ value)) [_ (#Rev value)] - (meta_code [..prelude_module "Rev"] (rev$ value)) + (meta_code ["library/lux" "Rev"] (rev$ value)) [_ (#Frac value)] - (meta_code [..prelude_module "Frac"] (frac$ value)) + (meta_code ["library/lux" "Frac"] (frac$ value)) [_ (#Text value)] - (meta_code [..prelude_module "Text"] (text$ value)) + (meta_code ["library/lux" "Text"] (text$ value)) [_ (#Tag [prefix name])] - (meta_code [..prelude_module "Tag"] (` [(~ (text$ prefix)) (~ (text$ name))])) + (meta_code ["library/lux" "Tag"] (` [(~ (text$ prefix)) (~ (text$ name))])) (^or [_ (#Form _)] [_ (#Identifier _)]) code @@ -2953,7 +2953,7 @@ (|> xs (list\map process_def_meta_value) untemplate_list - (meta_code [..prelude_module "Tuple"])) + (meta_code ["library/lux" "Tuple"])) [_ (#Record kvs)] (|> kvs @@ -2962,7 +2962,7 @@ (` [(~ (process_def_meta_value k)) (~ (process_def_meta_value v))])))) untemplate_list - (meta_code [..prelude_module "Record"])) + (meta_code ["library/lux" "Record"])) )) (def:' (process_def_meta kvs) @@ -2980,7 +2980,7 @@ meta _ - (` (#.Cons [[(~ location_code) (#.Tag [..prelude_module "func-args"])] + (` (#.Cons [[(~ location_code) (#.Tag ["library/lux" "func-args"])] [(~ location_code) (#.Tuple (.list (~+ (list\map (function (_ arg) (` [(~ location_code) (#.Text (~ (text$ (code\encode arg))))])) args))))]] @@ -3007,7 +3007,7 @@ (list))) (macro:' #export (def: tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Defines global constants/functions." ..\n "(def: (rejoin_pair pair)" ..\n @@ -3090,7 +3090,7 @@ base)) (macro:' #export (macro: tokens) - (list [(tag$ [..prelude_module "doc"]) + (list [(tag$ ["library/lux" "doc"]) (text$ ($_ "lux text concat" "## Macro-definition macro." ..\n "(macro: #export (name_of tokens)" ..\n @@ -5431,7 +5431,7 @@ {#.doc (doc "Given an identifier or a tag, gives back a 2 tuple with the prefix and name parts, both as Text." (name_of #.doc) "=>" - [..prelude_module "doc"])} + ["library/lux" "doc"])} (case tokens (^template [<tag>] [(^ (list [_ (<tag> [prefix name])])) @@ -5439,7 +5439,7 @@ ([#Identifier] [#Tag]) _ - (fail (..wrong_syntax_error [..prelude_module "name_of"])))) + (fail (..wrong_syntax_error ["library/lux" "name_of"])))) (def: (get_scope_type_vars state) (Meta (List Nat)) |