diff options
Diffstat (limited to '')
9 files changed, 452 insertions, 416 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index 323615249..2add33e57 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -1057,7 +1057,7 @@ (fail "Wrong syntax for $'")} tokens)) -(def:'' (list;map f xs) +(def:'' (list@map f xs) #Nil (#UnivQ #Nil (#UnivQ #Nil @@ -1068,7 +1068,7 @@ #Nil (#Cons x xs') - (#Cons (f x) (list;map f xs'))} + (#Cons (f x) (list@map f xs'))} xs)) (def:'' RepEnv @@ -1086,7 +1086,7 @@ #Nil} [xs ys])) -(def:'' (text;= x y) +(def:'' (text@= x y) #Nil (#Function Text (#Function Text Bit)) ("lux text =" x y)) @@ -1103,7 +1103,7 @@ #0 (get-rep key env')} - (text;= k key))} + (text@= k key))} env)) (def:'' (replace-syntax reps syntax) @@ -1118,13 +1118,13 @@ (get-rep name reps)) [meta (#Form parts)] - [meta (#Form (list;map (replace-syntax reps) parts))] + [meta (#Form (list@map (replace-syntax reps) parts))] [meta (#Tuple members)] - [meta (#Tuple (list;map (replace-syntax reps) members))] + [meta (#Tuple (list@map (replace-syntax reps) members))] [meta (#Record slots)] - [meta (#Record (list;map ("lux check" (#Function (#Product Code Code) (#Product Code Code)) + [meta (#Record (list@map ("lux check" (#Function (#Product Code Code) (#Product Code Code)) (function'' [slot] ({[k v] [(replace-syntax reps k) (replace-syntax reps v)]} @@ -1163,10 +1163,10 @@ #Nil (#Function Code Code) ({[_ (#Tuple members)] - (tuple$ (list;map update-parameters members)) + (tuple$ (list@map update-parameters members)) [_ (#Record pairs)] - (record$ (list;map ("lux check" (#Function (#Product Code Code) (#Product Code Code)) + (record$ (list@map ("lux check" (#Function (#Product Code Code) (#Product Code Code)) (function'' [pair] (let'' [name val] pair [name (update-parameters val)]))) @@ -1176,7 +1176,7 @@ (form$ (#Cons (tag$ ["lux" "Parameter"]) (#Cons (nat$ (n/+ 2 idx)) #Nil))) [_ (#Form members)] - (form$ (list;map update-parameters members)) + (form$ (list@map update-parameters members)) _ code} @@ -1204,7 +1204,7 @@ (#Function Nat Code) (form$ (#Cons (tag$ ["lux" "Parameter"]) (#Cons (nat$ idx) #Nil)))) -(def:'' (list;fold f init xs) +(def:'' (list@fold f init xs) #Nil ## (All [a b] (-> (-> b a a) a (List b) a)) (#UnivQ #Nil (#UnivQ #Nil (#Function (#Function (#Parameter 1) @@ -1217,14 +1217,14 @@ init (#Cons x xs') - (list;fold f (f x init) xs')} + (list@fold f (f x init) xs')} xs)) -(def:'' (list;size list) +(def:'' (list@size list) #Nil (#UnivQ #Nil (#Function ($' List (#Parameter 1)) Nat)) - (list;fold (function'' [_ acc] (n/+ 1 acc)) 0 list)) + (list@fold (function'' [_ acc] (n/+ 1 acc)) 0 list)) (macro:' #export (All tokens) (#Cons [(tag$ ["lux" "doc"]) @@ -1245,7 +1245,7 @@ ({(#Cons [_ (#Tuple args)] (#Cons body #Nil)) (parse-quantified-args args (function'' [names] - (let'' body' (list;fold ("lux check" (#Function Text (#Function Code Code)) + (let'' body' (list@fold ("lux check" (#Function Text (#Function Code Code)) (function'' [name' body'] (form$ (#Cons (tag$ ["lux" "UnivQ"]) (#Cons (tag$ ["lux" "Nil"]) @@ -1260,10 +1260,10 @@ body' [#0 _] - (replace-syntax (#Cons [self-name (make-parameter (n/* 2 (n/- 1 (list;size names))))] + (replace-syntax (#Cons [self-name (make-parameter (n/* 2 (n/- 1 (list@size names))))] #Nil) body')} - [(text;= "" self-name) names]) + [(text@= "" self-name) names]) #Nil))))) _ @@ -1289,7 +1289,7 @@ ({(#Cons [_ (#Tuple args)] (#Cons body #Nil)) (parse-quantified-args args (function'' [names] - (let'' body' (list;fold ("lux check" (#Function Text (#Function Code Code)) + (let'' body' (list@fold ("lux check" (#Function Text (#Function Code Code)) (function'' [name' body'] (form$ (#Cons (tag$ ["lux" "ExQ"]) (#Cons (tag$ ["lux" "Nil"]) @@ -1304,20 +1304,20 @@ body' [#0 _] - (replace-syntax (#Cons [self-name (make-parameter (n/* 2 (n/- 1 (list;size names))))] + (replace-syntax (#Cons [self-name (make-parameter (n/* 2 (n/- 1 (list@size names))))] #Nil) body')} - [(text;= "" self-name) names]) + [(text@= "" self-name) names]) #Nil))))) _ (fail "Wrong syntax for Ex")} tokens))) -(def:'' (list;reverse list) +(def:'' (list@reverse list) #Nil (All [a] (#Function ($' List a) ($' List a))) - (list;fold ("lux check" (All [a] (#Function a (#Function ($' List a) ($' List a)))) + (list@fold ("lux check" (All [a] (#Function a (#Function ($' List a) ($' List a)))) (function'' [head tail] (#Cons head tail))) #Nil list)) @@ -1331,7 +1331,7 @@ "## This is the type of a function that takes 2 Ints and returns an Int.")))] #Nil) ({(#Cons output inputs) - (return (#Cons (list;fold ("lux check" (#Function Code (#Function Code Code)) + (return (#Cons (list@fold ("lux check" (#Function Code (#Function Code Code)) (function'' [i o] (form$ (#Cons (tag$ ["lux" "Function"]) (#Cons i (#Cons o #Nil)))))) output inputs) @@ -1339,7 +1339,7 @@ _ (fail "Wrong syntax for ->")} - (list;reverse tokens))) + (list@reverse tokens))) (macro:' #export (list xs) (#Cons [(tag$ ["lux" "doc"]) @@ -1347,12 +1347,12 @@ ("lux text concat" "## List-construction macro." __paragraph) "(list +1 +2 +3)"))] #Nil) - (return (#Cons (list;fold (function'' [head tail] + (return (#Cons (list@fold (function'' [head tail] (form$ (#Cons (tag$ ["lux" "Cons"]) (#Cons (tuple$ (#Cons [head (#Cons [tail #Nil])])) #Nil)))) (tag$ ["lux" "Nil"]) - (list;reverse xs)) + (list@reverse xs)) #Nil))) (macro:' #export (list& xs) @@ -1364,7 +1364,7 @@ "(list& +1 +2 +3 (list +4 +5 +6))")))] #Nil) ({(#Cons last init) - (return (list (list;fold (function'' [head tail] + (return (list (list@fold (function'' [head tail] (form$ (list (tag$ ["lux" "Cons"]) (tuple$ (list head tail))))) last @@ -1372,7 +1372,7 @@ _ (fail "Wrong syntax for list&")} - (list;reverse xs))) + (list@reverse xs))) (macro:' #export (& tokens) (#Cons [(tag$ ["lux" "doc"]) @@ -1388,10 +1388,10 @@ (return (list (identifier$ ["lux" "Any"]))) (#Cons last prevs) - (return (list (list;fold (function'' [left right] (form$ (list (tag$ ["lux" "Product"]) left right))) + (return (list (list@fold (function'' [left right] (form$ (list (tag$ ["lux" "Product"]) left right))) last prevs)))} - (list;reverse tokens))) + (list@reverse tokens))) (macro:' #export (| tokens) (#Cons [(tag$ ["lux" "doc"]) @@ -1407,10 +1407,10 @@ (return (list (identifier$ ["lux" "Nothing"]))) (#Cons last prevs) - (return (list (list;fold (function'' [left right] (form$ (list (tag$ ["lux" "Sum"]) left right))) + (return (list (list@fold (function'' [left right] (form$ (list (tag$ ["lux" "Sum"]) left right))) last prevs)))} - (list;reverse tokens))) + (list@reverse tokens))) (macro:' (function' tokens) (let'' [name tokens'] ({(#Cons [[_ (#Identifier ["" name])] tokens']) @@ -1426,12 +1426,12 @@ (#Cons [harg targs]) (return (list (form$ (list (tuple$ (list (identifier$ ["" name]) harg)) - (list;fold (function'' [arg body'] + (list@fold (function'' [arg body'] (form$ (list (tuple$ (list (identifier$ ["" ""]) arg)) body'))) body - (list;reverse targs))))))} + (list@reverse targs))))))} args) _ @@ -1502,14 +1502,14 @@ (macro:' (let' tokens) ({(#Cons [[_ (#Tuple bindings)] (#Cons [body #Nil])]) - (return (list (list;fold ("lux check" (-> (& Code Code) Code + (return (list (list@fold ("lux check" (-> (& Code Code) Code Code) (function' [binding body] ({[label value] (form$ (list (record$ (list [label body])) value))} binding))) body - (list;reverse (as-pairs bindings))))) + (list@reverse (as-pairs bindings))))) _ (fail "Wrong syntax for let'")} @@ -1544,11 +1544,11 @@ (_ann (#Form (list (_ann (#Tag ["lux" "Cons"])) token (untemplate-list tokens'))))} tokens)) -(def:''' (list;compose xs ys) +(def:''' (list@compose xs ys) #Nil (All [a] (-> ($' List a) ($' List a) ($' List a))) ({(#Cons x xs') - (#Cons x (list;compose xs' ys)) + (#Cons x (list@compose xs' ys)) #Nil ys} @@ -1568,7 +1568,7 @@ #Nil (-> Code Code Code Code) ({[_ (#Form parts)] - (form$ (list;compose parts (list a1 a2))) + (form$ (list@compose parts (list a1 a2))) _ (form$ (list op a1 a2))} @@ -1586,14 +1586,14 @@ (text$ ("lux text concat" ("lux text concat" "## Left-association for the application of binary functions over variadic arguments." ..new-line) ("lux text concat" - ("lux text concat" "(_$ text;compose ''Hello, '' name ''. How are you?'')" ..new-line) + ("lux text concat" "(_$ text@compose ''Hello, '' name ''. How are you?'')" ..new-line) ("lux text concat" ("lux text concat" "## =>" ..new-line) - "(text;compose (text;compose ''Hello, '' name) ''. How are you?'')"))))] + "(text@compose (text@compose ''Hello, '' name) ''. How are you?'')"))))] #Nil) ({(#Cons op tokens') ({(#Cons first nexts) - (return (list (list;fold (function/flip (_$_joiner op)) first nexts))) + (return (list (list@fold (function/flip (_$_joiner op)) first nexts))) _ (fail "Wrong syntax for _$")} @@ -1608,18 +1608,18 @@ (text$ ("lux text concat" ("lux text concat" "## Right-association for the application of binary functions over variadic arguments." ..new-line) ("lux text concat" - ("lux text concat" "($_ text;compose ''Hello, '' name ''. How are you?'')" ..new-line) + ("lux text concat" "($_ text@compose ''Hello, '' name ''. How are you?'')" ..new-line) ("lux text concat" ("lux text concat" "## =>" ..new-line) - "(text;compose ''Hello, '' (text;compose name ''. How are you?''))"))))] + "(text@compose ''Hello, '' (text@compose name ''. How are you?''))"))))] #Nil) ({(#Cons op tokens') ({(#Cons last prevs) - (return (list (list;fold (_$_joiner op) last prevs))) + (return (list (list@fold (_$_joiner op) last prevs))) _ (fail "Wrong syntax for $_")} - (list;reverse tokens')) + (list@reverse tokens')) _ (fail "Wrong syntax for $_")} @@ -1676,7 +1676,7 @@ ({(#Cons monad (#Cons [_ (#Tuple bindings)] (#Cons body #Nil))) (let' [g!wrap (identifier$ ["" "wrap"]) g!bind (identifier$ ["" " bind "]) - body' (list;fold ("lux check" (-> (& Code Code) Code Code) + body' (list@fold ("lux check" (-> (& Code Code) Code Code) (function' [binding body'] (let' [[var value] binding] ({[_ (#Tag "" "let")] @@ -1688,7 +1688,7 @@ value))} var)))) body - (list;reverse (as-pairs bindings)))] + (list@reverse (as-pairs bindings)))] (return (list (form$ (list (record$ (list [(record$ (list [(tag$ ["lux" "wrap"]) g!wrap] [(tag$ ["lux" "bind"]) g!bind])) body'])) monad))))) @@ -1697,7 +1697,7 @@ (fail "Wrong syntax for do")} tokens)) -(def:''' (monad;map m f xs) +(def:''' (monad@map m f xs) #Nil ## (All [m a b] ## (-> (Monad m) (-> a (m b)) (List a) (m (List b)))) @@ -1713,7 +1713,7 @@ (#Cons x xs') (do m [y (f x) - ys (monad;map m f xs')] + ys (monad@map m f xs')] (wrap (#Cons y ys)))} xs))) @@ -1757,7 +1757,7 @@ (All [a] (-> Text ($' List (& Text a)) ($' Maybe a))) ({(#Cons [[k' v] plist']) - (if (text;= k k') + (if (text@= k k') (#Some v) (get k plist')) @@ -1773,7 +1773,7 @@ (list [k v]) (#Cons [[k' v'] dict']) - (if (text;= k k') + (if (text@= k k') (#Cons [[k' v] dict']) (#Cons [[k' v'] (put k v dict')]))} dict)) @@ -1786,17 +1786,17 @@ (-> Text Any) ("lux io log" message)) -(def:''' (text;compose x y) +(def:''' (text@compose x y) #Nil (-> Text Text Text) ("lux text concat" x y)) -(def:''' (name;encode full-name) +(def:''' (name@encode full-name) #Nil (-> Name Text) (let' [[module name] full-name] ({"" name - _ ($_ text;compose module "." name)} + _ ($_ text@compose module "." name)} module))) (def:''' (get-meta tag def-meta) @@ -1811,8 +1811,8 @@ _ (get-meta tag (record$ def-meta'))} - [(text;= prefix prefix') - (text;= name name')]) + [(text@= prefix prefix') + (text@= name name')]) _ (get-meta tag (record$ def-meta'))} @@ -1844,11 +1844,11 @@ (get-meta ["lux" "alias"] def-meta)) #None - (#Left ($_ text;compose "Unknown definition: " (name;encode full-name)))} + (#Left ($_ text@compose "Unknown definition: " (name@encode full-name)))} (get name definitions)) #None - (#Left ($_ text;compose "Unknown module: " module " @ " (name;encode full-name)))} + (#Left ($_ text@compose "Unknown module: " module " @ " (name@encode full-name)))} (get module modules)))) (def:''' (splice replace? untemplate elems) @@ -1884,10 +1884,10 @@ leftI)) lastO inits))} - (list;reverse elems)) + (list@reverse elems)) #0 (do meta-monad - [=elems (monad;map meta-monad untemplate elems)] + [=elems (monad@map meta-monad untemplate elems)] (wrap (untemplate-list =elems)))} replace?)) @@ -1932,7 +1932,7 @@ [#1 [_ (#Identifier [module name])]] (do meta-monad [real-name ({"" - (if (text;= "" subst) + (if (text@= "" subst) (wrap [module name]) (resolve-global-identifier [subst name])) @@ -1973,7 +1973,7 @@ [_ [_ (#Record fields)]] (do meta-monad - [=fields (monad;map meta-monad + [=fields (monad@map meta-monad ("lux check" (-> (& Code Code) ($' Meta Code)) (function' [kv] (let' [[k v] kv] @@ -2066,17 +2066,17 @@ (list [(tag$ ["lux" "doc"]) (text$ ($_ "lux text concat" "## Piping macro." __paragraph - "(|> elems (list;map int;encode) (interpose '' '') (fold text;compose ''''))" __paragraph + "(|> elems (list@map int@encode) (interpose '' '') (fold text@compose ''''))" __paragraph "## =>" __paragraph - "(fold text;compose '''' (interpose '' '' (list;map int;encode elems)))"))]) + "(fold text@compose '''' (interpose '' '' (list@map int@encode elems)))"))]) ({(#Cons [init apps]) - (return (list (list;fold ("lux check" (-> Code Code Code) + (return (list (list@fold ("lux check" (-> Code Code Code) (function' [app acc] ({[_ (#Tuple parts)] - (tuple$ (list;compose parts (list acc))) + (tuple$ (list@compose parts (list acc))) [_ (#Form parts)] - (form$ (list;compose parts (list acc))) + (form$ (list@compose parts (list acc))) _ (` ((~ app) (~ acc)))} @@ -2092,17 +2092,17 @@ (list [(tag$ ["lux" "doc"]) (text$ ($_ "lux text concat" "## Reverse piping macro." __paragraph - "(<| (fold text;compose '''') (interpose '' '') (list;map int;encode) elems)" __paragraph + "(<| (fold text@compose '''') (interpose '' '') (list@map int@encode) elems)" __paragraph "## =>" __paragraph - "(fold text;compose '''' (interpose '' '' (list;map int;encode elems)))"))]) + "(fold text@compose '''' (interpose '' '' (list@map int@encode elems)))"))]) ({(#Cons [init apps]) - (return (list (list;fold ("lux check" (-> Code Code Code) + (return (list (list@fold ("lux check" (-> Code Code Code) (function' [app acc] ({[_ (#Tuple parts)] - (tuple$ (list;compose parts (list acc))) + (tuple$ (list@compose parts (list acc))) [_ (#Form parts)] - (form$ (list;compose parts (list acc))) + (form$ (list@compose parts (list acc))) _ (` ((~ app) (~ acc)))} @@ -2112,7 +2112,7 @@ _ (fail "Wrong syntax for <|")} - (list;reverse tokens))) + (list@reverse tokens))) (def:''' (compose f g) (list [(tag$ ["lux" "doc"]) @@ -2173,13 +2173,13 @@ (get-rep sname env)) [meta (#Tuple elems)] - [meta (#Tuple (list;map (apply-template env) elems))] + [meta (#Tuple (list@map (apply-template env) elems))] [meta (#Form elems)] - [meta (#Form (list;map (apply-template env) elems))] + [meta (#Form (list@map (apply-template env) elems))] [meta (#Record members)] - [meta (#Record (list;map ("lux check" (-> (& Code Code) (& Code Code)) + [meta (#Record (list@map ("lux check" (-> (& Code Code) (& Code Code)) (function' [kv] (let' [[slot value] kv] [(apply-template env slot) (apply-template env value)]))) @@ -2197,14 +2197,14 @@ #Nil (#Cons [x xs']) - (list;compose (f x) (join-map f xs'))} + (list@compose (f x) (join-map f xs'))} xs)) (def:''' (every? p xs) #Nil (All [a] (-> (-> a Bit) ($' List a) Bit)) - (list;fold (function' [_2 _1] (if _1 (p _2) #0)) #1 xs)) + (list@fold (function' [_2 _1] (if _1 (p _2) #0)) #1 xs)) (def:''' #export (n/= test subject) (list [(tag$ ["lux" "doc"]) @@ -2274,10 +2274,10 @@ ({(#Cons [[_ (#Tuple bindings)] (#Cons [[_ (#Tuple templates)] data])]) ({[(#Some bindings') (#Some data')] (let' [apply ("lux check" (-> RepEnv ($' List Code)) - (function' [env] (list;map (apply-template env) templates))) - num-bindings (list;size bindings')] + (function' [env] (list@map (apply-template env) templates))) + num-bindings (list@size bindings')] (if (every? (n/= num-bindings) - (list;map list;size data')) + (list@map list@size data')) (|> data' (join-map (compose apply (make-env bindings'))) return) @@ -2285,8 +2285,8 @@ _ (fail "Wrong syntax for do-template")} - [(monad;map maybe-monad get-short bindings) - (monad;map maybe-monad tuple->list data)]) + [(monad@map maybe-monad get-short bindings) + (monad@map maybe-monad tuple->list data)]) _ (fail "Wrong syntax for do-template")} @@ -2547,7 +2547,7 @@ [f/max Frac f/> "Frac(tion) minimum."] ) -(def:''' (bit;encode x) +(def:''' (bit@encode x) #Nil (-> Bit Text) (if x "#1" "#0")) @@ -2562,7 +2562,7 @@ _ ("lux io error" "undefined")} digit)) -(def:''' (nat;encode value) +(def:''' (nat@encode value) #Nil (-> Nat Text) ({0 @@ -2574,19 +2574,19 @@ (if (n/= 0 input) output (recur (n// 10 input) - (text;compose (|> input (n/% 10) digit-to-text) + (text@compose (|> input (n/% 10) digit-to-text) output)))))] (loop value ""))} value)) -(def:''' (int;abs value) +(def:''' (int@abs value) #Nil (-> Int Int) (if (i/< +0 value) (i/* -1 value) value)) -(def:''' (int;encode value) +(def:''' (int@encode value) #Nil (-> Int Text) (if (i/= +0 value) @@ -2597,14 +2597,14 @@ (("lux check" (-> Int Text Text) (function' recur [input output] (if (i/= +0 input) - (text;compose sign output) + (text@compose sign output) (recur (i// +10 input) - (text;compose (|> input (i/% +10) ("lux coerce" Nat) digit-to-text) + (text@compose (|> input (i/% +10) ("lux coerce" Nat) digit-to-text) output))))) - (|> value (i// +10) int;abs) - (|> value (i/% +10) int;abs ("lux coerce" Nat) digit-to-text))))) + (|> value (i// +10) int@abs) + (|> value (i/% +10) int@abs ("lux coerce" Nat) digit-to-text))))) -(def:''' (frac;encode x) +(def:''' (frac@encode x) #Nil (-> Frac Text) ("lux frac encode" x)) @@ -2638,7 +2638,7 @@ (#Some ("lux coerce" Macro def-value)) _ - (if (text;= module current-module) + (if (text@= module current-module) (#Some ("lux coerce" Macro def-value)) #None)} (get-meta ["lux" "export?"] def-meta)) @@ -2690,11 +2690,11 @@ #None #0} output)))) -(def:''' (list;join xs) +(def:''' (list@join xs) #Nil (All [a] (-> ($' List ($' List a)) ($' List a))) - (list;fold list;compose #Nil (list;reverse xs))) + (list@fold list@compose #Nil (list@reverse xs))) (def:''' (interpose sep xs) #Nil @@ -2738,8 +2738,8 @@ ({(#Some macro) (do meta-monad [expansion (macro args) - expansion' (monad;map meta-monad macro-expand expansion)] - (wrap (list;join expansion'))) + expansion' (monad@map meta-monad macro-expand expansion)] + (wrap (list@join expansion'))) #None (return (list token))} @@ -2759,28 +2759,28 @@ ({(#Some macro) (do meta-monad [expansion (macro args) - expansion' (monad;map meta-monad macro-expand-all expansion)] - (wrap (list;join expansion'))) + expansion' (monad@map meta-monad macro-expand-all expansion)] + (wrap (list@join expansion'))) #None (do meta-monad - [args' (monad;map meta-monad macro-expand-all args)] - (wrap (list (form$ (#Cons (identifier$ macro-name) (list;join args'))))))} + [args' (monad@map meta-monad macro-expand-all args)] + (wrap (list (form$ (#Cons (identifier$ macro-name) (list@join args'))))))} ?macro)) [_ (#Form members)] (do meta-monad - [members' (monad;map meta-monad macro-expand-all members)] - (wrap (list (form$ (list;join members'))))) + [members' (monad@map meta-monad macro-expand-all members)] + (wrap (list (form$ (list@join members'))))) [_ (#Tuple members)] (do meta-monad - [members' (monad;map meta-monad macro-expand-all members)] - (wrap (list (tuple$ (list;join members'))))) + [members' (monad@map meta-monad macro-expand-all members)] + (wrap (list (tuple$ (list@join members'))))) [_ (#Record pairs)] (do meta-monad - [pairs' (monad;map meta-monad + [pairs' (monad@map meta-monad (function' [kv] (let' [[key val] kv] (do meta-monad @@ -2802,10 +2802,10 @@ #Nil (-> Code Code) ({[_ (#Form (#Cons [_ (#Tag tag)] parts))] - (form$ (#Cons [(tag$ tag) (list;map walk-type parts)])) + (form$ (#Cons [(tag$ tag) (list@map walk-type parts)])) [_ (#Tuple members)] - (` (& (~+ (list;map walk-type members)))) + (` (& (~+ (list@map walk-type members)))) [_ (#Form (#Cons [_ (#Text "lux in-module")] (#Cons [_ (#Text module)] @@ -2817,10 +2817,10 @@ expression [_ (#Form (#Cons type-fn args))] - (list;fold ("lux check" (-> Code Code Code) + (list@fold ("lux check" (-> Code Code Code) (function' [arg type-fn] (` (#.Apply (~ arg) (~ type-fn))))) (walk-type type-fn) - (list;map walk-type args)) + (list@map walk-type args)) _ type} @@ -2890,7 +2890,7 @@ (-> ($' List Code) ($' Meta (& Code ($' Maybe ($' List Text))))) ({(#Cons [_ (#Record pairs)] #Nil) (do meta-monad - [members (monad;map meta-monad + [members (monad@map meta-monad (: (-> [Code Code] (Meta [Text Code])) (function' [pair] ({[[_ (#Tag "" member-name)] member-type] @@ -2900,8 +2900,8 @@ (fail "Wrong syntax for variant case.")} pair))) pairs)] - (return [(` (& (~+ (list;map second members)))) - (#Some (list;map first members))])) + (return [(` (& (~+ (list@map second members)))) + (#Some (list@map first members))])) (#Cons type #Nil) ({[_ (#Tag "" member-name)] @@ -2916,7 +2916,7 @@ (#Cons case cases) (do meta-monad - [members (monad;map meta-monad + [members (monad@map meta-monad (: (-> Code (Meta [Text Code])) (function' [case] ({[_ (#Tag "" member-name)] @@ -2932,8 +2932,8 @@ (fail "Wrong syntax for variant case.")} case))) (list& case cases))] - (return [(` (| (~+ (list;map second members)))) - (#Some (list;map first members))])) + (return [(` (| (~+ (list@map second members)))) + (#Some (list@map first members))])) _ (fail "Improper type-definition syntax")} @@ -2952,7 +2952,7 @@ #seed (n/+ 1 seed) #expected expected #cursor cursor #extensions extensions #scope-type-vars scope-type-vars} - (identifier$ ["" ($_ text;compose "__gensym__" prefix (nat;encode seed))]))} + (identifier$ ["" ($_ text@compose "__gensym__" prefix (nat@encode seed))]))} state)) (macro:' #export (Rec tokens) @@ -2981,7 +2981,7 @@ "''YOLO'')"))]) ({(#Cons value actions) (let' [dummy (identifier$ ["" ""])] - (return (list (list;fold ("lux check" (-> Code Code Code) + (return (list (list@fold ("lux check" (-> Code Code Code) (function' [pre post] (` ({(~ dummy) (~ post)} (~ pre))))) value @@ -2989,7 +2989,7 @@ _ (fail "Wrong syntax for exec")} - (list;reverse tokens))) + (list@reverse tokens))) (macro:' (def:' tokens) (let' [[export? tokens'] ({(#Cons [_ (#Tag ["" "export"])] tokens') @@ -3045,54 +3045,54 @@ (def:' (code-to-text code) (-> Code Text) ({[_ (#Bit value)] - (bit;encode value) + (bit@encode value) [_ (#Nat value)] - (nat;encode value) + (nat@encode value) [_ (#Int value)] - (int;encode value) + (int@encode value) [_ (#Rev value)] ("lux io error" "Undefined behavior.") [_ (#Frac value)] - (frac;encode value) + (frac@encode value) [_ (#Text value)] - ($_ text;compose ..double-quote value ..double-quote) + ($_ text@compose ..double-quote value ..double-quote) [_ (#Identifier [prefix name])] - (if (text;= "" prefix) + (if (text@= "" prefix) name - ($_ text;compose prefix "." name)) + ($_ text@compose prefix "." name)) [_ (#Tag [prefix name])] - (if (text;= "" prefix) - ($_ text;compose "#" name) - ($_ text;compose "#" prefix "." name)) + (if (text@= "" prefix) + ($_ text@compose "#" name) + ($_ text@compose "#" prefix "." name)) [_ (#Form xs)] - ($_ text;compose "(" (|> xs - (list;map code-to-text) + ($_ text@compose "(" (|> xs + (list@map code-to-text) (interpose " ") - list;reverse - (list;fold text;compose "")) ")") + list@reverse + (list@fold text@compose "")) ")") [_ (#Tuple xs)] - ($_ text;compose "[" (|> xs - (list;map code-to-text) + ($_ text@compose "[" (|> xs + (list@map code-to-text) (interpose " ") - list;reverse - (list;fold text;compose "")) "]") + list@reverse + (list@fold text@compose "")) "]") [_ (#Record kvs)] - ($_ text;compose "{" (|> kvs - (list;map (function' [kv] ({[k v] ($_ text;compose (code-to-text k) " " (code-to-text v))} + ($_ text@compose "{" (|> kvs + (list@map (function' [kv] ({[k v] ($_ text@compose (code-to-text k) " " (code-to-text v))} kv))) (interpose " ") - list;reverse - (list;fold text;compose "")) "}")} + list@reverse + (list@fold text@compose "")) "}")} code)) (def:' (expander branches) @@ -3121,11 +3121,11 @@ (do meta-monad [] (wrap (list))) _ - (fail ($_ text;compose "'lux.case' expects an even number of tokens: " (|> branches - (list;map code-to-text) + (fail ($_ text@compose "'lux.case' expects an even number of tokens: " (|> branches + (list@map code-to-text) (interpose " ") - list;reverse - (list;fold text;compose ""))))} + list@reverse + (list@fold text@compose ""))))} branches)) (macro:' #export (case tokens) @@ -3195,9 +3195,9 @@ _ (let' [pairs (|> patterns - (list;map (function' [pattern] (list pattern body))) - (list;join))] - (return (list;compose pairs branches)))) + (list@map (function' [pattern] (list pattern body))) + (list@join))] + (return (list@compose pairs branches)))) _ (fail "Wrong syntax for ^or"))) @@ -3220,9 +3220,9 @@ " (op x y))"))]) (case tokens (^ (list [_ (#Tuple bindings)] body)) - (if (multiple? 2 (list;size bindings)) - (|> bindings as-pairs list;reverse - (list;fold (: (-> [Code Code] Code Code) + (if (multiple? 2 (list@size bindings)) + (|> bindings as-pairs list@reverse + (list@fold (: (-> [Code Code] Code Code) (function' [lr body'] (let' [[l r] lr] (if (identifier? l) @@ -3256,14 +3256,14 @@ (#Some g!name head tail body) (let [g!blank (identifier$ ["" ""]) g!name (identifier$ ["" g!name]) - body+ (list;fold (: (-> Code Code Code) + body+ (list@fold (: (-> Code Code Code) (function' [arg body'] (if (identifier? arg) (` ([(~ g!blank) (~ arg)] (~ body'))) (` ([(~ g!blank) (~ g!blank)] (case (~ g!blank) (~ arg) (~ body'))))))) body - (list;reverse tail))] + (list@reverse tail))] (return (list (if (identifier? head) (` ([(~ g!name) (~ head)] (~ body+))) (` ([(~ g!name) (~ g!blank)] (case (~ g!blank) (~ head) (~ body+)))))))) @@ -3300,13 +3300,13 @@ [_ (#Tuple xs)] (|> xs - (list;map process-def-meta-value) + (list@map process-def-meta-value) untemplate-list (meta-code ["lux" "Tuple"])) [_ (#Record kvs)] (|> kvs - (list;map (: (-> [Code Code] Code) + (list@map (: (-> [Code Code] Code) (function (_ [k v]) (` [(~ (process-def-meta-value k)) (~ (process-def-meta-value v))])))) @@ -3316,7 +3316,7 @@ (def:' (process-def-meta kvs) (-> (List [Code Code]) Code) - (untemplate-list (list;map (: (-> [Code Code] Code) + (untemplate-list (list@map (: (-> [Code Code] Code) (function (_ [k v]) (` [(~ (process-def-meta-value k)) (~ (process-def-meta-value v))]))) @@ -3330,14 +3330,14 @@ _ (` (#.Cons [[(~ cursor-code) (#.Tag ["lux" "func-args"])] - [(~ cursor-code) (#.Tuple (.list (~+ (list;map (function (_ arg) + [(~ cursor-code) (#.Tuple (.list (~+ (list@map (function (_ arg) (` [(~ cursor-code) (#.Text (~ (text$ (code-to-text arg))))])) args))))]] (~ meta))))) (def:' (with-type-args args) (-> (List Code) Code) - (` {#.type-args [(~+ (list;map (function (_ arg) (text$ (code-to-text arg))) + (` {#.type-args [(~+ (list@map (function (_ arg) (text$ (code-to-text arg))) args))]})) (def:' (export^ tokens) @@ -3435,7 +3435,7 @@ (-> Code Code Code) (case addition [cursor (#Record pairs)] - (list;fold meta-code-add base pairs) + (list@fold meta-code-add base pairs) _ base)) @@ -3523,9 +3523,9 @@ (#Some name args meta sigs) (do meta-monad [name+ (normalize name) - sigs' (monad;map meta-monad macro-expand sigs) + sigs' (monad@map meta-monad macro-expand sigs) members (: (Meta (List [Text Code])) - (monad;map meta-monad + (monad@map meta-monad (: (-> Code (Meta [Text Code])) (function (_ token) (case token @@ -3534,10 +3534,10 @@ _ (fail "Signatures require typed members!")))) - (list;join sigs'))) + (list@join sigs'))) #let [[_module _name] name+ def-name (identifier$ name) - sig-type (record$ (list;map (: (-> [Text Code] [Code Code]) + sig-type (record$ (list@map (: (-> [Text Code] [Code Code]) (function (_ [m-name m-type]) [(tag$ ["" m-name]) m-type])) members)) @@ -3572,9 +3572,9 @@ (do-template [<name> <form> <message> <doc-msg>] [(macro: #export (<name> tokens) {#.doc <doc-msg>} - (case (list;reverse tokens) + (case (list@reverse tokens) (^ (list& last init)) - (return (list (list;fold (: (-> Code Code Code) + (return (list (list@fold (: (-> Code Code Code) (function (_ pre post) (` <form>))) last init))) @@ -3650,7 +3650,7 @@ _ (#Left "Wrong syntax for default"))) -(def: (text;split-all-with splitter input) +(def: (text@split-all-with splitter input) (-> Text Text (List Text)) (case (index-of splitter input) #None @@ -3658,7 +3658,7 @@ (#Some idx) (list& ("lux text clip" input 0 idx) - (text;split-all-with splitter + (text@split-all-with splitter ("lux text clip" input (n/+ 1 idx) ("lux text size" input)))))) (def: (nth idx xs) @@ -3803,7 +3803,7 @@ (#Right state module) _ - (#Left ($_ text;compose "Unknown module: " name)))))) + (#Left ($_ text@compose "Unknown module: " name)))))) (def: get-current-module (Meta Module) @@ -3821,7 +3821,7 @@ (return output) _ - (fail (text;compose "Unknown tag: " (name;encode [module name])))))) + (fail (text@compose "Unknown tag: " (name@encode [module name])))))) (def: (resolve-type-tags type) (-> Type (Meta (Maybe [(List Name) (List Type)]))) @@ -3871,7 +3871,7 @@ (macro: #export (structure tokens) {#.doc "Not meant to be used directly. Prefer 'structure:'."} (do meta-monad - [tokens' (monad;map meta-monad macro-expand tokens) + [tokens' (monad@map meta-monad macro-expand tokens) struct-type get-expected-type tags+type (resolve-type-tags struct-type) tags (: (Meta (List Name)) @@ -3882,9 +3882,9 @@ _ (fail "No tags available for type."))) #let [tag-mappings (: (List [Text Code]) - (list;map (function (_ tag) [(second tag) (tag$ tag)]) + (list@map (function (_ tag) [(second tag) (tag$ tag)]) tags))] - members (monad;map meta-monad + members (monad@map meta-monad (: (-> Code (Meta [Code Code])) (function (_ token) (case token @@ -3894,22 +3894,22 @@ (wrap [tag value]) _ - (fail (text;compose "Unknown structure member: " tag-name))) + (fail (text@compose "Unknown structure member: " tag-name))) _ (fail "Invalid structure member.")))) - (list;join tokens'))] + (list@join tokens'))] (wrap (list (record$ members))))) -(def: (text;join-with separator parts) +(def: (text@join-with separator parts) (-> Text (List Text) Text) (case parts #Nil "" (#Cons head tail) - (list;fold (function (_ right left) - ($_ text;compose left separator right)) + (list@fold (function (_ right left) + ($_ text@compose left separator right)) head tail))) @@ -4007,7 +4007,7 @@ type-meta (: Code (case tags?? (#Some tags) - (` {#.tags [(~+ (list;map text$ tags))] + (` {#.tags [(~+ (list@map text$ tags))] #.type? #1}) _ @@ -4078,7 +4078,7 @@ (def: (extract-defs defs) (-> (List Code) (Meta (List Text))) - (monad;map meta-monad + (monad@map meta-monad (: (-> Code (Meta Text)) (function (_ def) (case def @@ -4123,7 +4123,7 @@ (^ (list& [_ (#Form (list& [_ (#Text prefix)] structs))] parts')) (do meta-monad - [structs' (monad;map meta-monad + [structs' (monad@map meta-monad (function (_ struct) (case struct [_ (#Identifier ["" struct-name])] @@ -4184,23 +4184,23 @@ (count-relatives (n/+ 1 relatives) input) relatives))) -(def: (list;take amount list) +(def: (list@take amount list) (All [a] (-> Nat (List a) (List a))) (case [amount list] (^or [0 _] [_ #Nil]) #Nil [_ (#Cons head tail)] - (#Cons head (list;take (n/- 1 amount) tail)))) + (#Cons head (list@take (n/- 1 amount) tail)))) -(def: (list;drop amount list) +(def: (list@drop amount list) (All [a] (-> Nat (List a) (List a))) (case [amount list] (^or [0 _] [_ #Nil]) list [_ (#Cons _ tail)] - (list;drop (n/- 1 amount) tail))) + (list@drop (n/- 1 amount) tail))) (def: (clean-module nested? relative-root module) (-> Bit Text Text (Meta Text)) @@ -4211,19 +4211,19 @@ module)) relatives - (let [parts (text;split-all-with ..module-separator relative-root) + (let [parts (text@split-all-with ..module-separator relative-root) jumps (n/- 1 relatives)] - (if (n/< (list;size parts) jumps) + (if (n/< (list@size parts) jumps) (let [prefix (|> parts - list;reverse - (list;drop jumps) - list;reverse + list@reverse + (list@drop jumps) + list@reverse (interpose ..module-separator) - (text;join-with "")) + (text@join-with "")) clean ("lux text clip" module relatives ("lux text size" module)) output (case ("lux text size" clean) 0 prefix - _ ($_ text;compose prefix ..module-separator clean))] + _ ($_ text@compose prefix ..module-separator clean))] (return output)) (fail ($_ "lux text concat" "Cannot climb the module hierarchy..." ..new-line @@ -4233,22 +4233,22 @@ (def: (alter-domain alteration domain import) (-> Nat Text Importation Importation) (let [[import-name import-alias import-refer] import - original (text;split-all-with ..module-separator import-name) - truncated (list;drop (.nat alteration) original) + original (text@split-all-with ..module-separator import-name) + truncated (list@drop (.nat alteration) original) parallel (case domain "" truncated _ (list& domain truncated))] - {#import-name (text;join-with ..module-separator parallel) + {#import-name (text@join-with ..module-separator parallel) #import-alias import-alias #import-refer import-refer})) (def: (parse-imports nested? relative-root context-alias imports) (-> Bit Text Text (List Code) (Meta (List Importation))) (do meta-monad - [imports' (monad;map meta-monad + [imports' (monad@map meta-monad (: (-> Code (Meta (List Importation))) (function (_ token) (case token @@ -4301,27 +4301,27 @@ parallel-tree]))]) (do meta-monad [parallel-imports (parse-imports nested? relative-root context-alias (list parallel-tree))] - (wrap (list;map (alter-domain alteration domain) parallel-imports))) + (wrap (list@map (alter-domain alteration domain) parallel-imports))) (^ [_ (#Record (list [[_ (#Nat alteration)] parallel-tree]))]) (do meta-monad [parallel-imports (parse-imports nested? relative-root context-alias (list parallel-tree))] - (wrap (list;map (alter-domain alteration "") parallel-imports))) + (wrap (list@map (alter-domain alteration "") parallel-imports))) (^ [_ (#Record (list [[_ (#Tag ["" domain])] parallel-tree]))]) (do meta-monad [parallel-imports (parse-imports nested? relative-root context-alias (list parallel-tree)) - #let [alteration (list;size (text;split-all-with ..module-separator domain))]] - (wrap (list;map (alter-domain alteration domain) parallel-imports))) + #let [alteration (list@size (text@split-all-with ..module-separator domain))]] + (wrap (list@map (alter-domain alteration domain) parallel-imports))) _ (do meta-monad [current-module current-module-name] - (fail (text;compose "Wrong syntax for import @ " current-module)))))) + (fail (text@compose "Wrong syntax for import @ " current-module)))))) imports)] - (wrap (list;join imports')))) + (wrap (list@join imports')))) (def: (exported-definitions module state) (-> Text (Meta (List Text))) @@ -4333,7 +4333,7 @@ modules)] (case (get module modules) (#Some =module) - (let [to-alias (list;map (: (-> [Text Definition] + (let [to-alias (list@map (: (-> [Text Definition] (List Text)) (function (_ [name [def-type def-meta def-value]]) (case (get-meta ["lux" "export?"] def-meta) @@ -4344,10 +4344,10 @@ (list)))) (let [{#module-hash _ #module-aliases _ #definitions definitions #imports _ #tags tags #types types #module-annotations _ #module-state _} =module] definitions))] - (#Right state (list;join to-alias))) + (#Right state (list@join to-alias))) #None - (#Left ($_ text;compose "Unknown module: " module))) + (#Left ($_ text@compose "Unknown module: " module))) )) (def: (filter p xs) @@ -4363,9 +4363,9 @@ (def: (is-member? cases name) (-> (List Text) Text Bit) - (let [output (list;fold (function (_ case prev) + (let [output (list@fold (function (_ case prev) (or prev - (text;= case name))) + (text@= case name))) #0 cases)] output)) @@ -4393,7 +4393,7 @@ #captured {#counter _ #mappings closure}} (try-both (find (: (-> [Text [Type Any]] (Maybe Type)) (function (_ [bname [type _]]) - (if (text;= name bname) + (if (text@= name bname) (#Some type) #None)))) (: (List [Text [Type Any]]) locals) @@ -4428,12 +4428,12 @@ #scope-type-vars scope-type-vars} state] (case (get v-prefix modules) #None - (#Left (text;compose "Unknown definition: " (name;encode name))) + (#Left (text@compose "Unknown definition: " (name@encode name))) (#Some {#definitions definitions #module-hash _ #module-aliases _ #imports _ #tags tags #types types #module-annotations _ #module-state _}) (case (get v-name definitions) #None - (#Left (text;compose "Unknown definition: " (name;encode name))) + (#Left (text@compose "Unknown definition: " (name@encode name))) (#Some [def-type def-meta def-value]) (#Right [state [def-type def-value]]))))) @@ -4455,7 +4455,7 @@ [#let [[module name] full-name] current-module current-module-name] (function (_ compiler) - (let [temp (if (text;= "" module) + (let [temp (if (text@= "" module) (case (find-in-env name compiler) (#Some struct-type) (#Right [compiler struct-type]) @@ -4466,13 +4466,13 @@ (#Right [compiler struct-type]) _ - (#Left ($_ text;compose "Unknown var: " (name;encode full-name))))) + (#Left ($_ text@compose "Unknown var: " (name@encode full-name))))) (case (find-def-type full-name compiler) (#Some struct-type) (#Right [compiler struct-type]) _ - (#Left ($_ text;compose "Unknown var: " (name;encode full-name)))))] + (#Left ($_ text@compose "Unknown var: " (name@encode full-name)))))] (case temp (#Right [compiler (#Var type-id)]) (let [{#info _ #source _ #current-module _ #modules _ @@ -4505,7 +4505,7 @@ _ (list))) -(def: (type;encode type) +(def: (type@encode type) (-> Type Text) (case type (#Primitive name params) @@ -4514,41 +4514,41 @@ name _ - ($_ text;compose "(" name " " (|> params (list;map type;encode) (interpose " ") list;reverse (list;fold text;compose "")) ")")) + ($_ text@compose "(" name " " (|> params (list@map type@encode) (interpose " ") list@reverse (list@fold text@compose "")) ")")) (#Sum _) - ($_ text;compose "(| " (|> (flatten-variant type) (list;map type;encode) (interpose " ") list;reverse (list;fold text;compose "")) ")") + ($_ text@compose "(| " (|> (flatten-variant type) (list@map type@encode) (interpose " ") list@reverse (list@fold text@compose "")) ")") (#Product _) - ($_ text;compose "[" (|> (flatten-tuple type) (list;map type;encode) (interpose " ") list;reverse (list;fold text;compose "")) "]") + ($_ text@compose "[" (|> (flatten-tuple type) (list@map type@encode) (interpose " ") list@reverse (list@fold text@compose "")) "]") (#Function _) - ($_ text;compose "(-> " (|> (flatten-lambda type) (list;map type;encode) (interpose " ") list;reverse (list;fold text;compose "")) ")") + ($_ text@compose "(-> " (|> (flatten-lambda type) (list@map type@encode) (interpose " ") list@reverse (list@fold text@compose "")) ")") (#Parameter id) - (nat;encode id) + (nat@encode id) (#Var id) - ($_ text;compose "⌈v:" (nat;encode id) "⌋") + ($_ text@compose "⌈v:" (nat@encode id) "⌋") (#Ex id) - ($_ text;compose "⟨e:" (nat;encode id) "⟩") + ($_ text@compose "⟨e:" (nat@encode id) "⟩") (#UnivQ env body) - ($_ text;compose "(All " (type;encode body) ")") + ($_ text@compose "(All " (type@encode body) ")") (#ExQ env body) - ($_ text;compose "(Ex " (type;encode body) ")") + ($_ text@compose "(Ex " (type@encode body) ")") (#Apply _) (let [[func args] (flatten-app type)] - ($_ text;compose - "(" (type;encode func) " " - (|> args (list;map type;encode) (interpose " ") list;reverse (list;fold text;compose "")) + ($_ text@compose + "(" (type@encode func) " " + (|> args (list@map type@encode) (interpose " ") list@reverse (list@fold text@compose "")) ")")) (#Named [prefix name] _) - ($_ text;compose prefix "." name) + ($_ text@compose prefix "." name) )) (macro: #export (^open tokens) @@ -4570,13 +4570,13 @@ struct-evidence (resolve-type-tags init-type)] (case struct-evidence #None - (fail (text;compose "Can only 'open' structs: " (type;encode init-type))) + (fail (text@compose "Can only 'open' structs: " (type@encode init-type))) (#Some tags&members) (do meta-monad [full-body ((: (-> Name [(List Name) (List Type)] Code (Meta Code)) (function (recur source [tags members] target) - (let [pattern (record$ (list;map (function (_ [t-module t-name]) + (let [pattern (record$ (list@map (function (_ [t-module t-name]) [(tag$ [t-module t-name]) (identifier$ ["" (de-alias "" t-name alias)])]) tags))] @@ -4610,11 +4610,11 @@ __paragraph " ## else-branch" ..new-line " ''???'')"))} - (if (n/= 0 (n/% 2 (list;size tokens))) + (if (n/= 0 (n/% 2 (list@size tokens))) (fail "cond requires an uneven number of arguments.") - (case (list;reverse tokens) + (case (list@reverse tokens) (^ (list& else branches')) - (return (list (list;fold (: (-> [Code Code] Code Code) + (return (list (list@fold (: (-> [Code Code] Code Code) (function (_ branch else) (let [[right left] branch] (` (if (~ left) (~ right) (~ else)))))) @@ -4658,7 +4658,7 @@ g!output (gensym "")] (case (resolve-struct-type type) (#Some members) - (let [pattern (record$ (list;map (: (-> [Name [Nat Type]] [Code Code]) + (let [pattern (record$ (list@map (: (-> [Name [Nat Type]] [Code Code]) (function (_ [[r-prefix r-name] [r-idx r-type]]) [(tag$ [r-prefix r-name]) (if (n/= idx r-idx) @@ -4671,7 +4671,7 @@ (fail "get@ can only use records."))) (^ (list [_ (#Tuple slots)] record)) - (return (list (list;fold (: (-> Code Code Code) + (return (list (list@fold (: (-> Code Code Code) (function (_ slot inner) (` (..get@ (~ slot) (~ inner))))) record @@ -4694,11 +4694,11 @@ (case output (#Some [tags members]) (do meta-monad - [decls' (monad;map meta-monad + [decls' (monad@map meta-monad (: (-> [Name Type] (Meta (List Code))) (function (_ [sname stype]) (open-field alias sname source+ stype))) (zip2 tags members))] - (return (list;join decls'))) + (return (list@join decls'))) _ (return (list (` ("lux def" (~ (identifier$ ["" (de-alias "" name alias)])) @@ -4728,14 +4728,14 @@ (case output (#Some [tags members]) (do meta-monad - [decls' (monad;map meta-monad (: (-> [Name Type] (Meta (List Code))) + [decls' (monad@map meta-monad (: (-> [Name Type] (Meta (List Code))) (function (_ [sname stype]) (open-field alias sname source stype))) (zip2 tags members))] - (return (list;join decls'))) + (return (list@join decls'))) _ - (fail (text;compose "Can only 'open:' structs: " (type;encode struct-type))))) + (fail (text@compose "Can only 'open:' structs: " (type@encode struct-type))))) _ (do meta-monad @@ -4750,9 +4750,9 @@ (macro: #export (|>> tokens) {#.doc (text$ ($_ "lux text concat" "## Similar to the piping macro, but rather than taking an initial object to work on, creates a function for taking it." ..new-line - "(|>> (list;map int;encode) (interpose '' '') (fold text;compose ''''))" ..new-line + "(|>> (list@map int@encode) (interpose '' '') (fold text@compose ''''))" ..new-line "## =>" ..new-line - "(function (_ <arg>) (fold text;compose '''' (interpose '' '' (list;map int;encode <arg>))))"))} + "(function (_ <arg>) (fold text@compose '''' (interpose '' '' (list@map int@encode <arg>))))"))} (do meta-monad [g!_ (gensym "_") g!arg (gensym "arg")] @@ -4761,9 +4761,9 @@ (macro: #export (<<| tokens) {#.doc (text$ ($_ "lux text concat" "## Similar to the piping macro, but rather than taking an initial object to work on, creates a function for taking it." ..new-line - "(<<| (fold text;compose '''') (interpose '' '') (list;map int;encode))" ..new-line + "(<<| (fold text@compose '''') (interpose '' '') (list@map int@encode))" ..new-line "## =>" ..new-line - "(function (_ <arg>) (fold text;compose '''' (interpose '' '' (list;map int;encode <arg>))))"))} + "(function (_ <arg>) (fold text@compose '''' (interpose '' '' (list@map int@encode <arg>))))"))} (do meta-monad [g!_ (gensym "_") g!arg (gensym "arg")] @@ -4786,12 +4786,12 @@ current-module current-module-name #let [test-referrals (: (-> Text (List Text) (List Text) (Meta (List Any))) (function (_ module-name all-defs referred-defs) - (monad;map meta-monad + (monad@map meta-monad (: (-> Text (Meta Any)) (function (_ _def) (if (is-member? all-defs _def) (return []) - (fail ($_ text;compose _def " is not defined in module " module-name " @ " current-module))))) + (fail ($_ text@compose _def " is not defined in module " module-name " @ " current-module))))) referred-defs)))]] (case options #Nil @@ -4799,11 +4799,11 @@ #refer-open openings}) _ - (fail ($_ text;compose "Wrong syntax for refer @ " current-module + (fail ($_ text@compose "Wrong syntax for refer @ " current-module ..new-line (|> options - (list;map code-to-text) + (list@map code-to-text) (interpose " ") - (list;fold text;compose ""))))))) + (list@fold text@compose ""))))))) (def: (write-refer module-name [r-defs r-opens]) (-> Text Refer (Meta (List Code))) @@ -4811,12 +4811,12 @@ [current-module current-module-name #let [test-referrals (: (-> Text (List Text) (List Text) (Meta (List Any))) (function (_ module-name all-defs referred-defs) - (monad;map meta-monad + (monad@map meta-monad (: (-> Text (Meta Any)) (function (_ _def) (if (is-member? all-defs _def) (return []) - (fail ($_ text;compose _def " is not defined in module " module-name " @ " current-module))))) + (fail ($_ text@compose _def " is not defined in module " module-name " @ " current-module))))) referred-defs)))] defs' (case r-defs #All @@ -4839,17 +4839,17 @@ #Nothing (wrap (list))) - #let [defs (list;map (: (-> Text Code) + #let [defs (list@map (: (-> Text Code) (function (_ def) (` ("lux def alias" (~ (identifier$ ["" def])) (~ (identifier$ [module-name def])))))) defs') openings (join-map (: (-> Openings (List Code)) (function (_ [alias structs]) - (list;map (function (_ name) + (list@map (function (_ name) (` (open: (~ (text$ alias)) (~ (identifier$ [module-name name]))))) structs))) r-opens)]] - (wrap (list;compose defs openings)) + (wrap (list@compose defs openings)) )) (macro: #export (refer tokens) @@ -4871,19 +4871,19 @@ (list (' #*)) (#Only defs) - (list (form$ (list& (' #+) (list;map local-identifier$ defs)))) + (list (form$ (list& (' #+) (list@map local-identifier$ defs)))) (#Exclude defs) - (list (form$ (list& (' #-) (list;map local-identifier$ defs)))) + (list (form$ (list& (' #-) (list@map local-identifier$ defs)))) #Ignore (list) #Nothing (list))) - openings (list;map (function (_ [alias structs]) + openings (list@map (function (_ [alias structs]) (form$ (list& (text$ (..replace-all ..contextual-reference module-alias alias)) - (list;map local-identifier$ structs)))) + (list@map local-identifier$ structs)))) r-opens)] (` (..refer (~ (text$ module-name)) (~+ localizations) @@ -4917,11 +4917,11 @@ [(list) tokens]))] current-module current-module-name imports (parse-imports #0 current-module "" _imports) - #let [=imports (list;map (: (-> Importation Code) + #let [=imports (list@map (: (-> Importation Code) (function (_ [m-name m-alias =refer]) (` [(~ (text$ m-name)) (~ (text$ (default "" m-alias)))]))) imports) - =refers (list;map (: (-> Importation Code) + =refers (list@map (: (-> Importation Code) (function (_ [m-name m-alias =refer]) (refer-to-code m-name m-alias =refer))) imports) @@ -4968,19 +4968,19 @@ (case (resolve-struct-type type) (#Some members) (do meta-monad - [pattern' (monad;map meta-monad + [pattern' (monad@map meta-monad (: (-> [Name [Nat Type]] (Meta [Name Nat Code])) (function (_ [r-slot-name [r-idx r-type]]) (do meta-monad [g!slot (gensym "")] (return [r-slot-name r-idx g!slot])))) (zip2 tags (enumerate members)))] - (let [pattern (record$ (list;map (: (-> [Name Nat Code] [Code Code]) + (let [pattern (record$ (list@map (: (-> [Name Nat Code] [Code Code]) (function (_ [r-slot-name r-idx r-var]) [(tag$ r-slot-name) r-var])) pattern')) - output (record$ (list;map (: (-> [Name Nat Code] [Code Code]) + output (record$ (list@map (: (-> [Name Nat Code] [Code Code]) (function (_ [r-slot-name r-idx r-var]) [(tag$ r-slot-name) (if (n/= idx r-idx) @@ -4999,23 +4999,23 @@ _ (do meta-monad - [bindings (monad;map meta-monad + [bindings (monad@map meta-monad (: (-> Code (Meta Code)) (function (_ _) (gensym "temp"))) slots) #let [pairs (zip2 slots bindings) - update-expr (list;fold (: (-> [Code Code] Code Code) + update-expr (list@fold (: (-> [Code Code] Code Code) (function (_ [s b] v) (` (..set@ (~ s) (~ v) (~ b))))) value - (list;reverse pairs)) - [_ accesses'] (list;fold (: (-> [Code Code] [Code (List (List Code))] [Code (List (List Code))]) + (list@reverse pairs)) + [_ accesses'] (list@fold (: (-> [Code Code] [Code (List (List Code))] [Code (List (List Code))]) (function (_ [new-slot new-binding] [old-record accesses']) [(` (get@ (~ new-slot) (~ new-binding))) (#Cons (list new-binding old-record) accesses')])) [record (: (List (List Code)) #Nil)] pairs) - accesses (list;join (list;reverse accesses'))]] + accesses (list@join (list@reverse accesses'))]] (wrap (list (` (let [(~+ accesses)] (~ update-expr))))))) @@ -5055,19 +5055,19 @@ (case (resolve-struct-type type) (#Some members) (do meta-monad - [pattern' (monad;map meta-monad + [pattern' (monad@map meta-monad (: (-> [Name [Nat Type]] (Meta [Name Nat Code])) (function (_ [r-slot-name [r-idx r-type]]) (do meta-monad [g!slot (gensym "")] (return [r-slot-name r-idx g!slot])))) (zip2 tags (enumerate members)))] - (let [pattern (record$ (list;map (: (-> [Name Nat Code] [Code Code]) + (let [pattern (record$ (list@map (: (-> [Name Nat Code] [Code Code]) (function (_ [r-slot-name r-idx r-var]) [(tag$ r-slot-name) r-var])) pattern')) - output (record$ (list;map (: (-> [Name Nat Code] [Code Code]) + output (record$ (list@map (: (-> [Name Nat Code] [Code Code]) (function (_ [r-slot-name r-idx r-var]) [(tag$ r-slot-name) (if (n/= idx r-idx) @@ -5115,7 +5115,7 @@ " (-> (List Type) Type Type)" ..new-line " (case type" ..new-line " (#.Primitive name params)" ..new-line - " (#.Primitive name (list;map (beta-reduce env) params))" + " (#.Primitive name (list@map (beta-reduce env) params))" __paragraph " (^template [<tag>]" ..new-line " (<tag> left right)" ..new-line @@ -5149,17 +5149,17 @@ branches)) (case (: (Maybe (List Code)) (do maybe-monad - [bindings' (monad;map maybe-monad get-short bindings) - data' (monad;map maybe-monad tuple->list data)] - (if (every? (n/= (list;size bindings')) (list;map list;size data')) + [bindings' (monad@map maybe-monad get-short bindings) + data' (monad@map maybe-monad tuple->list data)] + (if (every? (n/= (list@size bindings')) (list@map list@size data')) (let [apply (: (-> RepEnv (List Code)) - (function (_ env) (list;map (apply-template env) templates)))] + (function (_ env) (list@map (apply-template env) templates)))] (|> data' (join-map (compose apply (make-env bindings'))) wrap)) #None))) (#Some output) - (return (list;compose output branches)) + (return (list@compose output branches)) #None (fail "Wrong syntax for ^template")) @@ -5193,14 +5193,14 @@ (^template [<tag>] [[_ _ column] (<tag> parts)] - (list;fold n/min column (list;map find-baseline-column parts))) + (list@fold n/min column (list@map find-baseline-column parts))) ([#Form] [#Tuple]) [[_ _ column] (#Record pairs)] - (list;fold n/min column - (list;compose (list;map (|>> first find-baseline-column) pairs) - (list;map (|>> second find-baseline-column) pairs))) + (list@fold n/min column + (list@compose (list@map (|>> first find-baseline-column) pairs) + (list@map (|>> second find-baseline-column) pairs))) )) (type: Doc-Fragment @@ -5216,9 +5216,9 @@ _ (#Doc-Example code))) -(def: (text;encode original) +(def: (text@encode original) (-> Text Text) - ($_ text;compose ..double-quote original ..double-quote)) + ($_ text@compose ..double-quote original ..double-quote)) (do-template [<name> <extension> <doc>] [(def: #export (<name> value) @@ -5230,9 +5230,9 @@ [dec "lux i64 -" "Decrement function."] ) -(def: tag;encode +(def: tag@encode (-> Name Text) - (|>> name;encode (text;compose "#"))) + (|>> name@encode (text@compose "#"))) (def: (repeat n x) (All [a] (-> Int a (List a))) @@ -5243,18 +5243,18 @@ (def: (cursor-padding baseline [_ old-line old-column] [_ new-line new-column]) (-> Nat Cursor Cursor Text) (if (n/= old-line new-line) - (text;join-with "" (repeat (.int (n/- old-column new-column)) " ")) - (let [extra-lines (text;join-with "" (repeat (.int (n/- old-line new-line)) ..new-line)) - space-padding (text;join-with "" (repeat (.int (n/- baseline new-column)) " "))] - (text;compose extra-lines space-padding)))) + (text@join-with "" (repeat (.int (n/- old-column new-column)) " ")) + (let [extra-lines (text@join-with "" (repeat (.int (n/- old-line new-line)) ..new-line)) + space-padding (text@join-with "" (repeat (.int (n/- baseline new-column)) " "))] + (text@compose extra-lines space-padding)))) -(def: (text;size x) +(def: (text@size x) (-> Text Nat) ("lux text size" x)) (def: (update-cursor [file line column] code-text) (-> Cursor Text Cursor) - [file line (n/+ column (text;size code-text))]) + [file line (n/+ column (text@size code-text))]) (def: (delim-update-cursor [file line column]) (-> Cursor Cursor) @@ -5262,7 +5262,7 @@ (def: rejoin-all-pairs (-> (List [Code Code]) (List Code)) - (|>> (list;map rejoin-pair) list;join)) + (|>> (list@map rejoin-pair) list@join)) (def: (doc-example->Text prev-cursor baseline example) (-> Cursor Nat Code [Cursor Text]) @@ -5271,25 +5271,25 @@ [new-cursor (<tag> value)] (let [as-text (<encode> value)] [(update-cursor new-cursor as-text) - (text;compose (cursor-padding baseline prev-cursor new-cursor) + (text@compose (cursor-padding baseline prev-cursor new-cursor) as-text)])) - ([#Bit bit;encode] - [#Nat nat;encode] - [#Int int;encode] - [#Frac frac;encode] - [#Text text;encode] - [#Identifier name;encode] - [#Tag tag;encode]) + ([#Bit bit@encode] + [#Nat nat@encode] + [#Int int@encode] + [#Frac frac@encode] + [#Text text@encode] + [#Identifier name@encode] + [#Tag tag@encode]) (^template [<tag> <open> <close> <prep>] [group-cursor (<tag> parts)] - (let [[group-cursor' parts-text] (list;fold (function (_ part [last-cursor text-accum]) + (let [[group-cursor' parts-text] (list@fold (function (_ part [last-cursor text-accum]) (let [[part-cursor part-text] (doc-example->Text last-cursor baseline part)] - [part-cursor (text;compose text-accum part-text)])) + [part-cursor (text@compose text-accum part-text)])) [(delim-update-cursor group-cursor) ""] (<prep> parts))] [(delim-update-cursor group-cursor') - ($_ text;compose (cursor-padding baseline prev-cursor group-cursor) + ($_ text@compose (cursor-padding baseline prev-cursor group-cursor) <open> parts-text <close>)])) @@ -5310,15 +5310,15 @@ (case fragment (#Doc-Comment comment) (|> comment - (text;split-all-with ..new-line) - (list;map (function (_ line) ($_ text;compose "## " line ..new-line))) - (text;join-with "")) + (text@split-all-with ..new-line) + (list@map (function (_ line) ($_ text@compose "## " line ..new-line))) + (text@join-with "")) (#Doc-Example example) (let [baseline (find-baseline-column example) [cursor _] example [_ text] (doc-example->Text (with-baseline baseline cursor) baseline example)] - (text;compose text __paragraph)))) + (text@compose text __paragraph)))) (macro: #export (doc tokens) {#.doc (text$ ($_ "lux text concat" @@ -5334,8 +5334,8 @@ " x)))"))} (return (list (` [(~ cursor-code) (#.Text (~ (|> tokens - (list;map (|>> identify-doc-fragment doc-fragment->Text)) - (text;join-with "") + (list@map (|>> identify-doc-fragment doc-fragment->Text)) + (text@join-with "") text$)))])))) (def: (interleave xs ys) @@ -5356,7 +5356,7 @@ (-> Type Code) (case type (#Primitive name params) - (` (#.Primitive (~ (text$ name)) (~ (untemplate-list (list;map type-to-code params))))) + (` (#.Primitive (~ (text$ name)) (~ (untemplate-list (list@map type-to-code params))))) (^template [<tag>] (<tag> left right) @@ -5372,7 +5372,7 @@ (^template [<tag>] (<tag> env type) - (let [env' (untemplate-list (list;map type-to-code env))] + (let [env' (untemplate-list (list@map type-to-code env))] (` (<tag> (~ env') (~ (type-to-code type)))))) ([#.UnivQ] [#.ExQ]) @@ -5411,23 +5411,23 @@ (case ?params (#.Some [name bindings body]) (let [pairs (as-pairs bindings) - vars (list;map first pairs) - inits (list;map second pairs)] + vars (list@map first pairs) + inits (list@map second pairs)] (if (every? identifier? inits) (do meta-monad [inits' (: (Meta (List Name)) - (case (monad;map maybe-monad get-name inits) + (case (monad@map maybe-monad get-name inits) (#Some inits') (return inits') #None (fail "Wrong syntax for loop"))) - init-types (monad;map meta-monad find-type inits') + init-types (monad@map meta-monad find-type inits') expected get-expected-type] - (return (list (` (("lux check" (-> (~+ (list;map type-to-code init-types)) + (return (list (` (("lux check" (-> (~+ (list@map type-to-code init-types)) (~ (type-to-code expected))) (function ((~ name) (~+ vars)) (~ body))) (~+ inits)))))) (do meta-monad - [aliases (monad;map meta-monad + [aliases (monad@map meta-monad (: (-> Code (Meta Code)) (function (_ _) (gensym ""))) inits)] @@ -5450,7 +5450,7 @@ (case (: (Maybe [Name (List Name)]) (do maybe-monad [hslot (get-tag hslot') - tslots (monad;map maybe-monad get-tag tslots')] + tslots (monad@map maybe-monad get-tag tslots')] (wrap [hslot tslots]))) (#Some slots) (return slots) @@ -5459,14 +5459,14 @@ (fail "Wrong syntax for ^slots"))) #let [[hslot tslots] slots] hslot (normalize hslot) - tslots (monad;map meta-monad normalize tslots) + tslots (monad@map meta-monad normalize tslots) output (resolve-tag hslot) g!_ (gensym "_") #let [[idx tags exported? type] output - slot-pairings (list;map (: (-> Name [Text Code]) + slot-pairings (list@map (: (-> Name [Text Code]) (function (_ [module name]) [name (identifier$ ["" name])])) (list& hslot tslots)) - pattern (record$ (list;map (: (-> Name [Code Code]) + pattern (record$ (list@map (: (-> Name [Code Code]) (function (_ [module name]) (let [tag (tag$ [module name])] (case (get name slot-pairings) @@ -5485,22 +5485,22 @@ (#Some (list target)) [_ (#Identifier [prefix name])] - (if (and (text;= "" prefix) - (text;= label name)) + (if (and (text@= "" prefix) + (text@= label name)) (#Some tokens) (#Some (list target))) (^template [<tag>] [cursor (<tag> elems)] (do maybe-monad - [placements (monad;map maybe-monad (place-tokens label tokens) elems)] - (wrap (list [cursor (<tag> (list;join placements))])))) + [placements (monad@map maybe-monad (place-tokens label tokens) elems)] + (wrap (list [cursor (<tag> (list@join placements))])))) ([#Tuple] [#Form]) [cursor (#Record pairs)] (do maybe-monad - [=pairs (monad;map maybe-monad + [=pairs (monad@map maybe-monad (: (-> [Code Code] (Maybe [Code Code])) (function (_ [slot value]) (do maybe-monad @@ -5601,13 +5601,13 @@ ["Text" Text text$]) _ - (fail (text;compose "Cannot anti-quote type: " (name;encode name)))))) + (fail (text@compose "Cannot anti-quote type: " (name@encode name)))))) (def: (anti-quote token) (-> Code (Meta Code)) (case token [_ (#Identifier [def-prefix def-name])] - (if (text;= "" def-prefix) + (if (text@= "" def-prefix) (do meta-monad [current-module current-module-name] (anti-quote-def [current-module def-name])) @@ -5616,14 +5616,14 @@ (^template [<tag>] [meta (<tag> parts)] (do meta-monad - [=parts (monad;map meta-monad anti-quote parts)] + [=parts (monad@map meta-monad anti-quote parts)] (wrap [meta (<tag> =parts)]))) ([#Form] [#Tuple]) [meta (#Record pairs)] (do meta-monad - [=pairs (monad;map meta-monad + [=pairs (monad@map meta-monad (: (-> [Code Code] (Meta [Code Code])) (function (_ [slot value]) (do meta-monad @@ -5667,12 +5667,12 @@ (#Cons init extras) (do meta-monad - [extras' (monad;map meta-monad case-level^ extras)] + [extras' (monad@map meta-monad case-level^ extras)] (wrap [init extras'])))) (def: (multi-level-case$ g!_ [[init-pattern levels] body]) (-> Code [Multi-Level-Case Code] (List Code)) - (let [inner-pattern-body (list;fold (function (_ [calculation pattern] success) + (let [inner-pattern-body (list@fold (function (_ [calculation pattern] success) (` (case (~ calculation) (~ pattern) (~ success) @@ -5680,7 +5680,7 @@ (~ g!_) #.None))) (` (#.Some (~ body))) - (: (List [Code Code]) (list;reverse levels)))] + (: (List [Code Code]) (list@reverse levels)))] (list init-pattern inner-pattern-body))) (macro: #export (^multi tokens) @@ -5688,7 +5688,7 @@ "Useful in situations where the result of a branch depends on further refinements on the values being matched." "For example:" (case (split (size static) uri) - (^multi (#.Some [chunk uri']) [(text;= static chunk) #1]) + (^multi (#.Some [chunk uri']) [(text@= static chunk) #1]) (match-uri endpoint? parts' uri') _ @@ -5697,7 +5697,7 @@ "Short-cuts can be taken when using bit tests." "The example above can be rewritten as..." (case (split (size static) uri) - (^multi (#.Some [chunk uri']) (text;= static chunk)) + (^multi (#.Some [chunk uri']) (text@= static chunk)) (match-uri endpoint? parts' uri') _ @@ -5731,8 +5731,8 @@ ## 'wrong-syntax-error' for easier maintenance of the error-messages. (def: wrong-syntax-error (-> Name Text) - (|>> name;encode - (text;compose "Wrong syntax for "))) + (|>> name@encode + (text@compose "Wrong syntax for "))) (macro: #export (name-of tokens) {#.doc (doc "Given an identifier or a tag, gives back a 2 tuple with the prefix and name parts, both as Text." @@ -5786,7 +5786,7 @@ "In the example below, 0 corresponds to the 'a' variable." (def: #export (from-list list) (All [a] (-> (List a) (Row a))) - (list;fold add + (list@fold add (: (Row ($ 0)) empty) list)))} @@ -5794,12 +5794,12 @@ (^ (list [_ (#Nat idx)])) (do meta-monad [stvs get-scope-type-vars] - (case (list-at idx (list;reverse stvs)) + (case (list-at idx (list@reverse stvs)) (#Some var-id) (wrap (list (` (#Ex (~ (nat$ var-id)))))) #None - (fail (text;compose "Indexed-type does not exist: " (nat;encode idx))))) + (fail (text@compose "Indexed-type does not exist: " (nat@encode idx))))) _ (fail (..wrong-syntax-error (name-of ..$))))) @@ -5818,7 +5818,7 @@ (macro: #export (^@ tokens) {#.doc (doc "Allows you to simultaneously bind and de-structure a value." (def: (hash (^@ set [Hash<a> _])) - (list;fold (function (_ elem acc) (n/+ (:: Hash<a> hash elem) acc)) + (list@fold (function (_ elem acc) (n/+ (:: Hash<a> hash elem) acc)) 0 (to-list set))))} (case tokens @@ -5905,7 +5905,7 @@ (case tokens (^ (list& [_ (#Form (list& [_ (#Identifier ["" name])] args'))] tokens')) (do meta-monad - [args (monad;map meta-monad + [args (monad@map meta-monad (function (_ arg') (case arg' [_ (#Identifier ["" arg-name])] @@ -5977,7 +5977,7 @@ g!tokens (gensym "tokens") g!compiler (gensym "compiler") g!_ (gensym "_") - #let [rep-env (list;map (function (_ arg) + #let [rep-env (list@map (function (_ arg) [arg (` ((~' ~) (~ (identifier$ ["" arg]))))]) args)] this-module current-module-name] @@ -5985,9 +5985,9 @@ ((~ (identifier$ ["" name])) (~ g!tokens) (~ g!compiler)) (~ anns) (case (~ g!tokens) - (^ (list (~+ (list;map (|>> [""] identifier$) args)))) + (^ (list (~+ (list@map (|>> [""] identifier$) args)))) (#.Right [(~ g!compiler) - (list (~+ (list;map (function (_ template) + (list (~+ (list@map (function (_ template) (` (`' (~ (replace-syntax rep-env template))))) input-templates)))]) @@ -6024,7 +6024,7 @@ (#Cons [key value] options') (case key (^multi [_ (#Text platform)] - (text;= target platform)) + (text@= target platform)) (#Some value) _ @@ -6041,7 +6041,7 @@ (wrap (list pick)) #None - (fail ($_ text;compose "No code for target platform: " target))) + (fail ($_ text@compose "No code for target platform: " target))) (^ (list [_ (#Record options)] default)) (wrap (list (..default default (pick-for-target target options)))) @@ -6069,24 +6069,24 @@ (^template [<tag>] [ann (<tag> parts)] (do meta-monad - [=parts (monad;map meta-monad label-code parts)] - (wrap [(list;fold list;compose (list) (list;map left =parts)) - [ann (<tag> (list;map right =parts))]]))) + [=parts (monad@map meta-monad label-code parts)] + (wrap [(list@fold list@compose (list) (list@map left =parts)) + [ann (<tag> (list@map right =parts))]]))) ([#Form] [#Tuple]) [ann (#Record kvs)] (do meta-monad - [=kvs (monad;map meta-monad + [=kvs (monad@map meta-monad (function (_ [key val]) (do meta-monad [=key (label-code key) =val (label-code val) #let [[key-labels key-labelled] =key [val-labels val-labelled] =val]] - (wrap [(list;compose key-labels val-labels) [key-labelled val-labelled]]))) + (wrap [(list@compose key-labels val-labels) [key-labelled val-labelled]]))) kvs)] - (wrap [(list;fold list;compose (list) (list;map left =kvs)) - [ann (#Record (list;map right =kvs))]])) + (wrap [(list@fold list@compose (list) (list@map left =kvs)) + [ann (#Record (list@map right =kvs))]])) _ (return [(list) code]))) @@ -6098,8 +6098,8 @@ [=raw (label-code raw) #let [[labels labelled] =raw]] (wrap (list (` (with-expansions [(~+ (|> labels - (list;map (function (_ [label expansion]) (list label expansion))) - list;join))] + (list@map (function (_ [label expansion]) (list label expansion))) + list@join))] (~ labelled)))))) _ @@ -6138,7 +6138,7 @@ [_ (#Record fields)] (do meta-monad - [=fields (monad;map meta-monad + [=fields (monad@map meta-monad (function (_ [key value]) (do meta-monad [=key (untemplate-pattern key) @@ -6156,17 +6156,17 @@ (^template [<tag>] [_ (<tag> elems)] - (case (list;reverse elems) + (case (list@reverse elems) (#Cons [_ (#Form (#Cons [[_ (#Identifier ["" "~+"])] (#Cons [spliced #Nil])]))] inits) (do meta-monad - [=inits (monad;map meta-monad untemplate-pattern (list;reverse inits)) + [=inits (monad@map meta-monad untemplate-pattern (list@reverse inits)) g!meta (gensym "g!meta")] (wrap (` [(~ g!meta) (<tag> (~ (untemplate-list& spliced =inits)))]))) _ (do meta-monad - [=elems (monad;map meta-monad untemplate-pattern elems) + [=elems (monad@map meta-monad untemplate-pattern elems) g!meta (gensym "g!meta")] (wrap (` [(~ g!meta) (<tag> (~ (untemplate-list =elems)))]))))) ([#Tuple] [#Form]) @@ -6237,9 +6237,9 @@ (-> Cursor Text) (let [separator ", " fields ($_ "lux text concat" - (text;encode file) separator - (nat;encode line) separator - (nat;encode column))] + (text@encode file) separator + (nat@encode line) separator + (nat@encode column))] ($_ "lux text concat" "[" fields "]"))) (do-template [<zero> <one>] diff --git a/stdlib/source/lux/host/python.lux b/stdlib/source/lux/host/python.lux index afdb923fc..134e35798 100644 --- a/stdlib/source/lux/host/python.lux +++ b/stdlib/source/lux/host/python.lux @@ -1,5 +1,5 @@ (.module: - [lux (#- Code not or and list if cond int) + [lux (#- Code not or and list if cond int comment) [control pipe] [data @@ -72,9 +72,9 @@ (-> Text SVar) (|>> :abstraction)) - (do-template [<name> <kind> <prefix>] + (do-template [<name> <brand> <prefix>] [(def: #export <name> - (-> SVar (Var <kind>)) + (-> SVar (Var <brand>)) (|>> :representation (format <prefix>) :abstraction))] [poly Poly "*"] @@ -95,6 +95,10 @@ (-> Int Literal) (|>> %i :abstraction)) + (def: #export (long value) + (-> Int Literal) + (:abstraction (format (%i value) "L"))) + (def: #export float (-> Frac Literal) (`` (|>> (cond> (~~ (do-template [<lux> <python>] @@ -110,9 +114,28 @@ [%f]) :abstraction))) + (def: sanitize + (-> Text Text) + (`` (|>> (~~ (do-template [<find> <replace>] + [(text.replace-all <find> <replace>)] + + ["\" "\\"] + [text.tab "\t"] + [text.vertical-tab "\v"] + [text.null "\0"] + [text.back-space "\b"] + [text.form-feed "\f"] + [text.new-line "\n"] + [text.carriage-return "\r"] + [text.double-quote (format "\" text.double-quote)] + )) + ))) + (def: #export string (-> Text Literal) - (|>> (text.enclose' text.double-quote) :abstraction)) + (|>> ..sanitize + (text.enclose [text.double-quote text.double-quote]) + :abstraction)) (def: (composite-literal left-delimiter right-delimiter entry-serializer) (All [a] @@ -122,7 +145,9 @@ (<| :abstraction ..expression (format left-delimiter - (|> entries (list@map entry-serializer) (text.join-with ",")) + (|> entries + (list@map entry-serializer) + (text.join-with ", ")) right-delimiter)))) (do-template [<name> <pre> <post>] @@ -154,9 +179,9 @@ (-> (Expression Any) (List (Expression Any)) (Computation Any)) (<| :abstraction ..expression - (format (:representation func) "(" (text.join-with "," (list@map ..code args)) ")"))) + (format (:representation func) "(" (text.join-with ", " (list@map ..code args)) ")"))) - (do-template [<name> <kind> <prefix>] + (do-template [<name> <brand> <prefix>] [(def: (<name> var) (-> (Expression Any) Text) (format <prefix> (:representation var)))] @@ -324,7 +349,7 @@ (..nest (:representation body!)) (|> excepts (list@map (function (_ [classes exception catch!]) - (format text.new-line "except (" (text.join-with "," (list@map ..code classes)) + (format text.new-line "except (" (text.join-with ", " (list@map ..code classes)) ") as " (:representation exception) ":" (..nest (:representation catch!))))) (text.join-with ""))))) @@ -344,12 +369,17 @@ (-> SVar (List (Ex [k] (Var k))) (Statement Any) (Statement Any)) (:abstraction (format "def " (:representation name) - "(" (|> args (list@map ..code) (text.join-with ",")) "):" + "(" (|> args (list@map ..code) (text.join-with ", ")) "):" (..nest (:representation body))))) (def: #export (import module-name) (-> Text (Statement Any)) (:abstraction (format "import " module-name))) + + (def: #export (comment commentary on) + (All [brand] (-> Text (Code brand) (Code brand))) + (:abstraction (format "# " (..sanitize commentary) text.new-line + (:representation on)))) ) (def: #export (cond clauses else!) diff --git a/stdlib/source/lux/tool/compiler/meta/packager/script.lux b/stdlib/source/lux/tool/compiler/meta/packager/script.lux index ac4582346..57e0800b1 100644 --- a/stdlib/source/lux/tool/compiler/meta/packager/script.lux +++ b/stdlib/source/lux/tool/compiler/meta/packager/script.lux @@ -1,5 +1,7 @@ (.module: [lux #* + [control + [pipe (#+ case>)]] [data ["." product] ["." text @@ -28,9 +30,14 @@ (:coerce (List [Name _.Statement])) (list@map product.right)))) list@join - (list@fold (function (_ post! pre!) - (_.then pre! post!)) - _.use-strict) - (: _.Statement) - _.code - encoding.to-utf8)) + (case> (#.Cons head tail) + (|> (list@fold (function (_ post! pre!) + (_.then pre! post!)) + head + tail) + (: _.Statement) + _.code + encoding.to-utf8) + + #.Nil + (encoding.to-utf8 "")))) diff --git a/stdlib/source/lux/tool/compiler/phase/generation/js/runtime.lux b/stdlib/source/lux/tool/compiler/phase/generation/js/runtime.lux index b5ef432f6..0e3864bd0 100644 --- a/stdlib/source/lux/tool/compiler/phase/generation/js/runtime.lux +++ b/stdlib/source/lux/tool/compiler/phase/generation/js/runtime.lux @@ -746,5 +746,7 @@ (Operation Any) (///.with-buffer (do ////.monad - [_ (///.save! ["" ..prefix] ..runtime)] + [_ (///.save! ["" ..prefix] ($_ _.then + _.use-strict + ..runtime))] (///.save-buffer! ..artifact)))) diff --git a/stdlib/source/lux/tool/compiler/phase/generation/python/extension/common.lux b/stdlib/source/lux/tool/compiler/phase/generation/python/extension/common.lux index 48fd005fb..4cfc7a1e6 100644 --- a/stdlib/source/lux/tool/compiler/phase/generation/python/extension/common.lux +++ b/stdlib/source/lux/tool/compiler/phase/generation/python/extension/common.lux @@ -29,14 +29,14 @@ Bundle (<| (bundle.prefix "i64") (|> bundle.empty - (bundle.install "and" (binary (product.uncurry _.bit-and))) - (bundle.install "or" (binary (product.uncurry _.bit-or))) - (bundle.install "xor" (binary (product.uncurry _.bit-xor))) - (bundle.install "left-shift" (binary (|>> (product.uncurry _.bit-shl) ///runtime.i64//64))) - (bundle.install "logical-right-shift" (binary (product.uncurry (function.flip ///runtime.i64//logic-right-shift)))) - (bundle.install "arithmetic-right-shift" (binary (product.uncurry (function.flip _.bit-shr)))) - (bundle.install "=" (binary (product.uncurry _.=))) - (bundle.install "+" (binary (product.uncurry _.+))) + (bundle.install "and" (binary (product.uncurry (function.flip _.bit-and)))) + (bundle.install "or" (binary (product.uncurry (function.flip _.bit-or)))) + (bundle.install "xor" (binary (product.uncurry (function.flip _.bit-xor)))) + (bundle.install "left-shift" (binary (function.compose ///runtime.i64//64 (product.uncurry _.bit-shl)))) + (bundle.install "logical-right-shift" (binary (product.uncurry ///runtime.i64//logic-right-shift))) + (bundle.install "arithmetic-right-shift" (binary (product.uncurry _.bit-shr))) + (bundle.install "=" (binary (product.uncurry (function.flip _.=)))) + (bundle.install "+" (binary (product.uncurry (function.flip _.+)))) (bundle.install "-" (binary (product.uncurry (function.flip _.-)))) ))) @@ -59,7 +59,7 @@ (<| (bundle.prefix "int") (|> bundle.empty (bundle.install "<" (binary (product.uncurry (function.flip _.<)))) - (bundle.install "*" (binary (product.uncurry _.*))) + (bundle.install "*" (binary (product.uncurry (function.flip _.*)))) (bundle.install "/" (binary (product.uncurry (function.flip _./)))) (bundle.install "%" (binary (product.uncurry (function.flip _.%)))) (bundle.install "frac" (unary _.float/1)) @@ -69,12 +69,12 @@ Bundle (<| (bundle.prefix "frac") (|> bundle.empty - (bundle.install "+" (binary (product.uncurry _.+))) + (bundle.install "+" (binary (product.uncurry (function.flip _.+)))) (bundle.install "-" (binary (product.uncurry (function.flip _.-)))) - (bundle.install "*" (binary (product.uncurry _.*))) + (bundle.install "*" (binary (product.uncurry (function.flip _.*)))) (bundle.install "/" (binary (product.uncurry (function.flip _./)))) (bundle.install "%" (binary (product.uncurry (function.flip _.%)))) - (bundle.install "=" (binary (product.uncurry _.=))) + (bundle.install "=" (binary (product.uncurry (function.flip _.=)))) (bundle.install "<" (binary (product.uncurry (function.flip _.<)))) (bundle.install "smallest" (nullary frac//smallest)) (bundle.install "min" (nullary frac//min)) @@ -99,7 +99,7 @@ Bundle (<| (bundle.prefix "text") (|> bundle.empty - (bundle.install "=" (binary (product.uncurry _.=))) + (bundle.install "=" (binary (product.uncurry (function.flip _.=)))) (bundle.install "<" (binary (product.uncurry (function.flip _.<)))) (bundle.install "concat" (binary (product.uncurry (function.flip _.+)))) (bundle.install "index" (trinary text//index)) diff --git a/stdlib/source/lux/tool/compiler/phase/generation/python/primitive.lux b/stdlib/source/lux/tool/compiler/phase/generation/python/primitive.lux index 1ddd3950e..33b9b7781 100644 --- a/stdlib/source/lux/tool/compiler/phase/generation/python/primitive.lux +++ b/stdlib/source/lux/tool/compiler/phase/generation/python/primitive.lux @@ -16,7 +16,7 @@ (def: #export i64 (-> (I64 Any) (Expression Any)) - (|>> .int _.int)) + (|>> .int _.long)) (def: #export f64 (-> Frac (Expression Any)) diff --git a/stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux b/stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux index e3a8a4537..564bbdb35 100644 --- a/stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux +++ b/stdlib/source/lux/tool/compiler/phase/generation/python/runtime.lux @@ -33,10 +33,6 @@ [Bundle ///.Bundle] ) -(def: #export variant-tag-field "_lux_tag") -(def: #export variant-flag-field "_lux_flag") -(def: #export variant-value-field "_lux_value") - (def: prefix Text "LuxRuntime") (def: #export unit (_.string synthesis.unit)) @@ -49,9 +45,7 @@ (def: (variant' tag last? value) (-> (Expression Any) (Expression Any) (Expression Any) (Computation Any)) - (_.dict (list [(_.string ..variant-tag-field) tag] - [(_.string ..variant-flag-field) last?] - [(_.string ..variant-value-field) value]))) + (_.tuple (list tag last? value))) (def: #export (variant tag last? value) (-> Nat Bit (Expression Any) (Computation Any)) @@ -83,7 +77,7 @@ (def: (feature name definition) (-> SVar (-> SVar (Statement Any)) (Statement Any)) - (_.def name (list) (definition name))) + (definition name)) (syntax: #export (with-vars {vars (s.tuple (p.some s.local-identifier))} body) @@ -216,15 +210,15 @@ ## Must slice (_.return (_.slice-from index product)))))) -(runtime: (sum//get sum wantedTag wantsLast) +(runtime: (sum//get sum wantsLast wantedTag) (let [no-match! (_.return _.none) - sum-tag (_.nth (_.string ..variant-tag-field) sum) - sum-flag (_.nth (_.string ..variant-flag-field) sum) - sum-value (_.nth (_.string ..variant-value-field) sum) + sum-tag (_.nth (_.int +0) sum) + sum-flag (_.nth (_.int +1) sum) + sum-value (_.nth (_.int +2) sum) is-last? (_.= (_.string "") sum-flag) test-recursion! (_.if is-last? ## Must recurse. - (_.return (sum//get sum-value (_.- sum-tag wantedTag) wantsLast)) + (_.return (sum//get sum-value wantsLast (_.- sum-tag wantedTag))) no-match!)] (_.cond (list [(_.= sum-tag wantedTag) (_.if (_.= wantsLast sum-flag) @@ -312,14 +306,7 @@ ) (runtime: (text//clip @text @from @to) - (with-vars [length] - ($_ _.then - (_.set (list length) (_.len/1 @text)) - (_.if ($_ _.and - (|> @to (within? length)) - (|> @from (up-to? @to))) - (_.return (..some (|> @text (_.slice @from (inc @to))))) - (_.return ..none))))) + (_.return (|> @text (_.slice @from (inc @to))))) (runtime: (text//char text idx) (_.if (|> idx (within? (_.len/1 text))) @@ -388,5 +375,6 @@ (Operation Any) (///.with-buffer (do ////.monad - [_ (///.save! ["" ..prefix] ..runtime)] + [_ (///.save! ["" ..prefix] (<| (_.comment "-*- coding: utf-8 -*-") + ..runtime))] (///.save-buffer! ..artifact)))) diff --git a/stdlib/source/lux/tool/compiler/phase/generation/python/structure.lux b/stdlib/source/lux/tool/compiler/phase/generation/python/structure.lux index 1415251df..6daf5e532 100644 --- a/stdlib/source/lux/tool/compiler/phase/generation/python/structure.lux +++ b/stdlib/source/lux/tool/compiler/phase/generation/python/structure.lux @@ -24,7 +24,7 @@ _ (do ////.monad [elemsT+ (monad.map @ generate elemsS+)] - (wrap (_.tuple elemsT+))))) + (wrap (_.list elemsT+))))) (def: #export (variant generate [lefts right? valueS]) (-> Phase (Variant Synthesis) (Operation (Expression Any))) diff --git a/stdlib/source/lux/tool/compiler/phase/synthesis/case.lux b/stdlib/source/lux/tool/compiler/phase/synthesis/case.lux index 841846351..7da1a41c7 100644 --- a/stdlib/source/lux/tool/compiler/phase/synthesis/case.lux +++ b/stdlib/source/lux/tool/compiler/phase/synthesis/case.lux @@ -244,9 +244,18 @@ synthesis-storage) (list inputS exprS)) + (^ (/.branch/if [testS thenS elseS])) + (list@fold for-synthesis synthesis-storage (list testS thenS elseS)) + (^ (/.branch/case [inputS pathS])) (|> synthesis-storage (for-synthesis inputS) (for-path pathS)) + (^ (/.loop/scope [start initsS+ iterationS])) + (list@fold for-synthesis synthesis-storage (#.Cons iterationS initsS+)) + + (^ (/.loop/recur replacementsS+)) + (list@fold for-synthesis synthesis-storage replacementsS+) + (#/.Extension [extension argsS]) (list@fold for-synthesis synthesis-storage argsS) |