diff options
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/language')
170 files changed, 1554 insertions, 1554 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux.lux index 5ad1e959e..30465ca7d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux.lux @@ -1,13 +1,13 @@ (.module: [library - [lux #* + [lux "*" [control ["<>" parser - ["<b>" binary (#+ Parser)]]] + ["<b>" binary {"+" [Parser]}]]] [data [format - ["_" binary (#+ Writer)]]]]] - ["." / #_ + ["_" binary {"+" [Writer]}]]]]] + ["." / "_" ["#." version] [phase [analysis @@ -16,7 +16,7 @@ [meta [archive ["." signature] - ["." key (#+ Key)]]]]]) + ["." key {"+" [Key]}]]]]]) ... TODO: Remove #module_hash, #imports & #module_state ASAP. ... TODO: Not just from this parser, but from the lux.Module type. diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux index bdc195879..772b0b04d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux @@ -1,20 +1,20 @@ (.module: [library - [lux (#- Tuple Variant nat int rev) + [lux {"-" [Tuple Variant nat int rev]} [abstract - [equivalence (#+ Equivalence)] - [hash (#+ Hash)] - [monad (#+ do)]] + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}] + [monad {"+" [do]}]] [control ["." function] ["." maybe] ["." try] - ["." exception (#+ Exception)]] + ["." exception {"+" [Exception]}]] [data ["." product] ["." bit ("#\." equivalence)] ["." text ("#\." equivalence) - ["%" format (#+ Format format)]] + ["%" format {"+" [Format format]}]] [collection ["." list ("#\." functor mix)]]] [math @@ -27,13 +27,13 @@ ["." location]]]] [// [phase - ["." extension (#+ Extension)]] + ["." extension {"+" [Extension]}]] [/// - [arity (#+ Arity)] - [version (#+ Version)] + [arity {"+" [Arity]}] + [version {"+" [Version]}] ["." phase] - ["." reference (#+ Reference) - ["." variable (#+ Register Variable)]]]]) + ["." reference {"+" [Reference]} + ["." variable {"+" [Register Variable]}]]]]) (type: .public Primitive (.Variant diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux index 723f61d29..a770d7798 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/evaluation.lux @@ -1,16 +1,16 @@ (.module: [library - [lux (#- Module) + [lux {"-" [Module]} ["." meta] [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control ["." try]] [math [number ["n" nat]]]]] - [// (#+ Operation) - [macro (#+ Expander)] + [// {"+" [Operation]} + [macro {"+" [Expander]}] [// [phase [".P" extension] @@ -19,12 +19,12 @@ ["." type]] [// ["." synthesis] - ["." generation (#+ Context)] + ["." generation {"+" [Context]}] [/// ["." phase] [meta - [archive (#+ Archive) - [descriptor (#+ Module)]]]]]]]]) + [archive {"+" [Archive]} + [descriptor {"+" [Module]}]]]]]]]]) (type: .public Eval (-> Archive Type Code (Operation Any))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux index 800d3091e..f6b4d0c3b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux @@ -1,14 +1,14 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control - ["." try (#+ Try)] - ["." exception (#+ exception:)]] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}]] [data ["." text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] ["." meta]]] [///// ["." phase]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux index ea9d244af..e2c1899de 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux @@ -1,8 +1,8 @@ (.module: [library - [lux (#- Module) + [lux {"-" [Module]} [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control ["." try]] [data @@ -18,7 +18,7 @@ ["." phase] [meta [archive - [descriptor (#+ Module)]]]]]) + [descriptor {"+" [Module]}]]]]]) (type: .public (Component state phase) (Record diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux index 91b758c78..22e3708ec 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux @@ -1,33 +1,33 @@ (.module: [library - [lux (#- Module) + [lux {"-" [Module]} [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control - ["." try (#+ Try)] - ["." exception (#+ exception:)] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}] ["." function]] [data - [binary (#+ Binary)] + [binary {"+" [Binary]}] ["." product] ["." name] ["." text ("#\." equivalence) - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection - ["." row (#+ Row)] + ["." row {"+" [Row]}] ["." list ("#\." functor)]]] [math [number ["n" nat]]]]] [// - [synthesis (#+ Synthesis)] + [synthesis {"+" [Synthesis]}] [phase ["." extension]] [/// ["." phase] [meta - ["." archive (#+ Archive) - ["." descriptor (#+ Module)] + ["." archive {"+" [Archive]} + ["." descriptor {"+" [Module]}] ["." artifact]]]]]) (type: .public Context diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux index 9f5e6d12a..ff4db62e6 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux @@ -1,32 +1,32 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [data [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] ["." meta ["." location]]]] - ["." / #_ + ["." / "_" ["#." type] ["#." primitive] ["#." structure] ["#." reference] ["#." case] ["#." function] - ["/#" // #_ + ["/#" // "_" ["#." extension] - ["/#" // #_ - ["/" analysis (#+ Analysis Operation Phase) - ["#." macro (#+ Expander)]] + ["/#" // "_" + ["/" analysis {"+" [Analysis Operation Phase]} + ["#." macro {"+" [Expander]}]] [/// ["//" phase] ["." reference] [meta - [archive (#+ Archive)]]]]]]) + [archive {"+" [Archive]}]]]]]]) (exception: .public (unrecognized_syntax {code Code}) (exception.report ["Code" (%.code code)])) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux index 9777b1a31..0d029264e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux @@ -1,17 +1,17 @@ (.module: [library - [lux (#- case) + [lux {"-" [case]} ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." maybe] ["." try] - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." mix monoid functor)]]] [math @@ -21,16 +21,16 @@ ["." code]] ["." type ["." check]]]] - ["." / #_ - ["#." coverage (#+ Coverage)] - ["/#" // #_ + ["." / "_" + ["#." coverage {"+" [Coverage]}] + ["/#" // "_" ["#." scope] ["#." type] ["#." structure] - ["/#" // #_ + ["/#" // "_" ["#." extension] [// - ["/" analysis (#+ Pattern Analysis Operation Phase)] + ["/" analysis {"+" [Pattern Analysis Operation Phase]}] [/// ["#" phase]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux index d9b47d757..e1ac7bdf4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux @@ -1,26 +1,26 @@ (.module: [library - [lux (#- Variant) + [lux {"-" [Variant]} [abstract equivalence - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." maybe] - ["." try (#+ Try) ("#\." monad)] - ["." exception (#+ exception:)]] + ["." try {"+" [Try]} ("#\." monad)] + ["." exception {"+" [exception:]}]] [data ["." bit ("#\." equivalence)] ["." text - ["%" format (#+ Format format)]] + ["%" format {"+" [Format format]}]] [collection ["." list ("#\." functor mix)] - ["." dictionary (#+ Dictionary)]]] + ["." dictionary {"+" [Dictionary]}]]] [math [number ["n" nat]]]]] - ["." //// #_ + ["." //// "_" [// - ["/" analysis (#+ Pattern Variant Operation)] + ["/" analysis {"+" [Pattern Variant Operation]}] [/// ["#" phase ("#\." monad)]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux index a499b5df4..c1341eaf7 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux @@ -1,31 +1,31 @@ (.module: [library - [lux (#- function) + [lux {"-" [function]} [abstract monad] [control ["." maybe] - ["ex" exception (#+ exception:)]] + ["ex" exception {"+" [exception:]}]] [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." monoid monad)]]] ["." type ["." check]] ["." meta]]] - ["." // #_ + ["." // "_" ["#." scope] ["#." type] ["#." inference] - ["/#" // #_ + ["/#" // "_" ["#." extension] [// - ["/" analysis (#+ Analysis Operation Phase)] + ["/" analysis {"+" [Analysis Operation Phase]}] [/// ["#" phase] - [reference (#+) - [variable (#+)]]]]]]) + [reference {"+" []} + [variable {"+" []}]]]]]]) (exception: .public (cannot_analyse {expected Type} {function Text} {argument Text} {body Code}) (ex.report ["Type" (%.type expected)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux index 366a92cad..4972f71dc 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux @@ -1,14 +1,14 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control ["." maybe] - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor monoid)]]] [math @@ -17,16 +17,16 @@ ["." type ["." check]] ["." meta]]] - ["." // #_ + ["." // "_" ["#." type] - ["/#" // #_ + ["/#" // "_" ["#." extension] [// - ["/" analysis (#+ Tag Analysis Operation Phase)] + ["/" analysis {"+" [Tag Analysis Operation Phase]}] [/// ["#" phase ("#\." monad)] [meta - [archive (#+ Archive)]]]]]]) + [archive {"+" [Archive]}]]]]]]) (exception: .public (variant_tag_out_of_bounds {size Nat} {tag Tag} {type Type}) (exception.report diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux index 0499c2d8a..3304e0331 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux @@ -1,24 +1,24 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control pipe ["." try] - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [data ["." text ("#\." equivalence) - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." mix functor)] [dictionary ["." plist]]]] ["." meta]]] - ["." /// #_ + ["." /// "_" ["#." extension] [// - ["/" analysis (#+ Operation)] + ["/" analysis {"+" [Operation]}] [/// ["#" phase]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/primitive.lux index 2b82d55a4..d3351fdf8 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/primitive.lux @@ -1,13 +1,13 @@ (.module: [library - [lux (#- nat int rev) + [lux {"-" [nat int rev]} [abstract monad]]] - ["." // #_ + ["." // "_" ["#." type] - ["/#" // #_ + ["/#" // "_" [// - ["/" analysis (#+ Analysis Operation)] + ["/" analysis {"+" [Analysis Operation]}] [/// ["#" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux index d7d19e802..dcb211af4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux @@ -1,21 +1,21 @@ (.module: [library - [lux #* + [lux "*" [abstract monad] [control - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] ["." meta] [data ["." text ("#\." equivalence) - ["%" format (#+ format)]]]]] - ["." // #_ + ["%" format {"+" [format]}]]]]] + ["." // "_" ["#." scope] ["#." type] - ["/#" // #_ + ["/#" // "_" ["#." extension] [// - ["/" analysis (#+ Analysis Operation)] + ["/" analysis {"+" [Analysis Operation]}] [/// ["#." reference] ["#" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux index 17423da65..4f99341c0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/scope.lux @@ -1,12 +1,12 @@ (.module: [library - [lux (#- local) + [lux {"-" [local]} [abstract monad] [control ["." maybe ("#\." monad)] ["." try] - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [data ["." text ("#\." equivalence)] ["." product] @@ -14,13 +14,13 @@ ["." list ("#\." functor mix monoid)] [dictionary ["." plist]]]]]] - ["." /// #_ + ["." /// "_" ["#." extension] [// - ["/" analysis (#+ Operation Phase)] + ["/" analysis {"+" [Operation Phase]}] [/// [reference - ["." variable (#+ Register Variable)]] + ["." variable {"+" [Register Variable]}]] ["#" phase]]]]) (type: Local diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux index 2d6d3140c..4dbaa2a4a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux @@ -1,22 +1,22 @@ (.module: [library - [lux #* + [lux "*" ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." maybe] ["." try] - ["." exception (#+ exception:)] + ["." exception {"+" [exception:]}] ["." state]] [data ["." name] ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)] - ["." dictionary (#+ Dictionary)]]] + ["." dictionary {"+" [Dictionary]}]]] [macro ["." code]] [math @@ -24,18 +24,18 @@ ["n" nat]]] ["." type ["." check]]]] - ["." // #_ + ["." // "_" ["#." type] ["#." primitive] ["#." inference] - ["/#" // #_ + ["/#" // "_" ["#." extension] [// - ["/" analysis (#+ Tag Analysis Operation Phase)] + ["/" analysis {"+" [Tag Analysis Operation Phase]}] [/// ["#" phase] [meta - [archive (#+ Archive)]]]]]]) + [archive {"+" [Archive]}]]]]]]) (exception: .public (invalid_variant_type {type Type} {tag Tag} {code Code}) (exception.report diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/type.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/type.lux index 5b837152b..33c58b397 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/type.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/type.lux @@ -1,18 +1,18 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control ["." function] ["." try]] [type - ["." check (#+ Check)]] + ["." check {"+" [Check]}]] ["." meta]]] - ["." /// #_ + ["." /// "_" ["#." extension] [// - ["/" analysis (#+ Operation)] + ["/" analysis {"+" [Operation]}] [/// ["#" phase]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux index 8db59f655..256725c5c 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux @@ -1,32 +1,32 @@ (.module: [library - [lux #* + [lux "*" ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." try] - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [data [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." mix monoid)]]]]] - ["." // #_ + ["." // "_" ["#." extension] ["#." analysis ["#/." type]] - ["/#" // #_ - ["/" directive (#+ Phase)] + ["/#" // "_" + ["/" directive {"+" [Phase]}] ["#." analysis ["." evaluation] - ["#/." macro (#+ Expander)]] + ["#/." macro {"+" [Expander]}]] [/// ["//" phase] - [reference (#+) - [variable (#+)]] + [reference {"+" []} + [variable {"+" []}]] [meta - [archive (#+ Archive)]]]]]) + [archive {"+" [Archive]}]]]]]) (exception: .public (not_a_directive {code Code}) (exception.report diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux index e89d68ac8..4812e38e3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux @@ -1,25 +1,25 @@ (.module: [library - [lux (#- Name) + [lux {"-" [Name]} [abstract - [equivalence (#+ Equivalence)] - [hash (#+ Hash)] - ["." monad (#+ do)]] + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}] + ["." monad {"+" [do]}]] [control ["." function] - ["." try (#+ Try)] - ["." exception (#+ exception:)]] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}]] [data ["." product] ["." text ("#\." order) - ["%" format (#+ Format format)]] + ["%" format {"+" [Format format]}]] [collection ["." list] - ["." dictionary (#+ Dictionary)]]]]] + ["." dictionary {"+" [Dictionary]}]]]]] [///// ["//" phase] [meta - [archive (#+ Archive)]]]) + [archive {"+" [Archive]}]]]) (type: .public Name Text) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux index 096b659a2..1cba7387f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis.lux @@ -1,13 +1,13 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] [//// - [analysis (#+ Bundle) - [evaluation (#+ Eval)]]] - ["." / #_ + [analysis {"+" [Bundle]} + [evaluation {"+" [Eval]}]]] + ["." / "_" ["#." lux]]) (def: .public (bundle eval host_specific) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux index ea770d3a9..7f013b821 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/common_lisp.lux @@ -1,15 +1,15 @@ (.module: [library - [lux #* + [lux "*" ["." ffi] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["<>" parser - ["<c>" code (#+ Parser)]]] + ["<c>" code {"+" [Parser]}]]] [data [collection - ["." array (#+ Array)] + ["." array {"+" [Array]}] ["." dictionary] ["." list]]] ["." type @@ -17,14 +17,14 @@ ["@" target ["_" common_lisp]]]] [// - ["/" lux (#+ custom)] + ["/" lux {"+" [custom]}] [// ["." bundle] [// - ["." analysis #_ + ["." analysis "_" ["#/." type]] [// - ["." analysis (#+ Analysis Operation Phase Handler Bundle)] + ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}] [/// ["." phase]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux index 22c663250..3d18a03b4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/js.lux @@ -1,15 +1,15 @@ (.module: [library - [lux #* + [lux "*" ["." ffi] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["<>" parser - ["<c>" code (#+ Parser)]]] + ["<c>" code {"+" [Parser]}]]] [data [collection - ["." array (#+ Array)] + ["." array {"+" [Array]}] ["." dictionary] ["." list]]] ["." type @@ -17,14 +17,14 @@ ["@" target ["_" js]]]] [// - ["/" lux (#+ custom)] + ["/" lux {"+" [custom]}] [// ["." bundle] [// - ["." analysis #_ + ["." analysis "_" ["#/." type]] [// - ["." analysis (#+ Analysis Operation Phase Handler Bundle)] + ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}] [/// ["." phase]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux index 7efd44bcd..953a9aaa4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux @@ -1,62 +1,62 @@ (.module: [library - [lux (#- Type Module primitive type char int) - ["." ffi (#+ import:)] + [lux {"-" [Type Module primitive type char int]} + ["." ffi {"+" [import:]}] ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control pipe ["." maybe] - ["." try (#+ Try) ("#\." monad)] - ["." exception (#+ exception:)] + ["." try {"+" [Try]} ("#\." monad)] + ["." exception {"+" [exception:]}] ["<>" parser - ["<.>" code (#+ Parser)] + ["<.>" code {"+" [Parser]}] ["<.>" text]]] [data ["." product] ["." text ("#\." equivalence) - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." mix monad monoid)] ["." array] - ["." dictionary (#+ Dictionary)]]] + ["." dictionary {"+" [Dictionary]}]]] [math [number ["n" nat]]] [target - ["." jvm #_ + ["." jvm "_" [".!" reflection] [encoding - [name (#+ External)]] - ["#" type (#+ Type Argument Typed) ("#\." equivalence) - ["." category (#+ Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method)] + [name {"+" [External]}]] + ["#" type {"+" [Type Argument Typed]} ("#\." equivalence) + ["." category {"+" [Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method]}] ["." box] ["." reflection] ["." descriptor] ["." signature] ["#_." parser] - ["#_." alias (#+ Aliasing)] - [".T" lux (#+ Mapping)]]]] + ["#_." alias {"+" [Aliasing]}] + [".T" lux {"+" [Mapping]}]]]] ["." type - ["." check (#+ Check) ("#\." monad)]]]] - ["." // #_ - ["#." lux (#+ custom)] + ["." check {"+" [Check]} ("#\." monad)]]]] + ["." // "_" + ["#." lux {"+" [custom]}] ["/#" // ["#." bundle] - ["/#" // #_ + ["/#" // "_" [analysis [".A" type] [".A" inference] ["." scope]] - ["/#" // #_ - ["#." analysis (#+ Analysis Operation Phase Handler Bundle)] + ["/#" // "_" + ["#." analysis {"+" [Analysis Operation Phase Handler Bundle]}] ["#." synthesis] [/// ["." phase ("#\." monad)] [meta - [archive (#+ Archive) - [descriptor (#+ Module)]]]]]]]]) + [archive {"+" [Archive]} + [descriptor {"+" [Module]}]]]]]]]]) (import: java/lang/ClassLoader) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux index 7cfd9eed6..fcdd55439 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lua.lux @@ -1,15 +1,15 @@ (.module: [library - [lux #* + [lux "*" ["." ffi] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["<>" parser - ["<.>" code (#+ Parser)]]] + ["<.>" code {"+" [Parser]}]]] [data [collection - ["." array (#+ Array)] + ["." array {"+" [Array]}] ["." dictionary] ["." list]]] ["." type @@ -17,14 +17,14 @@ ["@" target ["_" lua]]]] [// - ["/" lux (#+ custom)] + ["/" lux {"+" [custom]}] [// ["." bundle] [// - ["." analysis #_ + ["." analysis "_" ["#/." type]] [// - ["." analysis (#+ Analysis Operation Phase Handler Bundle)] + ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}] [/// ["." phase]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux index 278447d11..cc3f13b0a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux @@ -1,20 +1,20 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." maybe] ["." try] - ["." exception (#+ exception:)] + ["." exception {"+" [exception:]}] ["<>" parser - ["<.>" code (#+ Parser)]]] + ["<.>" code {"+" [Parser]}]]] [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)] - ["." dictionary (#+ Dictionary)]]] + ["." dictionary {"+" [Dictionary]}]]] [math [number ["n" nat]]] @@ -23,16 +23,16 @@ ["." meta]]] ["." /// ["#." bundle] - ["/#" // #_ + ["/#" // "_" [analysis [".A" type]] [// - ["#." analysis (#+ Analysis Operation Phase Handler Bundle) - [evaluation (#+ Eval)]] + ["#." analysis {"+" [Analysis Operation Phase Handler Bundle]} + [evaluation {"+" [Eval]}]] [/// ["#" phase] [meta - [archive (#+ Archive)]]]]]]) + [archive {"+" [Archive]}]]]]]]) (def: .public (custom [syntax handler]) (All (_ s) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux index 02cb8bbb7..5edc50baa 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux @@ -1,15 +1,15 @@ (.module: [library - [lux #* + [lux "*" ["." ffi] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["<>" parser - ["<c>" code (#+ Parser)]]] + ["<c>" code {"+" [Parser]}]]] [data [collection - ["." array (#+ Array)] + ["." array {"+" [Array]}] ["." dictionary] ["." list]]] ["." type @@ -17,14 +17,14 @@ ["@" target ["_" php]]]] [// - ["/" lux (#+ custom)] + ["/" lux {"+" [custom]}] [// ["." bundle] [// - ["." analysis #_ + ["." analysis "_" ["#/." type]] [// - ["." analysis (#+ Analysis Operation Phase Handler Bundle)] + ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}] [/// ["." phase]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux index 85b9124ce..5bbaa5947 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/python.lux @@ -1,15 +1,15 @@ (.module: [library - [lux #* + [lux "*" ["." ffi] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["<>" parser - ["<.>" code (#+ Parser)]]] + ["<.>" code {"+" [Parser]}]]] [data [collection - ["." array (#+ Array)] + ["." array {"+" [Array]}] ["." dictionary] ["." list]]] ["." type @@ -17,14 +17,14 @@ ["@" target ["_" python]]]] [// - ["/" lux (#+ custom)] + ["/" lux {"+" [custom]}] [// ["." bundle] [// - ["." analysis #_ + ["." analysis "_" ["#/." type]] [// - ["." analysis (#+ Analysis Operation Phase Handler Bundle)] + ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}] [/// ["." phase]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux index 00e210a54..b9a92f5fe 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/r.lux @@ -1,15 +1,15 @@ (.module: [library - [lux #* + [lux "*" ["." ffi] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["<>" parser - ["<c>" code (#+ Parser)]]] + ["<c>" code {"+" [Parser]}]]] [data [collection - ["." array (#+ Array)] + ["." array {"+" [Array]}] ["." dictionary] ["." list]]] ["." type @@ -17,14 +17,14 @@ ["@" target ["_" r]]]] [// - ["/" lux (#+ custom)] + ["/" lux {"+" [custom]}] [// ["." bundle] [// - ["." analysis #_ + ["." analysis "_" ["#/." type]] [// - ["." analysis (#+ Analysis Operation Phase Handler Bundle)] + ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}] [/// ["." phase]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux index 2f5ef9cbb..e5e7c98a5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/ruby.lux @@ -1,15 +1,15 @@ (.module: [library - [lux #* + [lux "*" ["." ffi] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["<>" parser - ["<c>" code (#+ Parser)]]] + ["<c>" code {"+" [Parser]}]]] [data [collection - ["." array (#+ Array)] + ["." array {"+" [Array]}] ["." dictionary] ["." list]]] ["." type @@ -17,14 +17,14 @@ ["@" target ["_" ruby]]]] [// - ["/" lux (#+ custom)] + ["/" lux {"+" [custom]}] [// ["." bundle] [// - ["." analysis #_ + ["." analysis "_" ["#/." type]] [// - ["." analysis (#+ Analysis Operation Phase Handler Bundle)] + ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}] [/// ["." phase]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux index e29c99177..179af70bc 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/scheme.lux @@ -1,15 +1,15 @@ (.module: [library - [lux #* + [lux "*" ["." ffi] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["<>" parser - ["<c>" code (#+ Parser)]]] + ["<c>" code {"+" [Parser]}]]] [data [collection - ["." array (#+ Array)] + ["." array {"+" [Array]}] ["." dictionary] ["." list]]] ["." type @@ -17,14 +17,14 @@ ["@" target ["_" scheme]]]] [// - ["/" lux (#+ custom)] + ["/" lux {"+" [custom]}] [// ["." bundle] [// - ["." analysis #_ + ["." analysis "_" ["#/." type]] [// - ["." analysis (#+ Analysis Operation Phase Handler Bundle)] + ["." analysis {"+" [Analysis Operation Phase Handler Bundle]}] [/// ["." phase]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux index c3b9b9a9e..07efebff3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/bundle.lux @@ -1,15 +1,15 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)] - ["." dictionary (#+ Dictionary)]]]]] - [// (#+ Handler Bundle)]) + ["." dictionary {"+" [Dictionary]}]]]]] + [// {"+" [Handler Bundle]}]) (def: .public empty Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux index c7e17a992..b07a693e4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux @@ -1,18 +1,18 @@ (.module: [library - [lux (#- Type Definition) + [lux {"-" [Type Definition]} ["." host] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control - [pipe (#+ case>)] + [pipe {"+" [case>]}] ["<>" parser ("#\." monad) - ["<c>" code (#+ Parser)] + ["<c>" code {"+" [Parser]}] ["<t>" text]]] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)] ["." dictionary] @@ -24,34 +24,34 @@ ["." i32]]] [target [jvm - ["_" bytecode (#+ Bytecode)] - ["." modifier (#+ Modifier) ("#\." monoid)] + ["_" bytecode {"+" [Bytecode]}] + ["." modifier {"+" [Modifier]} ("#\." monoid)] ["." attribute] ["." field] ["." version] ["." class] ["." constant - ["." pool (#+ Resource)]] + ["." pool {"+" [Resource]}]] [encoding ["." name]] - ["." type (#+ Type Constraint Argument Typed) - [category (#+ Void Value Return Method Primitive Object Class Array Var Parameter)] - [".T" lux (#+ Mapping)] + ["." type {"+" [Type Constraint Argument Typed]} + [category {"+" [Void Value Return Method Primitive Object Class Array Var Parameter]}] + [".T" lux {"+" [Mapping]}] ["." signature] - ["." descriptor (#+ Descriptor)] + ["." descriptor {"+" [Descriptor]}] ["." parser]]]] [tool [compiler ["." analysis] ["." synthesis] ["." generation] - ["." directive (#+ Handler Bundle)] + ["." directive {"+" [Handler Bundle]}] ["." phase [analysis [".A" type]] ["." generation [jvm - [runtime (#+ Anchor Definition)]]] + [runtime {"+" [Anchor Definition]}]]] ["." extension ["." bundle] [analysis @@ -59,7 +59,7 @@ [directive ["/" lux]]]]]] [type - ["." check (#+ Check)]]]]) + ["." check {"+" [Check]}]]]]) (type: Operation (directive.Operation Anchor (Bytecode Any) Definition)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux index 46dd5d709..72b5692ed 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux @@ -1,19 +1,19 @@ (.module: [library - [lux #* + [lux "*" ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control - [io (#+ IO)] + [io {"+" [IO]}] ["." try] - ["." exception (#+ exception:)] + ["." exception {"+" [exception:]}] ["<>" parser - ["<.>" code (#+ Parser)]]] + ["<.>" code {"+" [Parser]}]]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." dictionary]]] [macro @@ -21,27 +21,27 @@ [math [number ["n" nat]]] - ["." type (#+ :sharing) + ["." type {"+" [:sharing]} ["." check]]]] - ["." /// (#+ Extender) + ["." /// {"+" [Extender]} ["#." bundle] ["#." analysis] - ["/#" // #_ + ["/#" // "_" [analysis ["." module] [".A" type]] - ["/#" // #_ + ["/#" // "_" ["#." analysis - [macro (#+ Expander)] + [macro {"+" [Expander]}] ["#/." evaluation]] - ["#." synthesis (#+ Synthesis)] - ["#." generation (#+ Context)] - ["#." directive (#+ Import Requirements Phase Operation Handler Bundle)] - ["#." program (#+ Program)] + ["#." synthesis {"+" [Synthesis]}] + ["#." generation {"+" [Context]}] + ["#." directive {"+" [Import Requirements Phase Operation Handler Bundle]}] + ["#." program {"+" [Program]}] [/// ["." phase] [meta - ["." archive (#+ Archive)]]]]]]) + ["." archive {"+" [Archive]}]]]]]]) (def: .public (custom [syntax handler]) (All (_ anchor expression directive s) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux index 6d5995330..0992cd220 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] - ["." / #_ + ["." / "_" ["#." common] ["#." host] [//// [generation [common_lisp - [runtime (#+ Bundle)]]]]]) + [runtime {"+" [Bundle]}]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux index 3f63dbcd9..713343997 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["." try] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." dictionary] ["." set] @@ -20,20 +20,20 @@ [number ["f" frac]]] ["@" target - ["_" common_lisp (#+ Expression)]]]] - ["." //// #_ + ["_" common_lisp {"+" [Expression]}]]]] + ["." //// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] ["." reference] - ["//" common_lisp #_ - ["#." runtime (#+ Operation Phase Handler Bundle Generator)] + ["//" common_lisp "_" + ["#." runtime {"+" [Operation Phase Handler Bundle Generator]}] ["#." case]]] [// - ["." synthesis (#+ %synthesis)] + ["." synthesis {"+" [%synthesis]}] ["." generation] [/// ["#" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux index a4aa3e5e8..5a3e8bc9a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/host.lux @@ -1,36 +1,36 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data [collection ["." dictionary] ["." list]] [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [target - ["_" common_lisp (#+ Var Expression)]]]] - ["." // #_ - ["#." common (#+ custom)] - ["//#" /// #_ + ["_" common_lisp {"+" [Var Expression]}]]]] + ["." // "_" + ["#." common {"+" [custom]}] + ["//#" /// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] ["." reference] - ["//" common_lisp #_ - ["#." runtime (#+ Operation Phase Handler Bundle - with_vars)]]] - ["/#" // #_ + ["//" common_lisp "_" + ["#." runtime {"+" [Operation Phase Handler Bundle + with_vars]}]]] + ["/#" // "_" ["." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase]]]]]]) (def: .public bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux index d4580215f..4f4bb191f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] - ["." / #_ + ["." / "_" ["#." common] ["#." host] [//// [generation [js - [runtime (#+ Bundle)]]]]]) + [runtime {"+" [Bundle]}]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux index be57d4c55..c86f34dc9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/common.lux @@ -1,12 +1,12 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." try] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data ["." product] [collection @@ -16,16 +16,16 @@ [number ["f" frac]]] ["@" target - ["_" js (#+ Literal Expression Statement)]]]] - ["." //// #_ + ["_" js {"+" [Literal Expression Statement]}]]]] + ["." //// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] - ["//" js #_ - ["#." runtime (#+ Operation Phase Phase! Handler Bundle Generator)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] + ["//" js "_" + ["#." runtime {"+" [Operation Phase Phase! Handler Bundle Generator]}] ["#." primitive] ["#." structure] ["#." reference] @@ -33,8 +33,8 @@ ["#." loop] ["#." function]]] [// - [analysis (#+)] - ["." synthesis (#+ %synthesis)] + [analysis {"+" []}] + ["." synthesis {"+" [%synthesis]}] [/// ["#" phase ("#\." monad)]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux index 546085ce4..e37c2abf3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/js/host.lux @@ -1,33 +1,33 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data [collection ["." dictionary] ["." list]]] [target - ["_" js (#+ Var Expression)]]]] - ["." // #_ - ["#." common (#+ custom)] - ["//#" /// #_ + ["_" js {"+" [Var Expression]}]]]] + ["." // "_" + ["#." common {"+" [custom]}] + ["//#" /// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] - ["//" js #_ - ["#." runtime (#+ Operation Phase Handler Bundle - with_vars)]]] - ["/#" // #_ + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] + ["//" js "_" + ["#." runtime {"+" [Operation Phase Handler Bundle + with_vars]}]]] + ["/#" // "_" ["." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase]]]]]]) (def: array::new diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux index 43bc68142..cbd03e12b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] - ["." / #_ + ["." / "_" ["#." common] ["#." host] [//// [generation [jvm - [runtime (#+ Bundle)]]]]]) + [runtime {"+" [Bundle]}]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux index ce860dbf9..ce8ecb7fb 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/common.lux @@ -1,13 +1,13 @@ (.module: [library - [lux (#- Type) + [lux {"-" [Type]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." try] - ["." exception (#+ exception:)] + ["." exception {"+" [exception:]}] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data ["." product] [number @@ -18,29 +18,29 @@ ["." dictionary]]] [target [jvm - ["_" bytecode (#+ Label Bytecode) ("#\." monad)] + ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)] [encoding - ["." signed (#+ S4)]] - ["." type (#+ Type) - [category (#+ Primitive Class)]]]]]] - ["." ///// #_ + ["." signed {"+" [S4]}]] + ["." type {"+" [Type]} + [category {"+" [Primitive Class]}]]]]]] + ["." ///// "_" [generation - [extension (#+ Nullary Unary Binary Trinary Variadic - nullary unary binary trinary variadic)] - ["///" jvm #_ + [extension {"+" [Nullary Unary Binary Trinary Variadic + nullary unary binary trinary variadic]}] + ["///" jvm "_" ["#." value] - ["#." runtime (#+ Operation Phase Bundle Handler)] - ["#." function #_ + ["#." runtime {"+" [Operation Phase Bundle Handler]}] + ["#." function "_" ["#" abstract]]]] [extension ["#extension" /] ["#." bundle]] [// - ["/#." synthesis (#+ Synthesis %synthesis)] + ["/#." synthesis {"+" [Synthesis %synthesis]}] [/// ["#" phase] [meta - [archive (#+ Archive)]]]]]) + [archive {"+" [Archive]}]]]]]) (def: .public (custom [parser handler]) (All (_ s) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux index cf9f14c00..b112ee9a3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux @@ -1,54 +1,54 @@ (.module: [library - [lux (#- Type) + [lux {"-" [Type]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." maybe] ["." try] - ["." exception (#+ exception:)] + ["." exception {"+" [exception:]}] ["<>" parser ["<t>" text] - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data ["." product] ["." text ("#\." equivalence) - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [number ["." i32]] [collection ["." list ("#\." monad)] - ["." dictionary (#+ Dictionary)] + ["." dictionary {"+" [Dictionary]}] ["." set] ["." row]] - ["." format #_ + ["." format "_" ["#" binary]]] [target [jvm ["." version] ["." modifier ("#\." monoid)] - ["." method (#+ Method)] - ["." class (#+ Class)] + ["." method {"+" [Method]}] + ["." class {"+" [Class]}] [constant - [pool (#+ Resource)]] + [pool {"+" [Resource]}]] [encoding ["." name]] - ["_" bytecode (#+ Label Bytecode) ("#\." monad) - ["__" instruction (#+ Primitive_Array_Type)]] - ["." type (#+ Type Typed Argument) - ["." category (#+ Void Value' Value Return' Return Primitive Object Array Var Parameter)] + ["_" bytecode {"+" [Label Bytecode]} ("#\." monad) + ["__" instruction {"+" [Primitive_Array_Type]}]] + ["." type {"+" [Type Typed Argument]} + ["." category {"+" [Void Value' Value Return' Return Primitive Object Array Var Parameter]}] ["." box] ["." reflection] ["." signature] ["." parser]]]]]] - ["." // #_ - [common (#+ custom)] - ["///#" //// #_ + ["." // "_" + [common {"+" [custom]}] + ["///#" //// "_" [generation - [extension (#+ Nullary Unary Binary Trinary Variadic - nullary unary binary trinary variadic)] + [extension {"+" [Nullary Unary Binary Trinary Variadic + nullary unary binary trinary variadic]}] ["///" jvm - ["#." runtime (#+ Operation Bundle Phase Handler)] + ["#." runtime {"+" [Operation Bundle Phase Handler]}] ["#." reference] [function [field @@ -58,16 +58,16 @@ ["#." bundle] [analysis ["/" jvm]]] - ["/#" // #_ - [analysis (#+ Environment)] - ["#." synthesis (#+ Synthesis Path %synthesis)] + ["/#" // "_" + [analysis {"+" [Environment]}] + ["#." synthesis {"+" [Synthesis Path %synthesis]}] ["#." generation] [/// ["#" phase] [reference - ["#." variable (#+ Variable)]] + ["#." variable {"+" [Variable]}]] [meta - ["." archive (#+ Archive)]]]]]]) + ["." archive {"+" [Archive]}]]]]]]) (template [<name> <0> <1>] [(def: <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux index 93062f68c..55320a5dd 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] - ["." / #_ + ["." / "_" ["#." common] ["#." host] [//// [generation [lua - [runtime (#+ Bundle)]]]]]) + [runtime {"+" [Bundle]}]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux index 4cfaa6335..c6401872e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/common.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["." try] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." dictionary] ["." list ("#\." functor mix)]]] @@ -19,16 +19,16 @@ [number ["f" frac]]] ["@" target - ["_" lua (#+ Expression Statement)]]]] - ["." //// #_ + ["_" lua {"+" [Expression Statement]}]]]] + ["." //// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] - ["//" lua #_ - ["#." runtime (#+ Operation Phase Phase! Handler Bundle Generator)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] + ["//" lua "_" + ["#." runtime {"+" [Operation Phase Phase! Handler Bundle Generator]}] ["#." primitive] ["#." structure] ["#." reference] @@ -36,7 +36,7 @@ ["#." loop] ["#." function]]] [// - ["." synthesis (#+ %synthesis)] + ["." synthesis {"+" [%synthesis]}] ["." generation] [/// ["#" phase ("#\." monad)]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux index a1bffe3cf..1a041a49e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/lua/host.lux @@ -1,36 +1,36 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data [collection ["." dictionary] ["." list]] [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [target - ["_" lua (#+ Var Expression)]]]] - ["." // #_ - ["#." common (#+ custom)] - ["//#" /// #_ + ["_" lua {"+" [Var Expression]}]]]] + ["." // "_" + ["#." common {"+" [custom]}] + ["//#" /// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] ["." reference] - ["//" lua #_ - ["#." runtime (#+ Operation Phase Handler Bundle - with_vars)]]] - ["/#" // #_ + ["//" lua "_" + ["#." runtime {"+" [Operation Phase Handler Bundle + with_vars]}]]] + ["/#" // "_" ["." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase]]]]]]) (def: array::new diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux index 552a0756c..1815d08fa 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] - ["." / #_ + ["." / "_" ["#." common] ["#." host] [//// [generation [php - [runtime (#+ Bundle)]]]]]) + [runtime {"+" [Bundle]}]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux index 0ba08dfd9..b176ca30d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/common.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["." try] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." dictionary] ["." set] @@ -20,20 +20,20 @@ [number ["f" frac]]] ["@" target - ["_" php (#+ Expression)]]]] - ["." //// #_ + ["_" php {"+" [Expression]}]]]] + ["." //// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] ["." reference] - ["//" php #_ - ["#." runtime (#+ Operation Phase Handler Bundle Generator)] + ["//" php "_" + ["#." runtime {"+" [Operation Phase Handler Bundle Generator]}] ["#." case]]] [// - ["." synthesis (#+ %synthesis)] + ["." synthesis {"+" [%synthesis]}] ["." generation] [/// ["#" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux index e391dba46..c577f36c1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/php/host.lux @@ -1,36 +1,36 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data [collection ["." dictionary] ["." list]] [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [target - ["_" php (#+ Var Expression)]]]] - ["." // #_ - ["#." common (#+ custom)] - ["//#" /// #_ + ["_" php {"+" [Var Expression]}]]]] + ["." // "_" + ["#." common {"+" [custom]}] + ["//#" /// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] ["." reference] - ["//" php #_ - ["#." runtime (#+ Operation Phase Handler Bundle - with_vars)]]] - ["/#" // #_ + ["//" php "_" + ["#." runtime {"+" [Operation Phase Handler Bundle + with_vars]}]]] + ["/#" // "_" ["." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase]]]]]]) (def: (array::new size) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux index b0bab688a..17c4e2402 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] - ["." / #_ + ["." / "_" ["#." common] ["#." host] [//// [generation [python - [runtime (#+ Bundle)]]]]]) + [runtime {"+" [Bundle]}]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux index fcf5e8b2d..7f4cf2e80 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/common.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["." try] ["<>" parser - ["<.>" synthesis (#+ Parser)]]] + ["<.>" synthesis {"+" [Parser]}]]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." dictionary] ["." list ("#\." functor mix)]]] @@ -19,17 +19,17 @@ [number ["f" frac]]] [target - ["_" python (#+ Expression Statement)]]]] - ["." //// #_ + ["_" python {"+" [Expression Statement]}]]]] + ["." //// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation ["." reference] - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] - ["//" python #_ - ["#." runtime (#+ Operation Phase Phase! Handler Bundle Generator)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] + ["//" python "_" + ["#." runtime {"+" [Operation Phase Phase! Handler Bundle Generator]}] ["#." primitive] ["#." structure] ["#." reference] @@ -37,8 +37,8 @@ ["#." case] ["#." loop]]] [// - [analysis (#+)] - ["." synthesis (#+ %synthesis)] + [analysis {"+" []}] + ["." synthesis {"+" [%synthesis]}] ["." generation] [/// ["#" phase ("#\." monad)]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux index c5b2d8abf..276edc180 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/python/host.lux @@ -1,33 +1,33 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data [collection ["." dictionary] ["." list]]] [target - ["_" python (#+ Expression SVar)]]]] - ["." // #_ - ["#." common (#+ custom)] - ["//#" /// #_ + ["_" python {"+" [Expression SVar]}]]]] + ["." // "_" + ["#." common {"+" [custom]}] + ["//#" /// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] - ["//" python #_ - ["#." runtime (#+ Operation Phase Handler Bundle - with_vars)]]] - ["/#" // #_ + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] + ["//" python "_" + ["#." runtime {"+" [Operation Phase Handler Bundle + with_vars]}]]] + ["/#" // "_" ["." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase]]]]]]) (def: (array::new size) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux index 504e5d5e9..256bca1b1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] - ["." / #_ + ["." / "_" ["#." common] ["#." host] [//// [generation [r - [runtime (#+ Bundle)]]]]]) + [runtime {"+" [Bundle]}]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux index a07c72c74..4a736b151 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/common.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["." try] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." dictionary] ["." set] @@ -20,20 +20,20 @@ [number ["f" frac]]] ["@" target - ["_" r (#+ Expression)]]]] - ["." //// #_ + ["_" r {"+" [Expression]}]]]] + ["." //// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] ["." reference] - ["//" r #_ - ["#." runtime (#+ Operation Phase Handler Bundle Generator)] + ["//" r "_" + ["#." runtime {"+" [Operation Phase Handler Bundle Generator]}] ["#." case]]] [// - ["." synthesis (#+ %synthesis)] + ["." synthesis {"+" [%synthesis]}] ["." generation] [/// ["#" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux index f36b10e83..38613dbe3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/r/host.lux @@ -1,36 +1,36 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data [collection ["." dictionary] ["." list]] [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [target - ["_" r (#+ Var Expression)]]]] - ["." // #_ - ["#." common (#+ custom)] - ["//#" /// #_ + ["_" r {"+" [Var Expression]}]]]] + ["." // "_" + ["#." common {"+" [custom]}] + ["//#" /// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] ["." reference] - ["//" r #_ - ["#." runtime (#+ Operation Phase Handler Bundle - with_vars)]]] - ["/#" // #_ + ["//" r "_" + ["#." runtime {"+" [Operation Phase Handler Bundle + with_vars]}]]] + ["/#" // "_" ["." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase]]]]]]) (def: .public bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux index 42518bd79..e638baf9e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] - ["." / #_ + ["." / "_" ["#." common] ["#." host] [//// [generation [ruby - [runtime (#+ Bundle)]]]]]) + [runtime {"+" [Bundle]}]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux index d55550954..1fe6627fa 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/common.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["." try] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." dictionary] ["." list ("#\." functor mix)]]] @@ -19,16 +19,16 @@ [number ["f" frac]]] [target - ["_" ruby (#+ Expression Statement)]]]] - ["." //// #_ + ["_" ruby {"+" [Expression Statement]}]]]] + ["." //// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] - ["//" ruby #_ - ["#." runtime (#+ Operation Phase Phase! Handler Bundle Generator)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] + ["//" ruby "_" + ["#." runtime {"+" [Operation Phase Phase! Handler Bundle Generator]}] ["#." primitive] ["#." structure] ["#." reference] @@ -36,7 +36,7 @@ ["#." case] ["#." loop]]] [// - ["." synthesis (#+ %synthesis)] + ["." synthesis {"+" [%synthesis]}] ["." generation] [/// ["#" phase ("#\." monad)]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux index 98edb6d30..db6864e97 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/ruby/host.lux @@ -1,36 +1,36 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data [collection ["." dictionary] ["." list]] [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [target - ["_" ruby (#+ Var Expression)]]]] - ["." // #_ - ["#." common (#+ custom)] - ["//#" /// #_ + ["_" ruby {"+" [Var Expression]}]]]] + ["." // "_" + ["#." common {"+" [custom]}] + ["//#" /// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] ["." reference] - ["//" ruby #_ - ["#." runtime (#+ Operation Phase Handler Bundle - with_vars)]]] - ["/#" // #_ + ["//" ruby "_" + ["#." runtime {"+" [Operation Phase Handler Bundle + with_vars]}]]] + ["/#" // "_" ["." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase]]]]]]) (def: (array::new [size]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux index 2fd37b5d7..83b5f4a56 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme.lux @@ -1,16 +1,16 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] - ["." / #_ + ["." / "_" ["#." common] ["#." host] [//// [generation [scheme - [runtime (#+ Bundle)]]]]]) + [runtime {"+" [Bundle]}]]]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux index e51c2b542..228c6e4f1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/common.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["." try] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." dictionary] ["." set] @@ -20,20 +20,20 @@ [number ["f" frac]]] ["@" target - ["_" scheme (#+ Expression)]]]] - ["." //// #_ + ["_" scheme {"+" [Expression]}]]]] + ["." //// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] ["." reference] - ["//" scheme #_ - ["#." runtime (#+ Operation Phase Handler Bundle Generator)] + ["//" scheme "_" + ["#." runtime {"+" [Operation Phase Handler Bundle Generator]}] ["#." case]]] [// - ["." synthesis (#+ %synthesis)] + ["." synthesis {"+" [%synthesis]}] ["." generation] [/// ["#" phase]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux index cd2b46e13..dc7215b53 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/scheme/host.lux @@ -1,36 +1,36 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser - ["<s>" synthesis (#+ Parser)]]] + ["<s>" synthesis {"+" [Parser]}]]] [data [collection ["." dictionary] ["." list]] [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [target - ["_" scheme (#+ Var Expression)]]]] - ["." // #_ - ["#." common (#+ custom)] - ["//#" /// #_ + ["_" scheme {"+" [Var Expression]}]]]] + ["." // "_" + ["#." common {"+" [custom]}] + ["//#" /// "_" ["/" bundle] - ["/#" // #_ + ["/#" // "_" ["." extension] [generation - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] ["." reference] - ["//" scheme #_ - ["#." runtime (#+ Operation Phase Handler Bundle - with_vars)]]] - ["/#" // #_ + ["//" scheme "_" + ["#." runtime {"+" [Operation Phase Handler Bundle + with_vars]}]]] + ["/#" // "_" ["." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase]]]]]]) (def: (array::new size) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux index 557dac7ac..69be9bd6e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/synthesis.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #*]] + [lux "*"]] [// ["." bundle] [/// - [synthesis (#+ Bundle)]]]) + [synthesis {"+" [Bundle]}]]]) (def: .public bundle Bundle diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux index 3a0578db1..00f493422 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp.lux @@ -1,27 +1,27 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]]]] - ["." / #_ - [runtime (#+ Phase)] + [monad {"+" [do]}]]]] + ["." / "_" + [runtime {"+" [Phase]}] ["#." primitive] ["#." structure] ["#." reference] ["#." case] ["#." loop] ["#." function] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" ["#." extension] - ["/#" // #_ - [analysis (#+)] + ["/#" // "_" + [analysis {"+" []}] ["#." synthesis] - ["//#" /// #_ + ["//#" /// "_" ["#." phase ("#\." monad)] - [reference (#+) - [variable (#+)]]]]]]]) + [reference {"+" []} + [variable {"+" []}]]]]]]]) (def: .public (generate archive synthesis) Phase diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux index 8577bb82a..67b9060ad 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/case.lux @@ -1,13 +1,13 @@ (.module: [library - [lux (#- case let if) + [lux {"-" [case let if]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix monoid)] ["." set]]] @@ -15,25 +15,25 @@ [number ["n" nat]]] [target - ["_" common_lisp (#+ Expression Var/1)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" common_lisp {"+" [Expression Var/1]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." reference] ["#." primitive] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ - ["#." synthesis #_ + ["/#" // "_" + ["#." synthesis "_" ["#/." case]] - ["/#" // #_ - ["#." synthesis (#+ Member Synthesis Path)] + ["/#" // "_" + ["#." synthesis {"+" [Member Synthesis Path]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" [reference - ["#." variable (#+ Register)]] + ["#." variable {"+" [Register]}]] ["#." phase ("#\." monad)] [meta - [archive (#+ Archive)]]]]]]]) + [archive {"+" [Archive]}]]]]]]]) (def: .public register (-> Register Var/1) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux index 17052fb88..6e255664b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension.lux @@ -1,11 +1,11 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] [// - [runtime (#+ Bundle)]] + [runtime {"+" [Bundle]}]] [/ ["." common]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux index c4b5b3764..ec5baaf7f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/extension/common.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function]] [data @@ -12,13 +12,13 @@ [collection ["." dictionary]]] [target - ["_" common_lisp (#+ Expression)]]]] - ["." /// #_ - ["#." runtime (#+ Operation Phase Handler Bundle)] + ["_" common_lisp {"+" [Expression]}]]]] + ["." /// "_" + ["#." runtime {"+" [Operation Phase Handler Bundle]}] ["#." primitive] [// - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] [// [extension ["." bundle]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux index 9a2b543d9..b1be4e914 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/function.lux @@ -1,33 +1,33 @@ (.module: [library - [lux (#- function) + [lux {"-" [function]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control pipe] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)]]] [target - ["_" common_lisp (#+ Expression Var/1)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" common_lisp {"+" [Expression Var/1]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." reference] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["//#" /// #_ - [analysis (#+ Variant Tuple Abstraction Application Analysis)] - [synthesis (#+ Synthesis)] - ["#." generation (#+ Context)] - ["//#" /// #_ - [arity (#+ Arity)] + ["//#" /// "_" + [analysis {"+" [Variant Tuple Abstraction Application Analysis]}] + [synthesis {"+" [Synthesis]}] + ["#." generation {"+" [Context]}] + ["//#" /// "_" + [arity {"+" [Arity]}] ["#." phase ("#\." monad)] [reference - [variable (#+ Register Variable)]]]]]]) + [variable {"+" [Register Variable]}]]]]]]) (def: .public (apply expression archive [functionS argsS+]) (Generator (Application Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux index 592733e5e..9d1a27f7a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/loop.lux @@ -1,36 +1,36 @@ (.module: [library - [lux (#- Scope) + [lux {"-" [Scope]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)]]] [math [number ["n" nat]]] [target - ["_" common_lisp (#+ Expression)]]]] - ["." // #_ - [runtime (#+ Operation Phase Generator)] + ["_" common_lisp {"+" [Expression]}]]]] + ["." // "_" + [runtime {"+" [Operation Phase Generator]}] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" [synthesis ["." case]] - ["/#" // #_ - ["."synthesis (#+ Scope Synthesis)] + ["/#" // "_" + ["."synthesis {"+" [Scope Synthesis]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase] [meta - [archive (#+ Archive)]] + [archive {"+" [Archive]}]] [reference - [variable (#+ Register)]]]]]]]) + [variable {"+" [Register]}]]]]]]]) (def: .public (scope expression archive [start initsS+ bodyS]) (Generator (Scope Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/primitive.lux index c3417e461..33c46df80 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/primitive.lux @@ -1,8 +1,8 @@ (.module: [library - [lux (#- i64) + [lux {"-" [i64]} [target - ["_" common_lisp (#+ Expression)]]]]) + ["_" common_lisp {"+" [Expression]}]]]]) (def: .public bit (-> Bit (Expression Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux index a12a8c590..d7ecb7abd 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [target - ["_" common_lisp (#+ Expression)]]]] + ["_" common_lisp {"+" [Expression]}]]]] [/// - [reference (#+ System)]]) + [reference {"+" [System]}]]) (implementation: .public system (System (Expression Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux index c478118de..c891ba166 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/runtime.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- Location) + [lux {"-" [Location]} ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser @@ -11,32 +11,32 @@ [data ["." product] ["." text ("#\." hash) - ["%" format (#+ format)] + ["%" format {"+" [format]}] ["." encoding]] [collection ["." list ("#\." functor monoid)] ["." row]]] ["." macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]] [math - [number (#+ hex) + [number {"+" [hex]} ["." i64]]] ["@" target - ["_" common_lisp (#+ Expression Computation Literal)]]]] - ["." /// #_ + ["_" common_lisp {"+" [Expression Computation Literal]}]]]] + ["." /// "_" ["#." reference] - ["//#" /// #_ - [analysis (#+ Variant)] - ["#." synthesis (#+ Synthesis)] + ["//#" /// "_" + [analysis {"+" [Variant]}] + ["#." synthesis {"+" [Synthesis]}] ["#." generation] ["//#" /// ["#." phase] [reference - [variable (#+ Register)]] + [variable {"+" [Register]}]] [meta - [archive (#+ Output Archive) - ["." artifact (#+ Registry)]]]]]]) + [archive {"+" [Output Archive]} + ["." artifact {"+" [Registry]}]]]]]]) (def: module_id 0) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux index c8f9230a3..d370aca6a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/common_lisp/structure.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [target - ["_" common_lisp (#+ Expression)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" common_lisp {"+" [Expression]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." primitive] - ["///#" //// #_ - [analysis (#+ Variant Tuple)] - ["#." synthesis (#+ Synthesis)] - ["//#" /// #_ + ["///#" //// "_" + [analysis {"+" [Variant Tuple]}] + ["#." synthesis {"+" [Synthesis]}] + ["//#" /// "_" ["#." phase ("#\." monad)]]]]) (def: .public (tuple expression archive elemsS+) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux index 5c5e43e8b..434c0836a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/extension.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control [parser ["<.>" code]]] @@ -10,13 +10,13 @@ [collection ["." list ("#\." functor)]]] ["." meta] - ["." macro (#+ with_identifiers) + ["." macro {"+" [with_identifiers]} ["." code] - [syntax (#+ syntax:)]]]] - ["." /// #_ + [syntax {"+" [syntax:]}]]]] + ["." /// "_" ["#." extension] [// - [synthesis (#+ Synthesis)] + [synthesis {"+" [Synthesis]}] ["." generation] [/// ["#" phase]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux index c240161ee..c37946c77 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js.lux @@ -1,34 +1,34 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [target ["_" js]]]] - ["." / #_ - [runtime (#+ Phase Phase!)] + ["." / "_" + [runtime {"+" [Phase Phase!]}] ["#." primitive] ["#." structure] ["#." reference] ["#." case] ["#." loop] ["#." function] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" ["#." extension [generation [js ["#/." common]]]] - ["/#" // #_ - [analysis (#+)] + ["/#" // "_" + [analysis {"+" []}] ["." synthesis] - ["//#" /// #_ + ["//#" /// "_" ["#." phase ("#\." monad)] - [reference (#+) - [variable (#+)]]]]]]]) + [reference {"+" []} + [variable {"+" []}]]]]]]]) (exception: .public cannot_recur_as_an_expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux index 2b80bcc35..7194bb0e6 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/case.lux @@ -1,8 +1,8 @@ (.module: [library - [lux (#- case let if) + [lux {"-" [case let if]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." maybe]] [data @@ -13,24 +13,24 @@ [number ["n" nat]]] [target - ["_" js (#+ Expression Computation Var Statement)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Phase! Generator Generator!)] + ["_" js {"+" [Expression Computation Var Statement]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Phase! Generator Generator!]}] ["#." reference] ["#." primitive] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ - ["#." synthesis #_ + ["/#" // "_" + ["#." synthesis "_" ["#/." case]] - ["/#" // #_ - ["#." synthesis (#+ Member Synthesis Path)] - ["//#" /// #_ + ["/#" // "_" + ["#." synthesis {"+" [Member Synthesis Path]}] + ["//#" /// "_" [reference - [variable (#+ Register)]] + [variable {"+" [Register]}]] ["#." phase ("#\." monad)] [meta - [archive (#+ Archive)]]]]]]]) + [archive {"+" [Archive]}]]]]]]]) (def: .public register (-> Register Var) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux index 11a0b5640..819cb2769 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/function.lux @@ -1,31 +1,31 @@ (.module: [library - [lux (#- Variant Tuple function) + [lux {"-" [Variant Tuple function]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)]]] [target - ["_" js (#+ Expression Computation Var Statement)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Phase! Generator)] + ["_" js {"+" [Expression Computation Var Statement]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Phase! Generator]}] ["#." reference] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["//#" /// #_ - [analysis (#+ Variant Tuple Abstraction Application Analysis)] - [synthesis (#+ Synthesis)] - ["#." generation (#+ Context)] - ["//#" /// #_ - [arity (#+ Arity)] + ["//#" /// "_" + [analysis {"+" [Variant Tuple Abstraction Application Analysis]}] + [synthesis {"+" [Synthesis]}] + ["#." generation {"+" [Context]}] + ["//#" /// "_" + [arity {"+" [Arity]}] ["#." phase ("#\." monad)] [reference - [variable (#+ Register Variable)]]]]]]) + [variable {"+" [Register Variable]}]]]]]]) (def: .public (apply expression archive [functionS argsS+]) (Generator (Application Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux index 7946e7b12..2e2e21522 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/loop.lux @@ -1,29 +1,29 @@ (.module: [library - [lux (#- Scope) + [lux {"-" [Scope]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)]]] [math [number ["n" nat]]] [target - ["_" js (#+ Computation Var Expression Statement)]]]] - ["." // #_ - [runtime (#+ Operation Phase Phase! Generator Generator!)] + ["_" js {"+" [Computation Var Expression Statement]}]]]] + ["." // "_" + [runtime {"+" [Operation Phase Phase! Generator Generator!]}] ["#." case] - ["///#" //// #_ - [synthesis (#+ Scope Synthesis)] + ["///#" //// "_" + [synthesis {"+" [Scope Synthesis]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase] [reference - [variable (#+ Register)]]]]]) + [variable {"+" [Register]}]]]]]) (def: @scope (-> Nat Text) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux index 711a72275..ba2d683f0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/primitive.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- i64) + [lux {"-" [i64]} [target - ["_" js (#+ Computation)]]]] - ["." // #_ + ["_" js {"+" [Computation]}]]]] + ["." // "_" ["#." runtime]]) (def: .public bit diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/reference.lux index 646852129..c2bf71750 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/reference.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [target - ["_" js (#+ Expression)]]]] + ["_" js {"+" [Expression]}]]]] [/// - [reference (#+ System)]]) + [reference {"+" [System]}]]) (implementation: .public system (System Expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux index b76af26be..0263cb579 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/runtime.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- i64) + [lux {"-" [i64]} ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser @@ -11,37 +11,37 @@ [data ["." product] ["." text ("#\." hash) - ["%" format (#+ format)] + ["%" format {"+" [format]}] [encoding ["." utf8]]] [collection ["." list ("#\." functor)] ["." row]]] ["." macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]] [math - [number (#+ hex) + [number {"+" [hex]} ["." i64]]] [target - ["_" js (#+ Expression Var Computation Statement)]] + ["_" js {"+" [Expression Var Computation Statement]}]] [tool [compiler [language [lux ["$" version]]]]]]] - ["." /// #_ + ["." /// "_" ["#." reference] - ["//#" /// #_ - ["#." synthesis (#+ Synthesis)] + ["//#" /// "_" + ["#." synthesis {"+" [Synthesis]}] ["#." generation] ["//#" /// ["#." phase] [reference - [variable (#+ Register)]] + [variable {"+" [Register]}]] [meta - [archive (#+ Output Archive) - ["." artifact (#+ Registry)]]]]]]) + [archive {"+" [Output Archive]} + ["." artifact {"+" [Registry]}]]]]]]) (template [<name> <base>] [(type: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux index 8b91f6d95..c92df3024 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/js/structure.lux @@ -1,16 +1,16 @@ (.module: [library - [lux (#- Variant Tuple) + [lux {"-" [Variant Tuple]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [target - ["_" js (#+ Expression)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" js {"+" [Expression]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." primitive] - ["///#" //// #_ - [analysis (#+ Variant Tuple)] - ["#." synthesis (#+ Synthesis)] + ["///#" //// "_" + [analysis {"+" [Variant Tuple]}] + ["#." synthesis {"+" [Synthesis]}] ["//#" /// ["#." phase ("#\." monad)]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux index bece6d582..07045ccdd 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]]]] - ["." / #_ - [runtime (#+ Phase)] + [monad {"+" [do]}]]]] + ["." / "_" + [runtime {"+" [Phase]}] ["#." primitive] ["#." structure] ["#." reference] ["#." function] ["#." case] ["#." loop] - ["//#" /// #_ + ["//#" /// "_" ["#." extension] [// ["." synthesis] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux index 928fbb101..61f9ce83b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux @@ -1,8 +1,8 @@ (.module: [library - [lux (#- Type if let case int) + [lux {"-" [Type if let case int]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function]] [data @@ -13,21 +13,21 @@ ["." list ("#\." mix)]]] [target [jvm - ["_" bytecode (#+ Label Bytecode) ("#\." monad)] - ["." type (#+ Type) - [category (#+ Method)]]]]]] - ["." // #_ + ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)] + ["." type {"+" [Type]} + [category {"+" [Method]}]]]]]] + ["." // "_" ["#." type] - ["#." runtime (#+ Operation Phase Generator)] + ["#." runtime {"+" [Operation Phase Generator]}] ["#." value] ["#." structure] [//// - ["." synthesis (#+ Path Synthesis)] + ["." synthesis {"+" [Path Synthesis]}] ["." generation] [/// ["." phase ("operation\." monad)] [reference - [variable (#+ Register)]]]]]) + [variable {"+" [Register]}]]]]]) (def: equals_name "equals") diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux index d830d478f..d4a2c34f4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/debug.lux @@ -1,17 +1,17 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control - ["." io (#+ IO)] - ["." try (#+ Try)]] + ["." io {"+" [IO]}] + ["." try {"+" [Try]}]] [data - [binary (#+ Binary)] + [binary {"+" [Binary]}] [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [world - ["." file (#+ File)]]]]) + ["." file {"+" [File]}]]]]) (def: extension ".class") diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux index f43a360d2..961291c53 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function.lux @@ -1,8 +1,8 @@ (.module: [library - [lux (#- Type) + [lux {"-" [Type]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data [number ["." i32] @@ -10,29 +10,29 @@ [collection ["." list ("#\." monoid functor)] ["." row]] - ["." format #_ + ["." format "_" ["#" binary]]] [target [jvm ["." version] - ["." modifier (#+ Modifier) ("#\." monoid)] - ["." field (#+ Field)] - ["." method (#+ Method)] - ["_" bytecode (#+ Label Bytecode) ("#\." monad)] - ["." class (#+ Class)] - ["." type (#+ Type) - [category (#+ Return' Value')] + ["." modifier {"+" [Modifier]} ("#\." monoid)] + ["." field {"+" [Field]}] + ["." method {"+" [Method]}] + ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)] + ["." class {"+" [Class]}] + ["." type {"+" [Type]} + [category {"+" [Return' Value']}] ["." reflection]] ["." constant - [pool (#+ Resource)]] + [pool {"+" [Resource]}]] [encoding - ["." name (#+ External Internal)] + ["." name {"+" [External Internal]}] ["." unsigned]]]] [tool [compiler [meta - ["." archive (#+ Archive)]]]]]] - ["." / #_ + ["." archive {"+" [Archive]}]]]]]] + ["." / "_" ["#." abstract] [field [constant @@ -46,17 +46,17 @@ ["#." implementation] ["#." reset] ["#." apply]] - ["/#" // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["/#" // "_" + ["#." runtime {"+" [Operation Phase Generator]}] [//// - [analysis (#+ Environment)] - [synthesis (#+ Synthesis Abstraction Apply)] + [analysis {"+" [Environment]}] + [synthesis {"+" [Synthesis Abstraction Apply]}] ["." generation] [/// - ["." arity (#+ Arity)] + ["." arity {"+" [Arity]}] ["." phase] [reference - [variable (#+ Register)]]]]]]) + [variable {"+" [Register]}]]]]]]) (def: .public (with generate archive @begin class environment arity body) (-> Phase Archive Label External (Environment Synthesis) Arity (Bytecode Any) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux index 04e3d4cda..653af8aaf 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/abstract.lux @@ -1,13 +1,13 @@ (.module: [library - [lux (#- Type) + [lux {"-" [Type]} [data [text ["%" format]]] [target [jvm - ["." type (#+ Type) - [category (#+ Method)]]]]]] + ["." type {"+" [Type]} + [category {"+" [Method]}]]]]]] [// [field [constant diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux index 47ab7df90..abbf547d4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux @@ -1,17 +1,17 @@ (.module: [library - [lux (#- Type type) + [lux {"-" [Type type]} [data [collection ["." row]]] [target [jvm - ["." field (#+ Field)] - ["." modifier (#+ Modifier) ("#\." monoid)] - [type (#+ Type) - [category (#+ Value)]] + ["." field {"+" [Field]}] + ["." modifier {"+" [Modifier]} ("#\." monoid)] + [type {"+" [Type]} + [category {"+" [Value]}]] [constant - [pool (#+ Resource)]]]]]]) + [pool {"+" [Resource]}]]]]]]) (def: modifier (Modifier Field) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux index 7bb5a7f15..365e68c2c 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant/arity.lux @@ -1,15 +1,15 @@ (.module: [library - [lux (#- type) + [lux {"-" [type]} [target [jvm ["." type] - ["." field (#+ Field)] + ["." field {"+" [Field]}] [constant - [pool (#+ Resource)]]]]]] + [pool {"+" [Resource]}]]]]]] ["." // [///////// - [arity (#+ Arity)]]]) + [arity {"+" [Arity]}]]]) (def: .public name "arity") (def: .public type type.int) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux index b843aa13a..7a8493260 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable.lux @@ -1,25 +1,25 @@ (.module: [library - [lux (#- Type type) + [lux {"-" [Type type]} [data [collection ["." list ("#\." functor)] ["." row]]] [target [jvm - ["." modifier (#+ Modifier) ("#\." monoid)] - ["." field (#+ Field)] - ["_" bytecode (#+ Bytecode)] - [type (#+ Type) - [category (#+ Value Class)]] + ["." modifier {"+" [Modifier]} ("#\." monoid)] + ["." field {"+" [Field]}] + ["_" bytecode {"+" [Bytecode]}] + [type {"+" [Type]} + [category {"+" [Value Class]}]] [constant - [pool (#+ Resource)]]]]]] - ["." //// #_ + [pool {"+" [Resource]}]]]]]] + ["." //// "_" ["#." type] ["#." reference] [////// [reference - [variable (#+ Register)]]]]) + [variable {"+" [Register]}]]]]) (def: .public type ////type.value) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux index 1ec854f71..f2c1e2189 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/count.lux @@ -1,16 +1,16 @@ (.module: [library - [lux (#- type) + [lux {"-" [type]} [control ["." try]] [target [jvm - ["_" bytecode (#+ Bytecode)] + ["_" bytecode {"+" [Bytecode]}] ["." type] [encoding - [name (#+ External)] + [name {"+" [External]}] ["." signed]]]]]] - ["." //// #_ + ["." //// "_" ["#." abstract]]) (def: .public field "partials") diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux index 1fb4d7d86..53a486d88 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/foreign.lux @@ -1,27 +1,27 @@ (.module: [library - [lux (#- Type) + [lux {"-" [Type]} [data [collection ["." list] ["." row]]] [target [jvm - ["_" bytecode (#+ Bytecode)] - ["." field (#+ Field)] + ["_" bytecode {"+" [Bytecode]}] + ["." field {"+" [Field]}] [constant - [pool (#+ Resource)]] - [type (#+ Type) - [category (#+ Value Class)]]]]]] + [pool {"+" [Resource]}]] + [type {"+" [Type]} + [category {"+" [Value Class]}]]]]]] ["." // - ["///#" //// #_ + ["///#" //// "_" ["#." reference] [//// - [analysis (#+ Environment)] - [synthesis (#+ Synthesis)] + [analysis {"+" [Environment]}] + [synthesis {"+" [Synthesis]}] [/// [reference - [variable (#+ Register)]]]]]]) + [variable {"+" [Register]}]]]]]]) (def: .public (closure environment) (-> (Environment Synthesis) (List (Type Value))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux index 19dc23779..1755ea7df 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/variable/partial.lux @@ -1,6 +1,6 @@ (.module: [library - [lux (#- Type) + [lux {"-" [Type]} [abstract ["." monad]] [data @@ -11,24 +11,24 @@ ["." row]]] [target [jvm - ["." field (#+ Field)] - ["_" bytecode (#+ Label Bytecode) ("#\." monad)] - [type (#+ Type) - [category (#+ Class)]] + ["." field {"+" [Field]}] + ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)] + [type {"+" [Type]} + [category {"+" [Class]}]] [constant - [pool (#+ Resource)]]]]]] - ["." / #_ + [pool {"+" [Resource]}]]]]]] + ["." / "_" ["#." count] ["/#" // - ["/#" // #_ + ["/#" // "_" [constant ["#." arity]] - ["//#" /// #_ + ["//#" /// "_" ["#." reference] [////// - ["." arity (#+ Arity)] + ["." arity {"+" [Arity]}] [reference - [variable (#+ Register)]]]]]]]) + [variable {"+" [Register]}]]]]]]]) (def: .public (initial amount) (-> Nat (Bytecode Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux index 802592b0d..6463a0983 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [target [jvm - ["." modifier (#+ Modifier) ("#\." monoid)] - ["." method (#+ Method)]]]]]) + ["." modifier {"+" [Modifier]} ("#\." monoid)] + ["." method {"+" [Method]}]]]]]) (def: .public modifier (Modifier Method) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux index 0114ef23c..bb78e1b8a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/apply.lux @@ -1,8 +1,8 @@ (.module: [library - [lux (#- Type type) + [lux {"-" [Type type]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." try]] [data @@ -14,19 +14,19 @@ ["." list ("#\." monoid functor)]]] [target [jvm - ["_" bytecode (#+ Label Bytecode) ("#\." monad)] - ["." method (#+ Method)] + ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)] + ["." method {"+" [Method]}] [constant - [pool (#+ Resource)]] + [pool {"+" [Resource]}]] [encoding ["." signed]] - ["." type (#+ Type) - ["." category (#+ Class)]]]]]] + ["." type {"+" [Type]} + ["." category {"+" [Class]}]]]]]] ["." // ["#." reset] ["#." implementation] ["#." init] - ["/#" // #_ + ["/#" // "_" ["#." abstract] [field [constant @@ -35,17 +35,17 @@ ["#." partial ["#/." count]] ["#." foreign]]] - ["/#" // #_ + ["/#" // "_" ["#." runtime] ["#." value] ["#." reference] [//// - [analysis (#+ Environment)] - [synthesis (#+ Synthesis)] + [analysis {"+" [Environment]}] + [synthesis {"+" [Synthesis]}] [/// - [arity (#+ Arity)] + [arity {"+" [Arity]}] [reference - [variable (#+ Register)]]]]]]]) + [variable {"+" [Register]}]]]]]]]) (def: (increment by) (-> Nat (Bytecode Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux index a6bd0ef6b..12c181265 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/implementation.lux @@ -1,22 +1,22 @@ (.module: [library - [lux (#- Type type) + [lux {"-" [Type type]} [data [collection ["." list]]] [target [jvm - ["." method (#+ Method)] - ["_" bytecode (#+ Label Bytecode)] + ["." method {"+" [Method]}] + ["_" bytecode {"+" [Label Bytecode]}] [constant - [pool (#+ Resource)]] - ["." type (#+ Type) + [pool {"+" [Resource]}]] + ["." type {"+" [Type]} ["." category]]]]]] ["." // - ["//#" /// #_ + ["//#" /// "_" ["#." type] [////// - [arity (#+ Arity)]]]]) + [arity {"+" [Arity]}]]]]) (def: .public name "impl") diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux index a9dc55525..05cb6db7d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/init.lux @@ -1,6 +1,6 @@ (.module: [library - [lux (#- Type type) + [lux {"-" [Type type]} [abstract ["." monad]] [control @@ -12,17 +12,17 @@ ["." list ("#\." monoid functor)]]] [target [jvm - ["_" bytecode (#+ Bytecode)] - ["." method (#+ Method)] + ["_" bytecode {"+" [Bytecode]}] + ["." method {"+" [Method]}] [encoding ["." unsigned]] [constant - [pool (#+ Resource)]] - ["." type (#+ Type) - ["." category (#+ Class Value)]]]]]] + [pool {"+" [Resource]}]] + ["." type {"+" [Type]} + ["." category {"+" [Class Value]}]]]]]] ["." // ["#." implementation] - ["/#" // #_ + ["/#" // "_" ["#." abstract] [field [constant @@ -30,16 +30,16 @@ [variable ["#." foreign] ["#." partial]]] - ["/#" // #_ + ["/#" // "_" ["#." type] ["#." reference] [//// - [analysis (#+ Environment)] - [synthesis (#+ Synthesis)] + [analysis {"+" [Environment]}] + [synthesis {"+" [Synthesis]}] [/// - ["." arity (#+ Arity)] + ["." arity {"+" [Arity]}] [reference - [variable (#+ Register)]]]]]]]) + [variable {"+" [Register]}]]]]]]]) (def: .public name "<init>") diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux index e155c518b..6a80f7b93 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/new.lux @@ -1,8 +1,8 @@ (.module: [library - [lux (#- Type type) + [lux {"-" [Type type]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data [number ["n" nat]] @@ -10,36 +10,36 @@ ["." list]]] [target [jvm - ["." field (#+ Field)] - ["." method (#+ Method)] - ["_" bytecode (#+ Bytecode)] + ["." field {"+" [Field]}] + ["." method {"+" [Method]}] + ["_" bytecode {"+" [Bytecode]}] ["." constant - [pool (#+ Resource)]] - [type (#+ Type) - ["." category (#+ Class Value Return)]]]] + [pool {"+" [Resource]}]] + [type {"+" [Type]} + ["." category {"+" [Class Value Return]}]]]] [tool [compiler [meta - ["." archive (#+ Archive)]]]]]] + ["." archive {"+" [Archive]}]]]]]] ["." // ["#." init] ["#." implementation] - ["/#" // #_ + ["/#" // "_" [field [constant ["#." arity]] [variable ["#." foreign] ["#." partial]]] - ["/#" // #_ - [runtime (#+ Operation Phase)] + ["/#" // "_" + [runtime {"+" [Operation Phase]}] ["#." value] ["#." reference] [//// - [analysis (#+ Environment)] - [synthesis (#+ Synthesis)] + [analysis {"+" [Environment]}] + [synthesis {"+" [Synthesis]}] [/// - ["." arity (#+ Arity)] + ["." arity {"+" [Arity]}] ["." phase]]]]]]) (def: .public (instance' foreign_setup class environment arity) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux index ea526c674..502a48fd9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method/reset.lux @@ -1,30 +1,30 @@ (.module: [library - [lux (#- Type type) + [lux {"-" [Type type]} [data [collection ["." list ("#\." functor)]]] [target [jvm - ["." method (#+ Method)] - ["_" bytecode (#+ Bytecode)] + ["." method {"+" [Method]}] + ["_" bytecode {"+" [Bytecode]}] [constant - [pool (#+ Resource)]] - ["." type (#+ Type) - ["." category (#+ Class)]]]]]] + [pool {"+" [Resource]}]] + ["." type {"+" [Type]} + ["." category {"+" [Class]}]]]]]] ["." // ["#." new] - ["/#" // #_ + ["/#" // "_" [field [variable ["#." foreign]]] - ["/#" // #_ + ["/#" // "_" ["#." reference] [//// - [analysis (#+ Environment)] - [synthesis (#+ Synthesis)] + [analysis {"+" [Environment]}] + [synthesis {"+" [Synthesis]}] [/// - ["." arity (#+ Arity)]]]]]]) + ["." arity {"+" [Arity]}]]]]]]) (def: .public name "reset") diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux index e3c07cd49..d61b6ae17 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux @@ -1,45 +1,45 @@ (.module: [library - [lux (#- Definition) - ["." ffi (#+ import: do_to object)] + [lux {"-" [Definition]} + ["." ffi {"+" [import: do_to object]}] [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control pipe - ["." try (#+ Try)] - ["." exception (#+ exception:)] - ["." io (#+ IO io)] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}] + ["." io {"+" [IO io]}] [concurrency - ["." atom (#+ Atom atom)]]] + ["." atom {"+" [Atom atom]}]]] [data - [binary (#+ Binary)] + [binary {"+" [Binary]}] ["." product] ["." text ("#\." hash) - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." array] - ["." dictionary (#+ Dictionary)] + ["." dictionary {"+" [Dictionary]}] ["." row]] - ["." format #_ + ["." format "_" ["#" binary]]] [target [jvm - ["." loader (#+ Library)] - ["_" bytecode (#+ Bytecode)] - ["." modifier (#+ Modifier) ("#\." monoid)] - ["." field (#+ Field)] - ["." method (#+ Method)] + ["." loader {"+" [Library]}] + ["_" bytecode {"+" [Bytecode]}] + ["." modifier {"+" [Modifier]} ("#\." monoid)] + ["." field {"+" [Field]}] + ["." method {"+" [Method]}] ["." version] - ["." class (#+ Class)] - ["." encoding #_ + ["." class {"+" [Class]}] + ["." encoding "_" ["#/." name]] ["." type ["." descriptor]]]] [tool [compiler ["." name]]]]] - ["." // #_ - ["#." runtime (#+ Definition)]] + ["." // "_" + ["#." runtime {"+" [Definition]}]] ) (import: java/lang/reflect/Field diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux index b7e934447..38dbca9f1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/loop.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function]] [data @@ -13,17 +13,17 @@ ["." list ("#\." functor)]]] [target [jvm - ["_" bytecode (#+ Label Bytecode) ("#\." monad)]]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" bytecode {"+" [Label Bytecode]} ("#\." monad)]]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." value] [//// - ["." synthesis (#+ Path Synthesis)] + ["." synthesis {"+" [Path Synthesis]}] ["." generation] [/// ["." phase] [reference - [variable (#+ Register)]]]]]) + [variable {"+" [Register]}]]]]]) (def: (invariant? register changeS) (-> Register Synthesis Bit) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux index 3a278c4d4..a2019c13c 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/primitive.lux @@ -1,16 +1,16 @@ (.module: [library - [lux (#- i64) - ["." ffi (#+ import:)] + [lux {"-" [i64]} + ["." ffi {"+" [import:]}] [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [target [jvm - ["_" bytecode (#+ Bytecode)] + ["_" bytecode {"+" [Bytecode]}] ["." type] [encoding ["." signed]]]]]] - ["." // #_ + ["." // "_" ["#." runtime]]) (def: $Boolean (type.class "java.lang.Boolean" (list))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux index 3b1a602da..536b23ca1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux @@ -1,28 +1,28 @@ (.module: [library - [lux (#- Definition) + [lux {"-" [Definition]} [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control ["." try]] [data [collection ["." row]] - ["." format #_ + ["." format "_" ["#" binary]]] [target [jvm - ["_" bytecode (#+ Bytecode)] - ["." modifier (#+ Modifier) ("#\." monoid)] - ["." method (#+ Method)] + ["_" bytecode {"+" [Bytecode]}] + ["." modifier {"+" [Modifier]} ("#\." monoid)] + ["." method {"+" [Method]}] ["." version] - ["." class (#+ Class)] + ["." class {"+" [Class]}] [encoding ["." name]] ["." type ["." reflection]]]]]] ["." // - ["#." runtime (#+ Definition)] + ["#." runtime {"+" [Definition]}] ["#." function/abstract]]) (def: .public class diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux index fb134924a..77717033d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/reference.lux @@ -1,30 +1,30 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [data [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [target [jvm - ["_" bytecode (#+ Bytecode)] + ["_" bytecode {"+" [Bytecode]}] ["." type] [encoding ["." unsigned]]]]]] - ["." // #_ - ["#." runtime (#+ Operation)] + ["." // "_" + ["#." runtime {"+" [Operation]}] ["#." value] ["#." type] - ["//#" /// #_ + ["//#" /// "_" [// ["." generation] [/// ["#" phase ("operation\." monad)] [reference - ["." variable (#+ Register Variable)]] + ["." variable {"+" [Register Variable]}]] [meta - [archive (#+ Archive)]]]]]]) + [archive {"+" [Archive]}]]]]]]) (def: .public this (Bytecode Any) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux index 54c3ac8ba..392e36692 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/runtime.lux @@ -1,63 +1,63 @@ (.module: [library - [lux (#- Type Definition Label case false true try) + [lux {"-" [Type Definition Label case false true try]} [abstract - ["." monad (#+ do)] + ["." monad {"+" [do]}] ["." enum]] [control ["." try]] [data - [binary (#+ Binary)] + [binary {"+" [Binary]}] [collection ["." list ("#\." functor)] ["." row]] - ["." format #_ + ["." format "_" ["#" binary]] [text - ["%" format (#+ format)]]] + ["%" format {"+" [format]}]]] [math [number ["n" nat] ["." i32] ["." i64]]] [target - ["." jvm #_ - ["_" bytecode (#+ Label Bytecode)] - ["." modifier (#+ Modifier) ("#\." monoid)] - ["." field (#+ Field)] - ["." method (#+ Method)] + ["." jvm "_" + ["_" bytecode {"+" [Label Bytecode]}] + ["." modifier {"+" [Modifier]} ("#\." monoid)] + ["." field {"+" [Field]}] + ["." method {"+" [Method]}] ["#/." version] - ["." class (#+ Class)] + ["." class {"+" [Class]}] ["." constant - [pool (#+ Resource)]] + [pool {"+" [Resource]}]] [encoding ["." name]] - ["." type (#+ Type) - ["." category (#+ Return' Value')] + ["." type {"+" [Type]} + ["." category {"+" [Return' Value']}] ["." reflection]]]]]] - ["." // #_ + ["." // "_" ["#." type] ["#." value] - ["#." function #_ + ["#." function "_" ["#" abstract] [field [constant ["#/." arity]] [variable ["#/." count]]]] - ["//#" /// #_ + ["//#" /// "_" [// ["." version] ["." synthesis] ["." generation] [/// ["#" phase] - [arity (#+ Arity)] + [arity {"+" [Arity]}] [reference - [variable (#+ Register)]] + [variable {"+" [Register]}]] [meta - [io (#+ lux_context)] - [archive (#+ Archive)]]]]]]) + [io {"+" [lux_context]}] + [archive {"+" [Archive]}]]]]]]) (type: .public Byte_Code Binary) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux index d260cca20..537ba2a42 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data [number ["." i32]] @@ -10,16 +10,16 @@ ["." list]]] [target [jvm - ["_" bytecode (#+ Bytecode)] + ["_" bytecode {"+" [Bytecode]}] ["." type] [encoding ["." signed]]]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." primitive] - ["///#" //// #_ - [analysis (#+ Variant Tuple)] - ["#." synthesis (#+ Synthesis)] + ["///#" //// "_" + [analysis {"+" [Variant Tuple]}] + ["#." synthesis {"+" [Synthesis]}] [/// ["." phase]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux index 2bc32f589..7ad6dffdd 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/type.lux @@ -1,6 +1,6 @@ (.module: [library - [lux #* + [lux "*" [target [jvm ["." type]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux index 2eff33115..badc179a7 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux @@ -1,11 +1,11 @@ (.module: [library - [lux (#- Type type) + [lux {"-" [Type type]} [target [jvm - ["_" bytecode (#+ Bytecode)] - ["." type (#+ Type) ("#\." equivalence) - [category (#+ Primitive)] + ["_" bytecode {"+" [Bytecode]}] + ["." type {"+" [Type]} ("#\." equivalence) + [category {"+" [Primitive]}] ["." box]]]]]]) (def: .public field "value") diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux index 05fa66ca8..363f94d93 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua.lux @@ -1,34 +1,34 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [target ["_" lua]]]] - ["." / #_ - [runtime (#+ Phase)] + ["." / "_" + [runtime {"+" [Phase]}] ["#." primitive] ["#." structure] ["#." reference] ["#." case] ["#." loop] ["#." function] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" ["#." extension [generation [lua ["#/." common]]]] - ["/#" // #_ - [analysis (#+)] + ["/#" // "_" + [analysis {"+" []}] ["." synthesis] - ["//#" /// #_ + ["//#" /// "_" ["#." phase ("#\." monad)] - [reference (#+) - [variable (#+)]]]]]]]) + [reference {"+" []} + [variable {"+" []}]]]]]]]) (exception: .public cannot_recur_as_an_expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux index c894606cf..200873e3e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/case.lux @@ -1,34 +1,34 @@ (.module: [library - [lux (#- case let if) + [lux {"-" [case let if]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)] ["." set]]] [target - ["_" lua (#+ Expression Var Statement)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Phase! Generator Generator!)] + ["_" lua {"+" [Expression Var Statement]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Phase! Generator Generator!]}] ["#." reference] ["#." primitive] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ - ["#." synthesis #_ + ["/#" // "_" + ["#." synthesis "_" ["#/." case]] - ["/#" // #_ - ["#." synthesis (#+ Member Synthesis Path)] + ["/#" // "_" + ["#." synthesis {"+" [Member Synthesis Path]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" [reference - ["#." variable (#+ Register)]] + ["#." variable {"+" [Register]}]] ["#." phase ("#\." monad)] [meta - [archive (#+ Archive)]]]]]]]) + [archive {"+" [Archive]}]]]]]]]) (def: .public register (-> Register Var) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux index f88bc1d3a..b5680c0bc 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/function.lux @@ -1,33 +1,33 @@ (.module: [library - [lux (#- Tuple Variant function) + [lux {"-" [Tuple Variant function]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control pipe] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)]]] [target - ["_" lua (#+ Var Expression Label Statement)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Phase! Generator)] + ["_" lua {"+" [Var Expression Label Statement]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Phase! Generator]}] ["#." reference] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["//#" /// #_ - [analysis (#+ Variant Tuple Abstraction Application Analysis)] - [synthesis (#+ Synthesis)] - ["#." generation (#+ Context)] - ["//#" /// #_ - [arity (#+ Arity)] + ["//#" /// "_" + [analysis {"+" [Variant Tuple Abstraction Application Analysis]}] + [synthesis {"+" [Synthesis]}] + ["#." generation {"+" [Context]}] + ["//#" /// "_" + [arity {"+" [Arity]}] ["#." phase ("#\." monad)] [reference - [variable (#+ Register Variable)]]]]]]) + [variable {"+" [Register Variable]}]]]]]]) (def: .public (apply expression archive [functionS argsS+]) (Generator (Application Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux index eb8ff0322..c80077e2a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/loop.lux @@ -1,12 +1,12 @@ (.module: [library - [lux (#- Scope) + [lux {"-" [Scope]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)] ["." set]]] @@ -14,21 +14,21 @@ [number ["n" nat]]] [target - ["_" lua (#+ Var Expression Label Statement)]]]] - ["." // #_ - [runtime (#+ Operation Phase Phase! Generator Generator!)] + ["_" lua {"+" [Var Expression Label Statement]}]]]] + ["." // "_" + [runtime {"+" [Operation Phase Phase! Generator Generator!]}] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["//#" /// #_ - ["."synthesis (#+ Scope Synthesis)] + ["//#" /// "_" + ["."synthesis {"+" [Scope Synthesis]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase] [meta - [archive (#+ Archive)]] + [archive {"+" [Archive]}]] [reference - [variable (#+ Register)]]]]]]) + [variable {"+" [Register]}]]]]]]) (def: @scope (-> Nat Label) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/primitive.lux index f819ca279..d6bd49cd2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/primitive.lux @@ -1,8 +1,8 @@ (.module: [library - [lux (#- i64) + [lux {"-" [i64]} [target - ["_" lua (#+ Literal)]]]]) + ["_" lua {"+" [Literal]}]]]]) (template [<name> <type> <implementation>] [(def: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux index b24890947..703e88fe5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [target - ["_" lua (#+ Expression)]]]] + ["_" lua {"+" [Expression]}]]]] [/// - [reference (#+ System)]]) + [reference {"+" [System]}]]) (implementation: .public system (System Expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux index 0a8cbd859..fcfc383a2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/runtime.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- Location) + [lux {"-" [Location]} ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser @@ -11,32 +11,32 @@ [data ["." product] ["." text ("#\." hash) - ["%" format (#+ format)] + ["%" format {"+" [format]}] [encoding ["." utf8]]] [collection ["." list ("#\." functor)] ["." row]]] ["." macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]] [math - [number (#+ hex) + [number {"+" [hex]} ["." i64]]] ["@" target - ["_" lua (#+ Expression Location Var Computation Literal Label Statement)]]]] - ["." /// #_ + ["_" lua {"+" [Expression Location Var Computation Literal Label Statement]}]]]] + ["." /// "_" ["#." reference] - ["//#" /// #_ - ["#." synthesis (#+ Synthesis)] + ["//#" /// "_" + ["#." synthesis {"+" [Synthesis]}] ["#." generation] ["//#" /// ["#." phase] [reference - [variable (#+ Register)]] + [variable {"+" [Register]}]] [meta - [archive (#+ Output Archive) - ["." artifact (#+ Registry)]]]]]]) + [archive {"+" [Output Archive]} + ["." artifact {"+" [Registry]}]]]]]]) (template [<name> <base>] [(type: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux index ebb503f26..41cf85418 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/lua/structure.lux @@ -1,17 +1,17 @@ (.module: [library - [lux (#- Tuple Variant) + [lux {"-" [Tuple Variant]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [target - ["_" lua (#+ Expression)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" lua {"+" [Expression]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." primitive] - ["///#" //// #_ - [analysis (#+ Variant Tuple)] - ["#." synthesis (#+ Synthesis)] - ["//#" /// #_ + ["///#" //// "_" + [analysis {"+" [Variant Tuple]}] + ["#." synthesis {"+" [Synthesis]}] + ["//#" /// "_" ["#." phase ("#\." monad)]]]]) (def: .public (tuple generate archive elemsS+) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux index 4364995c7..c6b0decce 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php.lux @@ -1,31 +1,31 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [target ["_" php]]]] - ["." / #_ - [runtime (#+ Phase Phase!)] + ["." / "_" + [runtime {"+" [Phase Phase!]}] ["#." primitive] ["#." structure] ["#." reference] ["#." case] ["#." loop] ["#." function] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" ["#." extension] - ["/#" // #_ - [analysis (#+)] + ["/#" // "_" + [analysis {"+" []}] ["#." synthesis] - ["//#" /// #_ + ["//#" /// "_" ["#." phase ("#\." monad)] - [reference (#+) - [variable (#+)]]]]]]]) + [reference {"+" []} + [variable {"+" []}]]]]]]]) (def: (statement expression archive synthesis) Phase! diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux index dcd9a3c12..fb3cfed2e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/case.lux @@ -1,12 +1,12 @@ (.module: [library - [lux (#- case let if) + [lux {"-" [case let if]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)] ["." set]]] @@ -14,25 +14,25 @@ [number ["i" int]]] [target - ["_" php (#+ Expression Var Statement)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Phase! Generator Generator!)] + ["_" php {"+" [Expression Var Statement]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Phase! Generator Generator!]}] ["#." reference] ["#." primitive] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ - ["#." synthesis #_ + ["/#" // "_" + ["#." synthesis "_" ["#/." case]] - ["/#" // #_ - ["#." synthesis (#+ Member Synthesis Path)] + ["/#" // "_" + ["#." synthesis {"+" [Member Synthesis Path]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" [reference - ["#." variable (#+ Register)]] + ["#." variable {"+" [Register]}]] ["#." phase ("#\." monad)] [meta - [archive (#+ Archive)]]]]]]]) + [archive {"+" [Archive]}]]]]]]]) (def: .public register (-> Register Var) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux index 17052fb88..6e255664b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension.lux @@ -1,11 +1,11 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] [// - [runtime (#+ Bundle)]] + [runtime {"+" [Bundle]}]] [/ ["." common]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux index c236c3f75..07a9c41ab 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/extension/common.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function]] [data @@ -13,13 +13,13 @@ [collection ["." dictionary]]] [target - ["_" php (#+ Expression)]]]] - ["." /// #_ - ["#." runtime (#+ Operation Phase Handler Bundle)] + ["_" php {"+" [Expression]}]]]] + ["." /// "_" + ["#." runtime {"+" [Operation Phase Handler Bundle]}] ["#." primitive] [// - [extension (#+ Nullary Unary Binary Trinary - nullary unary binary trinary)] + [extension {"+" [Nullary Unary Binary Trinary + nullary unary binary trinary]}] [// [extension ["." bundle]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux index b68f9a404..273cc581b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/function.lux @@ -1,33 +1,33 @@ (.module: [library - [lux (#- Global function) + [lux {"-" [Global function]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control pipe] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)]]] [target - ["_" php (#+ Var Global Expression Argument Label Statement)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Phase! Generator)] + ["_" php {"+" [Var Global Expression Argument Label Statement]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Phase! Generator]}] ["#." reference] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["//#" /// #_ - [analysis (#+ Variant Tuple Abstraction Application Analysis)] - [synthesis (#+ Synthesis)] - ["#." generation (#+ Context)] - ["//#" /// #_ - [arity (#+ Arity)] + ["//#" /// "_" + [analysis {"+" [Variant Tuple Abstraction Application Analysis]}] + [synthesis {"+" [Synthesis]}] + ["#." generation {"+" [Context]}] + ["//#" /// "_" + [arity {"+" [Arity]}] ["#." phase ("#\." monad)] [reference - [variable (#+ Register Variable)]]]]]]) + [variable {"+" [Register Variable]}]]]]]]) (def: .public (apply expression archive [functionS argsS+]) (Generator (Application Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux index e513411b3..a9b0731eb 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/loop.lux @@ -1,37 +1,37 @@ (.module: [library - [lux (#- Scope) + [lux {"-" [Scope]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)] - ["." set (#+ Set)]]] + ["." set {"+" [Set]}]]] [math [number ["n" nat]]] [target - ["_" php (#+ Var Expression Label Statement)]]]] - ["." // #_ - [runtime (#+ Operation Phase Phase! Generator Generator!)] + ["_" php {"+" [Var Expression Label Statement]}]]]] + ["." // "_" + [runtime {"+" [Operation Phase Phase! Generator Generator!]}] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" [synthesis ["." case]] - ["/#" // #_ - ["."synthesis (#+ Scope Synthesis)] + ["/#" // "_" + ["."synthesis {"+" [Scope Synthesis]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase] [meta - [archive (#+ Archive)]] + [archive {"+" [Archive]}]] [reference - [variable (#+ Register)]]]]]]]) + [variable {"+" [Register]}]]]]]]]) (def: @scope (-> Nat Label) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux index cc9af8550..1b5d3138d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/primitive.lux @@ -1,14 +1,14 @@ (.module: [library - [lux (#- i64) + [lux {"-" [i64]} [control - [pipe (#+ cond> new>)]] + [pipe {"+" [cond> new>]}]] [math [number ["." frac]]] [target - ["_" php (#+ Literal Expression)]]]] - ["." // #_ + ["_" php {"+" [Literal Expression]}]]]] + ["." // "_" ["#." runtime]]) (def: .public bit diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/reference.lux index 487d08e32..b1528276e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/reference.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [target - ["_" php (#+ Expression)]]]] + ["_" php {"+" [Expression]}]]]] [/// - [reference (#+ System)]]) + [reference {"+" [System]}]]) (implementation: .public system (System Expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux index 41d204e66..56ea8b098 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- Location) + [lux {"-" [Location]} ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser @@ -11,32 +11,32 @@ [data ["." product] ["." text ("#\." hash) - ["%" format (#+ format)] + ["%" format {"+" [format]}] [encoding ["." utf8]]] [collection ["." list ("#\." functor)] ["." row]]] ["." macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]] [math - [number (#+ hex) + [number {"+" [hex]} ["." i64]]] ["@" target - ["_" php (#+ Expression Label Constant Var Computation Literal Statement)]]]] - ["." /// #_ + ["_" php {"+" [Expression Label Constant Var Computation Literal Statement]}]]]] + ["." /// "_" ["#." reference] - ["//#" /// #_ - ["#." synthesis (#+ Synthesis)] + ["//#" /// "_" + ["#." synthesis {"+" [Synthesis]}] ["#." generation] ["//#" /// ["#." phase] [reference - [variable (#+ Register)]] + [variable {"+" [Register]}]] [meta - [archive (#+ Output Archive) - ["." artifact (#+ Registry)]]]]]]) + [archive {"+" [Output Archive]} + ["." artifact {"+" [Registry]}]]]]]]) (template [<name> <base>] [(type: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux index 4d73dcec5..5fa169955 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/php/structure.lux @@ -1,20 +1,20 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data [collection ["." list]]] [target - ["_" php (#+ Expression)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" php {"+" [Expression]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." primitive] - ["///#" //// #_ - [analysis (#+ Variant Tuple)] - ["#." synthesis (#+ Synthesis)] - ["//#" /// #_ + ["///#" //// "_" + [analysis {"+" [Variant Tuple]}] + ["#." synthesis {"+" [Synthesis]}] + ["//#" /// "_" ["#." phase ("#\." monad)]]]]) (def: .public (tuple expression archive elemsS+) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux index 10cb4d3b9..6140dbc57 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python.lux @@ -1,34 +1,34 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [target ["_" python]]]] - ["." / #_ - [runtime (#+ Phase)] + ["." / "_" + [runtime {"+" [Phase]}] ["#." primitive] ["#." structure] ["#." reference] ["#." function] ["#." case] ["#." loop] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" ["#." extension [generation [python ["#/." common]]]] - ["/#" // #_ - [analysis (#+)] + ["/#" // "_" + [analysis {"+" []}] ["#." synthesis] - ["//#" /// #_ + ["//#" /// "_" ["#." phase ("#\." monad)] - [reference (#+) - [variable (#+)]]]]]]]) + [reference {"+" []} + [variable {"+" []}]]]]]]]) (exception: .public cannot_recur_as_an_expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux index e0385c419..a8c983bc3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/case.lux @@ -1,11 +1,11 @@ (.module: [library - [lux (#- case let if) + [lux {"-" [case let if]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)] ["." set]]] @@ -14,25 +14,25 @@ ["n" nat] ["i" int]]] [target - ["_" python (#+ Expression SVar Statement)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator Phase! Generator!)] + ["_" python {"+" [Expression SVar Statement]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator Phase! Generator!]}] ["#." reference] ["#." primitive] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" [synthesis ["." case]] - ["/#" // #_ - ["#." synthesis (#+ Member Synthesis Path)] + ["/#" // "_" + ["#." synthesis {"+" [Member Synthesis Path]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" [reference - ["#." variable (#+ Register)]] + ["#." variable {"+" [Register]}]] ["#." phase ("#\." monad)] [meta - [archive (#+ Archive)]]]]]]]) + [archive {"+" [Archive]}]]]]]]]) (def: .public (identifier prefix) (-> Text (Operation SVar)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux index bd8bd4047..bfa8a26cf 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/function.lux @@ -1,34 +1,34 @@ (.module: [library - [lux (#- function) + [lux {"-" [function]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)]]] [target - ["_" python (#+ SVar Expression Statement)]]]] - ["." // #_ - [runtime (#+ Operation Phase Generator Phase! Generator!)] + ["_" python {"+" [SVar Expression Statement]}]]]] + ["." // "_" + [runtime {"+" [Operation Phase Generator Phase! Generator!]}] ["#." reference] ["#." case] ["#." loop] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["//#" /// #_ - [analysis (#+ Environment Abstraction Application Analysis)] - [synthesis (#+ Synthesis)] - ["#." generation (#+ Context)] - ["//#" /// #_ - [arity (#+ Arity)] + ["//#" /// "_" + [analysis {"+" [Environment Abstraction Application Analysis]}] + [synthesis {"+" [Synthesis]}] + ["#." generation {"+" [Context]}] + ["//#" /// "_" + [arity {"+" [Arity]}] ["#." phase] [reference - [variable (#+ Register Variable)]] + [variable {"+" [Register Variable]}]] [meta - [archive (#+ Archive) + [archive {"+" [Archive]} ["." artifact]]]]]]]) (def: .public (apply expression archive [functionS argsS+]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux index 670480f8e..6597c2271 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/loop.lux @@ -1,12 +1,12 @@ (.module: [library - [lux (#- Scope) + [lux {"-" [Scope]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)] ["." set]]] @@ -14,22 +14,22 @@ [number ["n" nat]]] [target - ["_" python (#+ Expression SVar Statement)]]]] - ["." // #_ - [runtime (#+ Operation Phase Generator Phase! Generator!)] + ["_" python {"+" [Expression SVar Statement]}]]]] + ["." // "_" + [runtime {"+" [Operation Phase Generator Phase! Generator!]}] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" [synthesis ["." case]] - ["/#" // #_ - ["." synthesis (#+ Scope Synthesis)] + ["/#" // "_" + ["." synthesis {"+" [Scope Synthesis]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase] [reference - ["#." variable (#+ Register)]]]]]]]) + ["#." variable {"+" [Register]}]]]]]]]) (def: (setup offset bindings body) (-> Register (List (Expression Any)) (Statement Any) (Statement Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux index 9d02d3974..c9c505798 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/primitive.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- i64) + [lux {"-" [i64]} [target - ["_" python (#+ Expression)]]]] - ["." // #_ + ["_" python {"+" [Expression]}]]]] + ["." // "_" ["#." runtime]]) (template [<type> <name> <implementation>] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/reference.lux index b53b3ff9d..647090e47 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/reference.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [target - ["_" python (#+ Expression)]]]] + ["_" python {"+" [Expression]}]]]] [/// - [reference (#+ System)]]) + [reference {"+" [System]}]]) (implementation: .public system (System (Expression Any)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux index fafc59235..3cd1226b0 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/runtime.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- ++) + [lux {"-" [++]} ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser @@ -11,34 +11,34 @@ [data ["." product] ["." text ("#\." hash) - ["%" format (#+ format)] + ["%" format {"+" [format]}] [encoding ["." utf8]]] [collection ["." list ("#\." functor)] ["." row]]] ["." macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]] [math - [number (#+ hex) + [number {"+" [hex]} ["f" frac] ["." i64]]] ["@" target - ["_" python (#+ Expression SVar Computation Literal Statement)]]]] - ["." /// #_ + ["_" python {"+" [Expression SVar Computation Literal Statement]}]]]] + ["." /// "_" ["#." reference] - ["//#" /// #_ + ["//#" /// "_" ["$" version] - ["#." synthesis (#+ Synthesis)] + ["#." synthesis {"+" [Synthesis]}] ["#." generation] ["//#" /// ["#." phase] [reference - [variable (#+ Register)]] + [variable {"+" [Register]}]] [meta - [archive (#+ Output Archive) - ["." artifact (#+ Registry)]]]]]]) + [archive {"+" [Output Archive]} + ["." artifact {"+" [Registry]}]]]]]]) (template [<name> <base>] [(type: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux index 85dc6218c..4ecbea30f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/python/structure.lux @@ -1,17 +1,17 @@ (.module: [library - [lux (#- Variant Tuple) + [lux {"-" [Variant Tuple]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [target - ["_" python (#+ Expression)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" python {"+" [Expression]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." primitive] - ["///#" //// #_ - [analysis (#+ Variant Tuple)] - ["#." synthesis (#+ Synthesis)] - ["//#" /// #_ + ["///#" //// "_" + [analysis {"+" [Variant Tuple]}] + ["#." synthesis {"+" [Synthesis]}] + ["//#" /// "_" ["#." phase ("#\." monad)]]]]) (def: .public (tuple generate archive elemsS+) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux index a87076394..36950ea53 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r.lux @@ -1,29 +1,29 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [target ["_" r]]]] - ["." / #_ - [runtime (#+ Phase)] + ["." / "_" + [runtime {"+" [Phase]}] ["#." primitive] ["#." structure] ["#." reference] ["#." case] ["#." loop] ["#." function] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" ["#." extension] - ["/#" // #_ - [analysis (#+)] + ["/#" // "_" + [analysis {"+" []}] ["#." synthesis] - ["//#" /// #_ + ["//#" /// "_" ["#." phase ("#\." monad)] - [reference (#+) - [variable (#+)]]]]]]]) + [reference {"+" []} + [variable {"+" []}]]]]]]]) (def: .public (generate archive synthesis) Phase diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux index 86f376beb..b374c2fa2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/case.lux @@ -1,12 +1,12 @@ (.module: [library - [lux (#- case let if) + [lux {"-" [case let if]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)] ["." set]]] @@ -16,25 +16,25 @@ [number ["i" int]]] [target - ["_" r (#+ Expression SVar)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" r {"+" [Expression SVar]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." reference] ["#." primitive] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ - ["#." synthesis #_ + ["/#" // "_" + ["#." synthesis "_" ["#/." case]] - ["/#" // #_ - ["#." synthesis (#+ Member Synthesis Path)] + ["/#" // "_" + ["#." synthesis {"+" [Member Synthesis Path]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" [reference - ["#." variable (#+ Register)]] + ["#." variable {"+" [Register]}]] ["#." phase ("#\." monad)] [meta - [archive (#+ Archive)]]]]]]]) + [archive {"+" [Archive]}]]]]]]]) (def: .public register (-> Register SVar) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux index 5a4914c31..3a8fe9ec4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/function.lux @@ -1,33 +1,33 @@ (.module: [library - [lux (#- function) + [lux {"-" [function]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control pipe] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)]]] [target - ["_" r (#+ Expression SVar)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" r {"+" [Expression SVar]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." reference] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["//#" /// #_ - [analysis (#+ Variant Tuple Abstraction Application Analysis)] - [synthesis (#+ Synthesis)] - ["#." generation (#+ Context)] - ["//#" /// #_ - [arity (#+ Arity)] + ["//#" /// "_" + [analysis {"+" [Variant Tuple Abstraction Application Analysis]}] + [synthesis {"+" [Synthesis]}] + ["#." generation {"+" [Context]}] + ["//#" /// "_" + [arity {"+" [Arity]}] ["#." phase ("#\." monad)] [reference - [variable (#+ Register Variable)]] + [variable {"+" [Register Variable]}]] [meta [archive ["." artifact]]]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux index 82b97c26a..f19c655e2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/loop.lux @@ -1,37 +1,37 @@ (.module: [library - [lux (#- Scope) + [lux {"-" [Scope]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)] - ["." set (#+ Set)]]] + ["." set {"+" [Set]}]]] [math [number ["n" nat]]] [target ["_" r]]]] - ["." // #_ - [runtime (#+ Operation Phase Generator)] + ["." // "_" + [runtime {"+" [Operation Phase Generator]}] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" [synthesis ["." case]] - ["/#" // #_ - ["."synthesis (#+ Scope Synthesis)] + ["/#" // "_" + ["."synthesis {"+" [Scope Synthesis]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase] [meta - [archive (#+ Archive)]] + [archive {"+" [Archive]}]] [reference - [variable (#+ Register)]]]]]]]) + [variable {"+" [Register]}]]]]]]]) (def: .public (scope expression archive [offset initsS+ bodyS]) (Generator (Scope Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux index 1d4788f77..5d4361b81 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/primitive.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- i64) + [lux {"-" [i64]} [target - ["_" r (#+ Expression)]]]] - ["." // #_ + ["_" r {"+" [Expression]}]]]] + ["." // "_" ["#." runtime]]) (template [<name> <type> <code>] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux index eb15a08a7..c1ebe76b6 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux @@ -1,23 +1,23 @@ (.module: lux (lux (control [library - [monad #+ do]] - ["ex" exception #+ exception:] + [monad {"+" [do]}]] + ["ex" exception {"+" [exception:]}] ["p" parser]) (data ["e" error] [text] text/format [number] (coll [list "list/" Functor<List>] - (dictionary ["dict" unordered #+ Dict]))) - [macro #+ with_identifiers] + (dictionary ["dict" unordered {"+" [Dict]}]))) + [macro {"+" [with_identifiers]}] (macro [code] - ["s" syntax #+ syntax:]) + ["s" syntax {"+" [syntax:]}]) [host]) (luxc ["&" lang] (lang ["la" analysis] ["ls" synthesis] - (host [r #+ Expression]))) + (host [r {"+" [Expression]}]))) [///] (/// [".T" runtime] [".T" case] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux index b810862e2..770e542de 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/host.lux @@ -1,16 +1,16 @@ (.module: lux (lux (control [library - [monad #+ do]]) + [monad {"+" [do]}]]) (data [text] text/format (coll [list "list/" Functor<List>] - (dictionary ["dict" unordered #+ Dict]))) + (dictionary ["dict" unordered {"+" [Dict]}]))) [macro "macro/" Monad<Meta>]) (luxc ["&" lang] (lang ["la" analysis] ["ls" synthesis] - (host [ruby #+ Ruby Expression Statement]))) + (host [ruby {"+" [Ruby Expression Statement]}]))) [///] (/// [".T" runtime]) (// ["@" common])) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/reference.lux index 4e518e02a..cfbb6f02c 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/reference.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [target - ["_" r (#+ Expression)]]]] + ["_" r {"+" [Expression]}]]]] [/// - [reference (#+ System)]]) + [reference {"+" [System]}]]) (implementation: .public system (System Expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux index 26c962945..c6529aa11 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/runtime.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- Location ++ i64) + [lux {"-" [Location ++ i64]} ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser @@ -11,35 +11,35 @@ [data ["." product] ["." text ("#\." hash) - ["%" format (#+ format)] + ["%" format {"+" [format]}] [encoding ["." utf8]]] [collection ["." list ("#\." functor)] ["." row]]] ["." macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]] [math - [number (#+ hex) + [number {"+" [hex]} ["n" nat] ["i" int ("#\." interval)] ["." i64]]] ["@" target - ["_" r (#+ SVar Expression)]]]] - ["." /// #_ + ["_" r {"+" [SVar Expression]}]]]] + ["." /// "_" ["#." reference] - ["//#" /// #_ - [analysis (#+ Variant)] - ["#." synthesis (#+ Synthesis)] + ["//#" /// "_" + [analysis {"+" [Variant]}] + ["#." synthesis {"+" [Synthesis]}] ["#." generation] ["//#" /// ["#." phase] [reference - [variable (#+ Register)]] + [variable {"+" [Register]}]] [meta - [archive (#+ Output Archive) - ["." artifact (#+ Registry)]]]]]]) + [archive {"+" [Output Archive]} + ["." artifact {"+" [Registry]}]]]]]]) (def: module_id 0) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux index 2a69cfb08..bbe263ee8 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/structure.lux @@ -1,20 +1,20 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data [collection ["." list]]] [target - ["_" r (#+ Expression)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" r {"+" [Expression]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." primitive] - ["///#" //// #_ - [analysis (#+ Variant Tuple)] - ["#." synthesis (#+ Synthesis)] - ["//#" /// #_ + ["///#" //// "_" + [analysis {"+" [Variant Tuple]}] + ["#." synthesis {"+" [Synthesis]}] + ["//#" /// "_" ["#." phase ("#\." monad)]]]]) (def: .public (tuple expression archive elemsS+) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux index 7c29f3367..5ccc49977 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/reference.lux @@ -1,19 +1,19 @@ (.module: [library - [lux (#- local) + [lux {"-" [local]} ["@" target] [data [text - ["%" format (#+ format)]]]]] - ["." //// #_ + ["%" format {"+" [format]}]]]]] + ["." //// "_" ["." version] - ["#." generation (#+ Context)] - ["//#" /// #_ - ["." reference (#+ Reference) - ["." variable (#+ Register Variable)]] + ["#." generation {"+" [Context]}] + ["//#" /// "_" + ["." reference {"+" [Reference]} + ["." variable {"+" [Register Variable]}]] ["." phase ("#\." monad)] [meta - [archive (#+ Archive)]]]]) + [archive {"+" [Archive]}]]]]) ... This universe constant is for languages where one can't just turn all compiled definitions ... into the local variables of some scoping function. diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux index a88cade6b..e0df52b0d 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby.lux @@ -1,34 +1,34 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [control - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [target ["_" ruby]]]] - ["." / #_ - [runtime (#+ Phase Phase!)] + ["." / "_" + [runtime {"+" [Phase Phase!]}] ["#." primitive] ["#." structure] ["#." reference] ["#." function] ["#." case] ["#." loop] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" ["#." extension [generation [ruby ["#/." common]]]] - ["/#" // #_ - [analysis (#+)] + ["/#" // "_" + [analysis {"+" []}] ["#." synthesis] - ["//#" /// #_ + ["//#" /// "_" ["#." phase ("#\." monad)] - [reference (#+) - [variable (#+)]]]]]]]) + [reference {"+" []} + [variable {"+" []}]]]]]]]) (exception: .public cannot_recur_as_an_expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux index a9ab2c87b..62de42847 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/case.lux @@ -1,13 +1,13 @@ (.module: [library - [lux (#- case let if) + [lux {"-" [case let if]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control - [exception (#+ exception:)]] + [exception {"+" [exception:]}]] [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)] ["." set]]] @@ -16,25 +16,25 @@ ["n" nat] ["i" int]]] [target - ["_" ruby (#+ Expression LVar Statement)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator Phase! Generator!)] + ["_" ruby {"+" [Expression LVar Statement]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator Phase! Generator!]}] ["#." reference] ["#." primitive] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" [synthesis ["." case]] - ["/#" // #_ - ["#." synthesis (#+ Member Synthesis Path)] + ["/#" // "_" + ["#." synthesis {"+" [Member Synthesis Path]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" [reference - ["#." variable (#+ Register)]] + ["#." variable {"+" [Register]}]] ["#." phase ("#\." monad)] [meta - [archive (#+ Archive)]]]]]]]) + [archive {"+" [Archive]}]]]]]]]) (def: .public (identifier prefix) (-> Text (Operation LVar)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux index dbca8e747..ab980ecb7 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/function.lux @@ -1,34 +1,34 @@ (.module: [library - [lux (#- Variant Tuple function) + [lux {"-" [Variant Tuple function]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)]]] [target - ["_" ruby (#+ LVar GVar Expression Statement)]]]] - ["." // #_ - [runtime (#+ Operation Phase Generator Phase! Generator!)] + ["_" ruby {"+" [LVar GVar Expression Statement]}]]]] + ["." // "_" + [runtime {"+" [Operation Phase Generator Phase! Generator!]}] ["#." reference] ["#." case] ["#." loop] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["//#" /// #_ - [analysis (#+ Variant Tuple Environment Abstraction Application Analysis)] - [synthesis (#+ Synthesis)] - ["#." generation (#+ Context)] - ["//#" /// #_ - [arity (#+ Arity)] + ["//#" /// "_" + [analysis {"+" [Variant Tuple Environment Abstraction Application Analysis]}] + [synthesis {"+" [Synthesis]}] + ["#." generation {"+" [Context]}] + ["//#" /// "_" + [arity {"+" [Arity]}] ["#." phase] [reference - [variable (#+ Register Variable)]] + [variable {"+" [Register Variable]}]] [meta - [archive (#+ Archive) + [archive {"+" [Archive]} ["." artifact]]]]]]]) (def: .public (apply expression archive [functionS argsS+]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux index 2c6f7dbe9..dcfac3da2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/loop.lux @@ -1,12 +1,12 @@ (.module: [library - [lux (#- Scope) + [lux {"-" [Scope]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)] ["." set]]] @@ -14,22 +14,22 @@ [number ["n" nat]]] [target - ["_" ruby (#+ Expression LVar Statement)]]]] - ["." // #_ - [runtime (#+ Operation Phase Generator Phase! Generator!)] + ["_" ruby {"+" [Expression LVar Statement]}]]]] + ["." // "_" + [runtime {"+" [Operation Phase Generator Phase! Generator!]}] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" [synthesis ["." case]] - ["/#" // #_ - ["." synthesis (#+ Scope Synthesis)] + ["/#" // "_" + ["." synthesis {"+" [Scope Synthesis]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase] [reference - ["#." variable (#+ Register)]]]]]]]) + ["#." variable {"+" [Register]}]]]]]]]) (def: (setup offset bindings body) (-> Register (List Expression) Statement Statement) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/primitive.lux index 38b35b7a6..40055af95 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/primitive.lux @@ -1,8 +1,8 @@ (.module: [library - [lux (#- i64) + [lux {"-" [i64]} [target - ["_" ruby (#+ Literal)]]]]) + ["_" ruby {"+" [Literal]}]]]]) (template [<type> <name> <implementation>] [(def: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux index 827cca197..8ac89ceb9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [target - ["_" ruby (#+ Expression)]]]] + ["_" ruby {"+" [Expression]}]]]] [/// - [reference (#+ System)]]) + [reference {"+" [System]}]]) (implementation: .public system (System Expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux index c4d57ef09..5168467ef 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* + [lux "*" ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser @@ -11,33 +11,33 @@ [data ["." product] ["." text ("#\." hash) - ["%" format (#+ format)] + ["%" format {"+" [format]}] [encoding ["." utf8]]] [collection ["." list ("#\." functor)] ["." row]]] ["." macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]] [math - [number (#+ hex) + [number {"+" [hex]} ["." i64]]] ["@" target - ["_" ruby (#+ Expression LVar Computation Literal Statement)]]]] - ["." /// #_ + ["_" ruby {"+" [Expression LVar Computation Literal Statement]}]]]] + ["." /// "_" ["#." reference] - ["//#" /// #_ + ["//#" /// "_" ["$" version] - ["#." synthesis (#+ Synthesis)] + ["#." synthesis {"+" [Synthesis]}] ["#." generation] ["//#" /// ["#." phase] [reference - [variable (#+ Register)]] + [variable {"+" [Register]}]] [meta - [archive (#+ Output Archive) - ["." artifact (#+ Registry)]]]]]]) + [archive {"+" [Output Archive]} + ["." artifact {"+" [Registry]}]]]]]]) (template [<name> <base>] [(type: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux index 136d05d92..e66199340 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/structure.lux @@ -1,17 +1,17 @@ (.module: [library - [lux (#- Variant Tuple) + [lux {"-" [Variant Tuple]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [target - ["_" ruby (#+ Expression)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" ruby {"+" [Expression]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." primitive] - ["///#" //// #_ - [analysis (#+ Variant Tuple)] - ["#." synthesis (#+ Synthesis)] - ["//#" /// #_ + ["///#" //// "_" + [analysis {"+" [Variant Tuple]}] + ["#." synthesis {"+" [Synthesis]}] + ["//#" /// "_" ["#." phase ("#\." monad)]]]]) (def: .public (tuple generate archive elemsS+) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux index c2a62c407..c1ec7c339 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme.lux @@ -1,29 +1,29 @@ (.module: [library - [lux #* + [lux "*" [abstract - [monad (#+ do)]] + [monad {"+" [do]}]] [target ["_" scheme]]]] - ["." / #_ - [runtime (#+ Phase)] + ["." / "_" + [runtime {"+" [Phase]}] ["#." primitive] ["#." structure] ["#." reference] ["#." case] ["#." loop] ["#." function] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" ["#." extension] - ["/#" // #_ - [analysis (#+)] + ["/#" // "_" + [analysis {"+" []}] ["#." synthesis] - ["//#" /// #_ + ["//#" /// "_" ["#." phase ("#\." monad)] - [reference (#+) - [variable (#+)]]]]]]]) + [reference {"+" []} + [variable {"+" []}]]]]]]]) (def: .public (generate archive synthesis) Phase diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux index de65969b2..aa81c3c04 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/case.lux @@ -1,12 +1,12 @@ (.module: [library - [lux (#- case let if) + [lux {"-" [case let if]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor mix)] ["." set]]] @@ -16,25 +16,25 @@ [number ["i" int]]] [target - ["_" scheme (#+ Expression Computation Var)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" scheme {"+" [Expression Computation Var]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." reference] ["#." primitive] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ - ["#." synthesis #_ + ["/#" // "_" + ["#." synthesis "_" ["#/." case]] - ["/#" // #_ - ["#." synthesis (#+ Member Synthesis Path)] + ["/#" // "_" + ["#." synthesis {"+" [Member Synthesis Path]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" [reference - ["#." variable (#+ Register)]] + ["#." variable {"+" [Register]}]] ["#." phase ("#\." monad)] [meta - [archive (#+ Archive)]]]]]]]) + [archive {"+" [Archive]}]]]]]]]) (def: .public register (-> Register Var) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux index 17052fb88..6e255664b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension.lux @@ -1,11 +1,11 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] [// - [runtime (#+ Bundle)]] + [runtime {"+" [Bundle]}]] [/ ["." common]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux index b46b2e0b5..15e75a8e4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/extension/common.lux @@ -1,32 +1,32 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control - ["ex" exception (#+ exception:)] + ["ex" exception {"+" [exception:]}] [parser ["<.>" code]]] [data ["." product] ["." text] - [number (#+ hex) + [number {"+" [hex]} ["f" frac]] [collection ["." list ("#\." functor)] - ["dict" dictionary (#+ Dictionary)]]] - ["." macro (#+ with_identifiers) + ["dict" dictionary {"+" [Dictionary]}]]] + ["." macro {"+" [with_identifiers]} ["." code] - [syntax (#+ syntax:)]] + [syntax {"+" [syntax:]}]] [target - ["_" scheme (#+ Expression Computation)]]]] - ["." /// #_ - ["#." runtime (#+ Operation Phase Handler Bundle)] + ["_" scheme {"+" [Expression Computation]}]]]] + ["." /// "_" + ["#." runtime {"+" [Operation Phase Handler Bundle]}] ["#//" /// ["#." extension ["." bundle]] - ["#/" // #_ - ["#." synthesis (#+ Synthesis)]]]]) + ["#/" // "_" + ["#." synthesis {"+" [Synthesis]}]]]]) (syntax: (Vector [size <code>.nat elemT <code>.any]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux index c7d8dbcd4..7a8d428b1 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/function.lux @@ -1,33 +1,33 @@ (.module: [library - [lux (#- function) + [lux {"-" [function]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control pipe] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)]]] [target - ["_" scheme (#+ Expression Computation Var)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" scheme {"+" [Expression Computation Var]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." reference] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["//#" /// #_ - [analysis (#+ Variant Tuple Abstraction Application Analysis)] - [synthesis (#+ Synthesis)] - ["#." generation (#+ Context)] - ["//#" /// #_ - [arity (#+ Arity)] + ["//#" /// "_" + [analysis {"+" [Variant Tuple Abstraction Application Analysis]}] + [synthesis {"+" [Synthesis]}] + ["#." generation {"+" [Context]}] + ["//#" /// "_" + [arity {"+" [Arity]}] ["#." phase ("#\." monad)] [reference - [variable (#+ Register Variable)]]]]]]) + [variable {"+" [Register Variable]}]]]]]]) (def: .public (apply expression archive [functionS argsS+]) (Generator (Application Synthesis)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux index d0610fdfa..62bfc3d69 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/loop.lux @@ -1,37 +1,37 @@ (.module: [library - [lux (#- Scope) + [lux {"-" [Scope]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data ["." product] ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)] - ["." set (#+ Set)]]] + ["." set {"+" [Set]}]]] [math [number ["n" nat]]] [target ["_" scheme]]]] - ["." // #_ - [runtime (#+ Operation Phase Generator)] + ["." // "_" + [runtime {"+" [Operation Phase Generator]}] ["#." case] - ["/#" // #_ + ["/#" // "_" ["#." reference] - ["/#" // #_ + ["/#" // "_" [synthesis ["." case]] - ["/#" // #_ - ["."synthesis (#+ Scope Synthesis)] + ["/#" // "_" + ["."synthesis {"+" [Scope Synthesis]}] ["#." generation] - ["//#" /// #_ + ["//#" /// "_" ["#." phase] [meta - [archive (#+ Archive)]] + [archive {"+" [Archive]}]] [reference - [variable (#+ Register)]]]]]]]) + [variable {"+" [Register]}]]]]]]]) (def: @scope (_.var "scope")) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/primitive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/primitive.lux index 1cb915b8e..05ce654e2 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/primitive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/primitive.lux @@ -1,8 +1,8 @@ (.module: [library - [lux (#- i64) + [lux {"-" [i64]} [target - ["_" scheme (#+ Expression)]]]]) + ["_" scheme {"+" [Expression]}]]]]) (template [<name> <type> <code>] [(def: .public <name> diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux index b44d3f887..e72101b5b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [target - ["_" scheme (#+ Expression)]]]] + ["_" scheme {"+" [Expression]}]]]] [/// - [reference (#+ System)]]) + [reference {"+" [System]}]]) (implementation: .public system (System Expression) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux index fefd850ce..316607dc7 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/runtime.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- Location) + [lux {"-" [Location]} ["." meta] [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." function] ["<>" parser @@ -11,33 +11,33 @@ [data ["." product] ["." text ("#\." hash) - ["%" format (#+ format)] + ["%" format {"+" [format]}] [encoding ["." utf8]]] [collection ["." list ("#\." functor)] ["." row]]] ["." macro - [syntax (#+ syntax:)] + [syntax {"+" [syntax:]}] ["." code]] [math - [number (#+ hex) + [number {"+" [hex]} ["." i64]]] ["@" target - ["_" scheme (#+ Expression Computation Var)]]]] - ["." /// #_ + ["_" scheme {"+" [Expression Computation Var]}]]]] + ["." /// "_" ["#." reference] - ["//#" /// #_ - [analysis (#+ Variant)] - ["#." synthesis (#+ Synthesis)] + ["//#" /// "_" + [analysis {"+" [Variant]}] + ["#." synthesis {"+" [Synthesis]}] ["#." generation] ["//#" /// ["#." phase] [reference - [variable (#+ Register)]] + [variable {"+" [Register]}]] [meta - [archive (#+ Output Archive) - ["." artifact (#+ Registry)]]]]]]) + [archive {"+" [Output Archive]} + ["." artifact {"+" [Registry]}]]]]]]) (def: module_id 0) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux index 0e5d70dbf..a0cf0e8d6 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/scheme/structure.lux @@ -1,20 +1,20 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [data [collection ["." list]]] [target - ["_" scheme (#+ Expression)]]]] - ["." // #_ - ["#." runtime (#+ Operation Phase Generator)] + ["_" scheme {"+" [Expression]}]]]] + ["." // "_" + ["#." runtime {"+" [Operation Phase Generator]}] ["#." primitive] - ["///#" //// #_ - [analysis (#+ Variant Tuple)] - ["#." synthesis (#+ Synthesis)] - ["//#" /// #_ + ["///#" //// "_" + [analysis {"+" [Variant Tuple]}] + ["#." synthesis {"+" [Synthesis]}] + ["//#" /// "_" ["#." phase ("#\." monad)]]]]) (def: .public (tuple expression archive elemsS+) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux index f71e89b0c..65ba177f3 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux @@ -1,28 +1,28 @@ (.module: [library - [lux (#- primitive) + [lux {"-" [primitive]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control - [pipe (#+ case>)] + [pipe {"+" [case>]}] ["." try]] [data [collection ["." list ("#\." functor)] - ["." dictionary (#+ Dictionary)]]]]] - ["." / #_ + ["." dictionary {"+" [Dictionary]}]]]]] + ["." / "_" ["#." function] ["#." case] ["#." variable] - ["/#" // #_ + ["/#" // "_" ["#." extension] - ["/#" // #_ - ["#." analysis (#+ Analysis)] - ["/" synthesis (#+ Synthesis Phase)] + ["/#" // "_" + ["#." analysis {"+" [Analysis]}] + ["/" synthesis {"+" [Synthesis Phase]}] [/// ["." phase ("#\." monad)] - [reference (#+) - [variable (#+)]]]]]]) + [reference {"+" []} + [variable {"+" []}]]]]]]) (def: (primitive analysis) (-> ///analysis.Primitive /.Primitive) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux index 4347ace80..a6271e4cc 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux @@ -1,33 +1,33 @@ (.module: [library - [lux #* + [lux "*" [abstract - [equivalence (#+ Equivalence)] - ["." monad (#+ do)]] + [equivalence {"+" [Equivalence]}] + ["." monad {"+" [do]}]] [control - [pipe (#+ when> new> case>)]] + [pipe {"+" [when> new> case>]}]] [data ["." product] ["." bit ("#\." equivalence)] ["." text ("#\." equivalence)] [collection ["." list ("#\." functor mix monoid)] - ["." set (#+ Set)]]] + ["." set {"+" [Set]}]]] [math [number ["n" nat] ["." i64] ["." frac ("#\." equivalence)]]]]] - ["." /// #_ + ["." /// "_" [// - ["#." analysis (#+ Pattern Match Analysis)] - ["/" synthesis (#+ Path Synthesis Operation Phase)] + ["#." analysis {"+" [Pattern Match Analysis]}] + ["/" synthesis {"+" [Path Synthesis Operation Phase]}] [/// ["#" phase ("#\." monad)] ["#." reference - ["#/." variable (#+ Register Variable)]] + ["#/." variable {"+" [Register Variable]}]] [meta - [archive (#+ Archive)]]]]]) + [archive {"+" [Archive]}]]]]]) (def: clean_up (-> Path Path) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux index 40689678f..d34765656 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux @@ -1,30 +1,30 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)] + ["." monad {"+" [do]}] ["." enum]] [control - [pipe (#+ case>)] + [pipe {"+" [case>]}] ["." maybe ("#\." functor)] - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor monoid)]]] [math [number ["n" nat]]]]] - ["." // #_ - ["#." loop (#+ Transform)] - ["//#" /// #_ - ["#." analysis (#+ Environment Analysis)] - ["/" synthesis (#+ Path Abstraction Synthesis Operation Phase)] + ["." // "_" + ["#." loop {"+" [Transform]}] + ["//#" /// "_" + ["#." analysis {"+" [Environment Analysis]}] + ["/" synthesis {"+" [Path Abstraction Synthesis Operation Phase]}] [/// - [arity (#+ Arity)] + [arity {"+" [Arity]}] ["#." reference - ["#/." variable (#+ Register Variable)]] + ["#/." variable {"+" [Register Variable]}]] ["." phase ("#\." monad)]]]]) (exception: .public (cannot_find_foreign_variable_in_environment {foreign Register} {environment (Environment Synthesis)}) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux index b4e79bd6d..8250d9ea9 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." maybe ("#\." monad)]] [data @@ -12,12 +12,12 @@ [number ["n" nat]]]]] [//// - ["." analysis (#+ Environment)] - ["/" synthesis (#+ Path Abstraction Synthesis)] + ["." analysis {"+" [Environment]}] + ["/" synthesis {"+" [Path Abstraction Synthesis]}] [/// - [arity (#+ Arity)] + [arity {"+" [Arity]}] ["." reference - ["." variable (#+ Register Variable)]]]]) + ["." variable {"+" [Register Variable]}]]]]) (type: .public (Transform a) (-> a (Maybe a))) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux index f4eb9691c..4c6deb529 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux @@ -1,30 +1,30 @@ (.module: [library - [lux #* + [lux "*" [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." maybe ("#\." functor)] - ["." try (#+ Try)] - ["." exception (#+ exception:)]] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}]] [data ["." product] ["." text ["%" format]] [collection - ["." dictionary (#+ Dictionary)] + ["." dictionary {"+" [Dictionary]}] ["." list ("#\." functor mix)] ["." set]]] [math [number ["n" nat]]]]] [//// - ["/" synthesis (#+ Path Synthesis)] + ["/" synthesis {"+" [Path Synthesis]}] ["." analysis] [/// - [arity (#+ Arity)] + [arity {"+" [Arity]}] ["." reference - ["." variable (#+ Register Variable)]]]]) + ["." variable {"+" [Register Variable]}]]]]) (def: (prune redundant register) (-> Register Register Register) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux index 047565e77..76bf6d43e 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux @@ -1,24 +1,24 @@ (.module: [library - [lux (#- Module) + [lux {"-" [Module]} [abstract - ["." monad (#+ do)]] + ["." monad {"+" [do]}]] [control ["." maybe] - ["." try (#+ Try)] - ["." exception (#+ exception:)]] + ["." try {"+" [Try]}] + ["." exception {"+" [exception:]}]] [data ["." product] [text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)]]]]] [// - [generation (#+ Context)] + [generation {"+" [Context]}] [/// [meta - ["." archive (#+ Archive) - ["." descriptor (#+ Module)] + ["." archive {"+" [Archive]} + ["." descriptor {"+" [Module]}] ["." artifact]]]]]) (type: .public (Program expression directive) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux index 734f38260..08bff3cbf 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux @@ -26,21 +26,21 @@ ... location, which is helpful for documentation and debugging. (.module: [library - [lux #* + [lux "*" ["@" target] [abstract monad] [control ["." maybe] - ["." exception (#+ exception:)] + ["." exception {"+" [exception:]}] [parser - [text (#+ Offset)]]] + [text {"+" [Offset]}]]] [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list] - ["." dictionary (#+ Dictionary)]]] + ["." dictionary {"+" [Dictionary]}]]] [macro ["." template]] [math diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux index 9b4e1ad57..df124fba8 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux @@ -1,23 +1,23 @@ (.module: [library - [lux (#- i64 Scope) + [lux {"-" [i64 Scope]} [abstract - [monad (#+ do)] - [equivalence (#+ Equivalence)] - [hash (#+ Hash)]] + [monad {"+" [do]}] + [equivalence {"+" [Equivalence]}] + [hash {"+" [Hash]}]] [control - [pipe (#+ case>)] + [pipe {"+" [case>]}] ["." maybe] - ["." exception (#+ exception:)]] + ["." exception {"+" [exception:]}]] [data ["." sum] ["." product] ["." bit ("#\." equivalence)] ["." text ("#\." equivalence) - ["%" format (#+ Format format)]] + ["%" format {"+" [Format format]}]] [collection ["." list ("#\." functor)] - ["." dictionary (#+ Dictionary)]]] + ["." dictionary {"+" [Dictionary]}]]] [math [number ["." i64] @@ -25,14 +25,14 @@ ["i" int] ["f" frac]]]]] [// - ["." analysis (#+ Environment Composite Analysis)] + ["." analysis {"+" [Environment Composite Analysis]}] [phase - ["." extension (#+ Extension)]] + ["." extension {"+" [Extension]}]] [/// - [arity (#+ Arity)] + [arity {"+" [Arity]}] ["." phase] - ["." reference (#+ Reference) - ["." variable (#+ Register Variable)]]]]) + ["." reference {"+" [Reference]} + ["." variable {"+" [Register Variable]}]]]]) (type: .public Resolver (Dictionary Variable Variable)) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/version.lux b/stdlib/source/library/lux/tool/compiler/language/lux/version.lux index 1ad0a00b4..e472c3a03 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/version.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/version.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #*]] + [lux "*"]] [//// - [version (#+ Version)]]) + [version {"+" [Version]}]]) (def: .public version Version |