diff options
| author | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-03 20:02:46 -0400 |
| commit | 3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (patch) | |
| tree | 9dde4f6cb8f16829b2fa43fbccffaa1b3e2659bd /stdlib/source/library/lux/tool/compiler | |
| parent | 0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (diff) | |
Extensible import syntax [Part 4]
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler')
164 files changed, 590 insertions, 590 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux index 0718ea142..dd8ca9eb0 100644 --- a/stdlib/source/library/lux/tool/compiler/default/init.lux +++ b/stdlib/source/library/lux/tool/compiler/default/init.lux @@ -23,7 +23,7 @@ ["[0]" version]] [world ["[0]" file]]]] - ["[0]" // "_" + ["[0]" // ["/[1]" // (.only Instancer) ["[1][0]" phase] [language @@ -33,7 +33,7 @@ ["[1][0]" synthesis] ["[1][0]" directive (.only Requirements)] ["[1][0]" generation] - ["[1][0]" analysis + ["[1][0]" analysis (.only) [macro (.only Expander)] ["[1]/[0]" evaluation] ["[0]A" module]] diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux index 113a47e3a..73d1ae147 100644 --- a/stdlib/source/library/lux/tool/compiler/default/platform.lux +++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux @@ -27,16 +27,16 @@ ["[0]" list ("[1]#[0]" monoid functor mix)]] [format ["_" binary (.only Writer)]]] - ["[0]" meta + ["[0]" meta (.only) ["[0]" configuration (.only Configuration)]] [type (.only sharing) ["[0]" check]] [world ["[0]" file (.only Path)] ["[0]" console]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" init] - ["/[1]" // + ["/[1]" // (.only) ["[1][0]" phase (.only Phase)] [language [lux @@ -46,7 +46,7 @@ ["[1][0]" synthesis] ["[1][0]" generation (.only Buffer)] ["[1][0]" directive] - ["[1][0]" analysis + ["[1][0]" analysis (.only) [macro (.only Expander)] ["[0]A" module]] [phase @@ -54,7 +54,7 @@ [meta [import (.only Import)] ["[0]" context] - ["[0]" cache + ["[0]" cache (.only) ["[1]/[0]" archive] ["[1]/[0]" module] ["[1]/[0]" artifact]] @@ -64,10 +64,10 @@ [key (.only Key)] ["[0]" registry (.only Registry)] ["[0]" artifact] - ["[0]" module + ["[0]" module (.only) ["[0]" descriptor (.only Descriptor)] ["[0]" document (.only Document)]]] - ["[0]" io "_" + ["[0]" io ["_[1]" /] ["[1]" context] ["ioW" archive]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux.lux index 696c36a12..0c10892a8 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux.lux @@ -2,14 +2,14 @@ [library [lux (.full) [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] [data [format ["_" binary (.only Writer)]]] [meta ["[0]" version]]]] - ["[0]" / "_" + ["[0]" / [analysis ["[0]" module]] [/// 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 4697725d7..d79a962ca 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux @@ -30,7 +30,7 @@ [meta ["[0]" location] ["[0]" configuration (.only Configuration)]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" simple (.only Simple)] ["[1][0]" complex (.only Tuple Variant Complex)] ["[1][0]" pattern (.only Pattern)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux index bf8783b84..633d8868b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux @@ -6,7 +6,7 @@ [hash (.only Hash)]] [data ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text + ["[0]" text (.only) ["%" format (.only Format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux index 9f808c727..55d0cdb89 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/coverage.lux @@ -10,7 +10,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text + ["[0]" text (.only) ["%" format]] [collection ["[0]" list ("[1]#[0]" functor mix)] @@ -25,7 +25,7 @@ ["i" int] ["r" rev] ["f" frac]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" simple] ["[1][0]" complex] ["[1][0]" pattern (.only Pattern)]]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux index 5379144ad..e1e03ac35 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/inference.lux @@ -10,7 +10,7 @@ ["[0]" try] ["[0]" exception (.only exception:)]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor monoid)]]] @@ -20,7 +20,7 @@ [math [number ["n" nat]]] - ["[0]" type + ["[0]" type (.only) ["[0]" check]]]] ["/" // (.only Analysis Operation Phase) ["[1][0]" type] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux index 758895002..46ac4596a 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/module.lux @@ -16,7 +16,7 @@ ["[0]" plist]]]] ["[0]" meta]]] ["/" // (.only Operation) - ["//[1]" // "_" + ["//[1]" // [phase ["[1][0]" extension]] [/// diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux index fc47e37f0..45fe43d56 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux @@ -9,7 +9,7 @@ [math [number ["n" nat]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" simple (.only Simple)] ["[1][0]" complex (.only Complex)] [//// diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux index 0ca7aa5ca..87e9eadd5 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/type.lux @@ -8,7 +8,7 @@ ["[0]" function] ["[0]" try]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list]]] 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 7ff6ef901..829cbb4a4 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux @@ -34,9 +34,9 @@ ["[0]" archive (.only Archive) ["[0]" registry (.only Registry)] ["[0]" unit] - ["[0]" artifact + ["[0]" artifact (.only) ["[0]" category]] - ["[0]" module + ["[0]" module (.only) ["[0]" descriptor]]]]]]) (type: .public (Buffer directive) 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 26282e903..b1cb13060 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 @@ -16,17 +16,17 @@ [math [number ["n" nat]]] - ["[0]" meta + ["[0]" meta (.only) ["[0]" location]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" simple] ["[1][0]" complex] ["[1][0]" reference] ["[1][0]" case] ["[1][0]" function] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" extension] - ["/[1]" // "_" + ["/[1]" // ["/" analysis (.only Analysis Operation Phase) ["[1][0]" macro (.only Expander)] ["[1][0]" type]] 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 33a55a594..7fd1b74a9 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 @@ -20,12 +20,12 @@ [macro ["^" pattern] ["[0]" code]] - ["[0]" type + ["[0]" type (.only) ["[0]" check (.only Check)]]]] - ["[0]" / "_" - ["/[1]" // "_" + ["[0]" / + ["/[1]" // ["[1][0]" complex] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" extension] [// ["/" analysis (.only Analysis Operation Phase) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux index f0a397525..56ad9fd97 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/complex.lux @@ -23,11 +23,11 @@ ["n" nat]]] [meta ["[0]" symbol]] - ["[0]" type + ["[0]" type (.only) ["[0]" check]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" simple] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" extension] [// ["/" analysis (.only Analysis Operation Phase) 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 39e099187..57dfe4a2f 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 @@ -10,16 +10,16 @@ ["[0]" exception (.only exception:)]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" monoid monad)]]] [math [number ["n" nat]]] - ["[0]" type + ["[0]" type (.only) ["[0]" check]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" extension] [// ["/" analysis (.only 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 9bffe44ec..7911b1ec0 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 @@ -11,8 +11,8 @@ ["%" format (.only format)]]] [macro ["^" pattern]]]] - ["[0]" // "_" - ["/[1]" // "_" + ["[0]" // + ["/[1]" // ["[1][0]" extension] [// ["/" analysis (.only Analysis Operation) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/simple.lux index 80ac4f0ab..5a0806d79 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/simple.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/simple.lux @@ -3,7 +3,7 @@ [lux (.except nat int rev) [abstract [monad (.only do)]]]] - ["[0]" /// "_" + ["[0]" /// [// ["/" analysis (.only Analysis Operation) ["[1][0]" simple] 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 8f94efd19..d2a6990e4 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 @@ -12,12 +12,12 @@ ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" mix monoid)]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" extension] ["[1][0]" analysis] - ["/[1]" // "_" + ["/[1]" // ["/" directive (.only Operation Phase)] - ["[1][0]" analysis + ["[1][0]" analysis (.only) ["[0]" evaluation] ["[1]/[0]" macro (.only Expander)] ["[1]/[0]" type]] 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 347666f1f..a10a55e83 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 @@ -7,7 +7,7 @@ [//// [analysis (.only Bundle) [evaluation (.only Eval)]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" 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 49bafdcd2..5d21c0b44 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 @@ -5,14 +5,14 @@ [abstract ["[0]" monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<c>" code (.only Parser)]]] [data [collection ["[0]" array (.only Array)] ["[0]" dictionary] ["[0]" list]]] - ["[0]" type + ["[0]" type (.only) ["[0]" check]] ["@" target ["_" common_lisp]]]] @@ -21,7 +21,7 @@ [// ["[0]" bundle] [// - ["[0]" analysis "_" + ["[0]" analysis ["[1]/[0]" type]] [// ["[0]" analysis (.only Analysis Operation Phase Handler Bundle)] 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 8d7eaff24..49ac7d0fd 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 @@ -11,7 +11,7 @@ ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try (.only Try) ("[1]#[0]" monad)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)] ["<[0]>" text]]] [data @@ -24,7 +24,7 @@ ["[0]" array] ["[0]" dictionary (.only Dictionary)] ["[0]" sequence]] - ["[0]" format "_" + ["[0]" format ["[1]" binary]]] [macro ["^" pattern] @@ -34,7 +34,7 @@ ["n" nat] ["[0]" i32]]] [target - ["[0]" jvm "_" + ["[0]" jvm ["[0]!" reflection] ["_" bytecode (.only Bytecode) ("[1]#[0]" monad)] ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] @@ -43,7 +43,7 @@ ["[0]" version] ["[0]" method] ["[0]" class] - ["[0]" constant + ["[0]" constant (.only) ["[0]" pool (.only Resource)]] [encoding ["[0]" name (.only External)]] @@ -56,19 +56,19 @@ ["[0]" parser] ["[0]" alias (.only Aliasing)] ["[0]T" lux (.only Mapping)]]]] - ["[0]" type + ["[0]" type (.only) ["[0]" check (.only Check) ("[1]#[0]" monad)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" lux (.only custom)] - ["/[1]" // + ["/[1]" // (.only) ["[1][0]" bundle] - ["/[1]" // "_" + ["/[1]" // [generation [jvm ["[0]" runtime] - ["[0]" function "_" + ["[0]" function ["[1]" abstract]]]] - ["/[1]" // "_" + ["/[1]" // ["[0]" generation] ["[0]" directive] ["[1][0]" analysis (.only Analysis Operation Phase Handler Bundle) 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 cbb5feafb..d0ade9dd3 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 @@ -7,10 +7,10 @@ ["[0]" maybe] ["[0]" try] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] @@ -23,9 +23,9 @@ [type ["[0]" check]] ["[0]" meta]]] - ["[0]" /// + ["[0]" /// (.only) ["[1][0]" bundle] - ["/[1]" // "_" + ["/[1]" // [// ["[1][0]" analysis (.only Analysis Operation Phase Handler Bundle) [evaluation (.only Eval)] 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 947b61121..ae3de92a0 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 @@ -5,23 +5,23 @@ [abstract ["[0]" monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<c>" code (.only Parser)]]] [data [collection ["[0]" array (.only Array)] ["[0]" dictionary] ["[0]" list]]] - ["[0]" type + ["[0]" type (.only) ["[0]" check]] - ["@" target + ["@" target (.only) ["_" php]]]] [// ["/" lux (.only custom)] [// ["[0]" bundle] [// - ["[0]" analysis "_" + ["[0]" analysis ["[1]/[0]" type]] [// ["[0]" analysis (.only Analysis Operation Phase Handler Bundle)] 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 fd84e9271..df76f1d46 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 @@ -5,14 +5,14 @@ [abstract ["[0]" monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<c>" code (.only Parser)]]] [data [collection ["[0]" array (.only Array)] ["[0]" dictionary] ["[0]" list]]] - ["[0]" type + ["[0]" type (.only) ["[0]" check]] ["@" target ["_" r]]]] @@ -21,7 +21,7 @@ [// ["[0]" bundle] [// - ["[0]" analysis "_" + ["[0]" analysis ["[1]/[0]" type]] [// ["[0]" analysis (.only Analysis Operation Phase Handler Bundle)] 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 faf3e41ff..59cbfc5fa 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 @@ -5,23 +5,23 @@ [abstract ["[0]" monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<c>" code (.only Parser)]]] [data [collection ["[0]" array (.only Array)] ["[0]" dictionary] ["[0]" list]]] - ["[0]" type + ["[0]" type (.only) ["[0]" check]] - ["@" target + ["@" target (.only) ["_" scheme]]]] [// ["/" lux (.only custom)] [// ["[0]" bundle] [// - ["[0]" analysis "_" + ["[0]" analysis ["[1]/[0]" type]] [// ["[0]" analysis (.only Analysis Operation Phase Handler Bundle)] 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 30819a0ad..90b1bb433 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 @@ -4,7 +4,7 @@ [abstract [monad (.only do)]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] 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 d8d44d73f..4bf7e260c 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 @@ -22,7 +22,7 @@ ["[0]" dictionary] ["[0]" sequence] ["[0]" set (.only Set)]] - ["[0]" format "_" + ["[0]" format ["[1]" binary]]] [macro ["^" pattern] @@ -40,7 +40,7 @@ ["[0]" version] ["[0]" method (.only Method)] ["[0]" class] - ["[0]" constant + ["[0]" constant (.only) ["[0]" pool (.only Resource)]] [encoding ["[0]" name (.only External)]] @@ -60,7 +60,7 @@ [archive (.only Archive) ["[0]" artifact] ["[0]" unit]] - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]" artifact]]]] [language @@ -76,7 +76,7 @@ [jvm ["[0]" runtime (.only Anchor Definition Extender)] ["[0]" value]]] - ["[0]" extension + ["[0]" extension (.only) ["[0]" bundle] [analysis ["[0]" jvm]] 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 4be891712..101277306 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 @@ -10,7 +10,7 @@ ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data ["[0]" binary] @@ -33,9 +33,9 @@ ["[0]" /// (.only Extender) ["[1][0]" bundle] ["[1][0]" analysis] - ["/[1]" // "_" - ["/[1]" // "_" - ["[1][0]" analysis + ["/[1]" // + ["/[1]" // + ["[1][0]" analysis (.only) [macro (.only Expander)] ["[1]/[0]" evaluation] ["[0]A" type] @@ -52,7 +52,7 @@ ["[0]" artifact] ["[0]" module] ["[0]" unit]] - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]/[0]" artifact]]]]]]]]) 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 21a62f3ed..90a3354c5 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 @@ -4,7 +4,7 @@ [data [collection ["[0]" dictionary]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" common] ["[1][0]" host] [//// 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 334e5eed8..0d99fb6ad 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 @@ -6,11 +6,11 @@ [control ["[0]" function] ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" dictionary] @@ -19,17 +19,17 @@ [math [number ["f" frac]]] - ["@" target + ["@" target (.only) ["_" common_lisp (.only Expression)]]]] - ["[0]" //// "_" + ["[0]" //// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] ["[0]" reference] - ["//" common_lisp "_" + ["//" common_lisp ["[1][0]" runtime (.only Operation Phase Handler Bundle Generator)] ["[1][0]" case]]] [// 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 830fa403e..2ca18fead 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data [collection @@ -15,22 +15,22 @@ ["%" format (.only format)]]] [target ["_" common_lisp (.only Var Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" common (.only custom)] - ["//[1]" /// "_" + ["//[1]" /// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] ["[0]" reference] - ["//" common_lisp "_" + ["//" common_lisp ["[1][0]" runtime (.only Operation Phase Handler Bundle with_vars)]]] - ["/[1]" // "_" + ["/[1]" // ["[0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" 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 ddead065a..6b8f3d325 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 @@ -4,7 +4,7 @@ [data [collection ["[0]" dictionary]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" common] ["[1][0]" host] [//// 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 9ed83c8ba..58b290864 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [control ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] @@ -17,16 +17,16 @@ [math [number ["f" frac]]] - ["@" target + ["@" target (.only) ["_" js (.only Literal Expression Statement)]]]] - ["[0]" //// "_" + ["[0]" //// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] - ["//" js "_" + ["//" js ["[1][0]" runtime (.only Operation Phase Phase! Handler Bundle Generator)] ["[1][0]" primitive] ["[1][0]" structure] 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 d57e0675c..d6830e765 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data [collection @@ -13,21 +13,21 @@ ["[0]" list]]] [target ["_" js (.only Var Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" common (.only custom)] - ["//[1]" /// "_" + ["//[1]" /// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] - ["//" js "_" + ["//" js ["[1][0]" runtime (.only Operation Phase Handler Bundle with_vars)]]] - ["/[1]" // "_" + ["/[1]" // ["[0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" 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 c0e81d4cf..40d8eca7e 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 @@ -4,7 +4,7 @@ [data [collection ["[0]" dictionary]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" common] ["[1][0]" host] [//// 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 3ca03f225..2da6d5756 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 @@ -6,7 +6,7 @@ [control ["[0]" try] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" synthesis (.only Parser)]]] [data ["[0]" product] @@ -24,14 +24,14 @@ ["[0]" signed (.only S4)]] ["[0]" type (.only Type) [category (.only Primitive Class)]]]]]] - ["[0]" ///// "_" + ["[0]" ///// [generation [extension (.only Nullary Unary Binary Trinary Variadic nullary unary binary trinary variadic)] - ["///" jvm "_" + ["///" jvm ["[1][0]" value] ["[1][0]" runtime (.only Operation Phase Bundle Handler)] - ["[1][0]" function "_" + ["[1][0]" function ["[1]" abstract]]]] [extension ["[1]extension" /] 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 f9e498d87..eaf40a8ee 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 @@ -6,7 +6,7 @@ [control ["[0]" maybe ("[1]#[0]" functor)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text] ["<[0]>" synthesis (.only Parser)]]] [data @@ -18,7 +18,7 @@ ["[0]" dictionary (.only Dictionary)] ["[0]" set (.only Set)] ["[0]" sequence]] - ["[0]" format "_" + ["[0]" format ["[1]" binary]]] [macro ["^" pattern] @@ -45,13 +45,13 @@ ["[0]" reflection] ["[0]" signature] ["[0]" parser]]]]]] - ["[0]" // "_" + ["[0]" // [common (.only custom)] - ["///[1]" //// "_" + ["///[1]" //// [generation [extension (.only Nullary Unary Binary Trinary Variadic nullary unary binary trinary variadic)] - ["///" jvm + ["///" jvm (.only) ["[1][0]" runtime (.only Operation Bundle Phase Handler)] ["[1][0]" reference] ["[1][0]" value] @@ -63,19 +63,19 @@ ["[1][0]" bundle] [analysis ["/" jvm]]] - ["/[1]" // "_" + ["/[1]" // [analysis (.only Environment)] ["[1][0]" synthesis (.only Synthesis Path %synthesis)] ["[1][0]" generation] [/// ["[1]" phase] - ["[1][0]" reference + ["[1][0]" reference (.only) ["[2][0]" variable (.only Variable Register)]] [meta ["[0]" archive (.only Archive) ["[0]" artifact] ["[0]" unit]] - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]/[0]" artifact]]]]]]]]) 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 6ad6b79e9..ea8b16d67 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 @@ -4,7 +4,7 @@ [data [collection ["[0]" dictionary]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" common] ["[1][0]" host] [//// 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 1c3635dd2..3e8542641 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 @@ -6,7 +6,7 @@ [control ["[0]" function] ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] @@ -20,16 +20,16 @@ [math [number ["f" frac]]] - ["@" target + ["@" target (.only) ["_" lua (.only Expression Statement)]]]] - ["[0]" //// "_" + ["[0]" //// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] - ["//" lua "_" + ["//" lua ["[1][0]" runtime (.only Operation Phase Phase! Handler Bundle Generator)] ["[1][0]" primitive] ["[1][0]" structure] 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 400c83984..507a1cfc3 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data [collection @@ -15,22 +15,22 @@ ["%" format (.only format)]]] [target ["_" lua (.only Var Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" common (.only custom)] - ["//[1]" /// "_" + ["//[1]" /// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] ["[0]" reference] - ["//" lua "_" + ["//" lua ["[1][0]" runtime (.only Operation Phase Handler Bundle with_vars)]]] - ["/[1]" // "_" + ["/[1]" // ["[0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" 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 c5b22280b..2e23f8bb1 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 @@ -4,7 +4,7 @@ [data [collection ["[0]" dictionary]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" common] ["[1][0]" host] [//// 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 1db7694fd..859eb3977 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 @@ -6,11 +6,11 @@ [control ["[0]" function] ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" dictionary] @@ -19,17 +19,17 @@ [math [number ["f" frac]]] - ["@" target + ["@" target (.only) ["_" php (.only Expression)]]]] - ["[0]" //// "_" + ["[0]" //// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] ["[0]" reference] - ["//" php "_" + ["//" php ["[1][0]" runtime (.only Operation Phase Handler Bundle Generator)] ["[1][0]" case]]] [// 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 a79814721..1fb2396b9 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data [collection @@ -15,22 +15,22 @@ ["%" format (.only format)]]] [target ["_" php (.only Var Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" common (.only custom)] - ["//[1]" /// "_" + ["//[1]" /// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] ["[0]" reference] - ["//" php "_" + ["//" php ["[1][0]" runtime (.only Operation Phase Handler Bundle with_vars)]]] - ["/[1]" // "_" + ["/[1]" // ["[0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" 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 bed068fcc..51a5ad78a 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 @@ -4,7 +4,7 @@ [data [collection ["[0]" dictionary]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" common] ["[1][0]" host] [//// 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 ab4db74aa..dcfa42dfc 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 @@ -6,11 +6,11 @@ [control ["[0]" function] ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<[0]>" synthesis (.only Parser)]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" dictionary] @@ -22,15 +22,15 @@ ["f" frac]]] [target ["_" python (.only Expression Statement)]]]] - ["[0]" //// "_" + ["[0]" //// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation ["[0]" reference] [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] - ["//" python "_" + ["//" python ["[1][0]" runtime (.only Operation Phase Phase! Handler Bundle Generator)] ["[1][0]" primitive] ["[1][0]" structure] 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 d826ad124..2afc25130 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 @@ -5,31 +5,31 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format]] [collection ["[0]" dictionary] ["[0]" list]]] [target ["_" python (.only Expression SVar)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" common (.only custom)] - ["//[1]" /// "_" + ["//[1]" /// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] - ["//" python "_" + ["//" python ["[1][0]" runtime (.only Operation Phase Handler Bundle with_vars)]]] - ["/[1]" // "_" + ["/[1]" // ["[0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" 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 b92e54312..50dbfa951 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 @@ -4,7 +4,7 @@ [data [collection ["[0]" dictionary]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" common] ["[1][0]" host] [//// 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 78ce2c8de..db353c68e 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 @@ -6,11 +6,11 @@ [control ["[0]" function] ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" dictionary] @@ -19,17 +19,17 @@ [math [number ["f" frac]]] - ["@" target + ["@" target (.only) ["_" r (.only Expression)]]]] - ["[0]" //// "_" + ["[0]" //// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] ["[0]" reference] - ["//" r "_" + ["//" r ["[1][0]" runtime (.only Operation Phase Handler Bundle Generator)] ["[1][0]" case]]] [// 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 91cfdf4dc..2ff3be0de 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data [collection @@ -15,22 +15,22 @@ ["%" format (.only format)]]] [target ["_" r (.only Var Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" common (.only custom)] - ["//[1]" /// "_" + ["//[1]" /// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] ["[0]" reference] - ["//" r "_" + ["//" r ["[1][0]" runtime (.only Operation Phase Handler Bundle with_vars)]]] - ["/[1]" // "_" + ["/[1]" // ["[0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" 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 280eff5cf..5792fe60e 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 @@ -4,7 +4,7 @@ [data [collection ["[0]" dictionary]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" common] ["[1][0]" host] [//// 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 b9dc7fa25..1393dd439 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 @@ -6,11 +6,11 @@ [control ["[0]" function] ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" dictionary] @@ -22,14 +22,14 @@ ["f" frac]]] [target ["_" ruby (.only Expression Statement)]]]] - ["[0]" //// "_" + ["[0]" //// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] - ["//" ruby "_" + ["//" ruby ["[1][0]" runtime (.only Operation Phase Phase! Handler Bundle Generator)] ["[1][0]" primitive] ["[1][0]" structure] 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 52456b35c..2e38cd085 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data [collection @@ -15,22 +15,22 @@ ["%" format (.only format)]]] [target ["_" ruby (.only Var Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" common (.only custom)] - ["//[1]" /// "_" + ["//[1]" /// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] ["[0]" reference] - ["//" ruby "_" + ["//" ruby ["[1][0]" runtime (.only Operation Phase Handler Bundle with_vars)]]] - ["/[1]" // "_" + ["/[1]" // ["[0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" 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 d98b95a0a..84ef9978a 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 @@ -4,7 +4,7 @@ [data [collection ["[0]" dictionary]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" common] ["[1][0]" host] [//// 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 69c016a82..2bb302c9c 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 @@ -6,7 +6,7 @@ [control ["[0]" function] ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data ["[0]" product] @@ -21,15 +21,15 @@ ["f" frac]]] ["@" target ["_" scheme (.only Expression)]]]] - ["[0]" //// "_" + ["[0]" //// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] ["[0]" reference] - ["//" scheme "_" + ["//" scheme ["[1][0]" runtime (.only Operation Phase Handler Bundle Generator)] ["[1][0]" case]]] [// 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 055c85e26..2b222dd31 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<s>" synthesis (.only Parser)]]] [data [collection @@ -15,22 +15,22 @@ ["%" format (.only format)]]] [target ["_" scheme (.only Var Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" common (.only custom)] - ["//[1]" /// "_" + ["//[1]" /// ["/" bundle] - ["/[1]" // "_" + ["/[1]" // ["[0]" extension] [generation [extension (.only Nullary Unary Binary Trinary nullary unary binary trinary)] ["[0]" reference] - ["//" scheme "_" + ["//" scheme ["[1][0]" runtime (.only Operation Phase Handler Bundle with_vars)]]] - ["/[1]" // "_" + ["/[1]" // ["[0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase]]]]]]) (def: (array::new size) 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 d4306e274..4075384af 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 @@ -5,7 +5,7 @@ [monad (.only do)]] [macro ["^" pattern]]]] - ["[0]" / "_" + ["[0]" / [runtime (.only Phase)] ["[1][0]" primitive] ["[1][0]" structure] @@ -13,14 +13,14 @@ ["[1][0]" case] ["[1][0]" loop] ["[1][0]" function] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" extension] - ["/[1]" // "_" + ["/[1]" // [analysis (.only)] ["[1][0]" synthesis] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" monad)] [reference (.only) [variable (.only)]]]]]]]) 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 370743434..6f93eb386 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 @@ -6,7 +6,7 @@ [control ["[0]" exception (.only exception:)]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix monoid)] @@ -18,19 +18,19 @@ ["n" nat]]] [target ["_" common_lisp (.only Expression Var/1)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] ["[1][0]" primitive] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" - ["[1][0]" synthesis "_" + ["/[1]" // + ["[1][0]" synthesis ["[1]/[0]" case]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" synthesis (.only Member Synthesis Path)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] 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 4f18ff773..ff9eedf9d 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 @@ -13,7 +13,7 @@ ["[0]" dictionary]]] [target ["_" common_lisp (.only Expression)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" runtime (.only Operation Phase Handler Bundle)] ["[1][0]" primitive] [// 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 1f72efb5e..412bf27b7 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 @@ -13,17 +13,17 @@ ["[0]" list ("[1]#[0]" functor)]]] [target ["_" common_lisp (.only Expression Var/1)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// [analysis (.only Variant Tuple Abstraction Application Analysis)] [synthesis (.only Synthesis)] ["[1][0]" generation (.only Context)] - ["//[1]" /// "_" + ["//[1]" /// [arity (.only Arity)] ["[1][0]" phase ("[1]#[0]" monad)] [reference 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 c57c3bbe5..d80a015e6 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 @@ -14,18 +14,18 @@ ["n" nat]]] [target ["_" common_lisp (.only Expression)]]]] - ["[0]" // "_" + ["[0]" // [runtime (.only Operation Phase Generator)] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // [synthesis ["[0]" case]] - ["/[1]" // "_" + ["/[1]" // ["[0]"synthesis (.only Scope Synthesis)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase] [meta [archive (.only Archive)]] 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 4a53018d9..efbf5c321 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 @@ -6,7 +6,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data ["[0]" product] @@ -16,7 +16,7 @@ [collection ["[0]" list ("[1]#[0]" functor monoid)] ["[0]" sequence]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]] [math @@ -24,13 +24,13 @@ ["[0]" i64]]] ["@" target ["_" common_lisp (.only Expression Computation Literal)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// [analysis (.only Variant)] ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] - ["//[1]" /// + ["//[1]" /// (.only) ["[1][0]" phase] [reference [variable (.only Register)]] 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 043cb17bc..6029b754c 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 @@ -5,13 +5,13 @@ ["[0]" monad (.only do)]] [target ["_" common_lisp (.only Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] - ["///[1]" //// "_" + ["///[1]" //// [analysis (.only Variant Tuple)] ["[1][0]" synthesis (.only Synthesis)] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" 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 675b7e06b..2fb79c18a 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 @@ -13,7 +13,7 @@ ["[0]" macro (.only with_symbols) ["[0]" code] [syntax (.only syntax:)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" extension] [// [synthesis (.only Synthesis)] 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 a51bbcfa7..2bc2ff0cb 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 @@ -9,7 +9,7 @@ ["^" pattern]] [target ["_" js]]]] - ["[0]" / "_" + ["[0]" / [runtime (.only Phase Phase!)] ["[1][0]" primitive] ["[1][0]" structure] @@ -17,17 +17,17 @@ ["[1][0]" case] ["[1][0]" loop] ["[1][0]" function] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" extension [generation [js ["[1]/[0]" common]]]] - ["/[1]" // "_" + ["/[1]" // [analysis (.only)] ["[0]" synthesis] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" monad)] [reference (.only) [variable (.only)]]]]]]]) 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 a2ebf6490..13d1ed400 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 @@ -16,20 +16,20 @@ ["n" nat]]] [target ["_" js (.only Expression Computation Var Statement)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Phase! Generator Generator!)] ["[1][0]" reference] ["[1][0]" primitive] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" - ["[1][0]" synthesis "_" + ["/[1]" // + ["[1][0]" synthesis ["[1]/[0]" case]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" synthesis (.only Synthesis Path) [access ["[0]" member (.only Member)]]] - ["//[1]" /// "_" + ["//[1]" /// [reference [variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] 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 7d7657dc2..69db5cdd4 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 @@ -11,17 +11,17 @@ ["[0]" list ("[1]#[0]" functor mix)]]] [target ["_" js (.only Expression Computation Var Statement)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Phase! Generator)] ["[1][0]" reference] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// [analysis (.only Abstraction Reification Analysis)] [synthesis (.only Synthesis)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// [arity (.only Arity)] ["[1][0]" phase ("[1]#[0]" monad)] [reference @@ -29,7 +29,7 @@ [meta [archive ["[0]" unit]] - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]" artifact]]]]]]]]) 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 9cea64e28..32823cd17 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] @@ -14,13 +14,13 @@ ["n" nat]]] [target ["_" js (.only Computation Var Expression Statement)]]]] - ["[0]" // "_" + ["[0]" // [runtime (.only Operation Phase Phase! Generator Generator!)] ["[1][0]" case] - ["///[1]" //// "_" + ["///[1]" //// [synthesis (.only Scope Synthesis)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase] [reference [variable (.only Register)]]]]]) 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 62d0c3ffd..aa45d7b64 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 @@ -3,7 +3,7 @@ [lux (.except i64) [target ["_" js (.only Computation)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime]]) (def: .public bit 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 1b59b2bae..5605d56ee 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 @@ -6,7 +6,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data ["[0]" product] @@ -17,7 +17,7 @@ [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]] [math @@ -25,12 +25,12 @@ ["[0]" i64]]] [target ["_" js (.only Expression Var Computation Statement)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] - ["//[1]" /// + ["//[1]" /// (.only) ["[1][0]" phase] [reference [variable (.only Register)]] 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 b2b5e8c2d..b57b4b344 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 @@ -5,14 +5,14 @@ ["[0]" monad (.only do)]] [target ["_" js (.only Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] - ["///[1]" //// "_" + ["///[1]" //// ["[1][0]" synthesis (.only Synthesis)] [analysis [complex (.only Variant Tuple)]] - ["//[1]" /// + ["//[1]" /// (.only) ["[1][0]" phase ("[1]#[0]" monad)]]]]) (def: .public (tuple generate archive elemsS+) 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 7a049a657..ff90fda64 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 @@ -5,7 +5,7 @@ [monad (.only do)]] [macro ["^" pattern]]]] - ["[0]" / "_" + ["[0]" / [runtime (.only Phase)] ["[1][0]" primitive] ["[1][0]" structure] @@ -13,7 +13,7 @@ ["[1][0]" function] ["[1][0]" case] ["[1][0]" loop] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" extension] [// ["[0]" 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 6e763f267..e718b504d 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 @@ -24,7 +24,7 @@ ["[0]" stack]]]] ["[0]" type (.only Type) [category (.only Method)]]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" type] ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" value] 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 d7047d342..b89b43d67 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 @@ -8,7 +8,7 @@ [collection ["[0]" list ("[1]#[0]" monoid functor)] ["[0]" sequence]] - ["[0]" format "_" + ["[0]" format ["[1]" binary]]] [math [number @@ -25,7 +25,7 @@ ["[0]" type (.only Type) [category (.only Return' Value')] ["[0]" reflection]] - ["[0]" constant + ["[0]" constant (.only) [pool (.only Resource)]] [encoding ["[0]" name (.only External Internal)] @@ -34,10 +34,10 @@ [compiler [meta ["[0]" archive (.only Archive)] - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]/[0]" artifact]]]]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" abstract] [field [constant @@ -51,7 +51,7 @@ ["[1][0]" implementation] ["[1][0]" reset] ["[1][0]" apply]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] [//// 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 ba1d87ba1..2a0bc8cd9 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 @@ -14,7 +14,7 @@ [category (.only Value Class)]] [constant [pool (.only Resource)]]]]]] - ["[0]" //// "_" + ["[0]" //// ["[1][0]" type] ["[1][0]" reference] [////// 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 f1384be43..90f8426d7 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 @@ -10,7 +10,7 @@ [encoding [name (.only External)] ["[0]" signed]]]]]] - ["[0]" //// "_" + ["[0]" //// ["[1][0]" 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 4461c75ac..545cf8396 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 @@ -12,8 +12,8 @@ [pool (.only Resource)]] [type (.only Type) [category (.only Value Class)]]]]]] - ["[0]" // - ["///[1]" //// "_" + ["[0]" // (.only) + ["///[1]" //// ["[1][0]" reference] [//// [analysis (.only Environment)] 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 46d2fcff2..810ce179e 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 @@ -17,12 +17,12 @@ [category (.only Class)]] [constant [pool (.only Resource)]]]]]] - ["[0]" // + ["[0]" // (.only) ["[1][0]" count] - ["/[1]" // "_" + ["/[1]" // [constant ["[1][0]" arity]] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" reference] [////// ["[0]" arity (.only Arity)] 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 c71809ca7..19f568571 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 @@ -23,11 +23,11 @@ ["[0]" signed]] ["[0]" type (.only Type) ["[0]" category (.only Class)]]]]]] - ["[0]" // + ["[0]" // (.only) ["[1][0]" reset] ["[1][0]" implementation] ["[1][0]" init] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" abstract] [field [constant @@ -36,7 +36,7 @@ ["[1][0]" partial] ["[1][0]" count] ["[1][0]" foreign]]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" runtime] ["[1][0]" value] ["[1][0]" reference] 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 318423809..53f43707d 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 @@ -16,8 +16,8 @@ [pool (.only Resource)]] ["[0]" type (.only Type) ["[0]" category (.only Class)]]]]]] - ["[0]" // - ["//[1]" /// "_" + ["[0]" // (.only) + ["//[1]" /// ["[0]" runtime] ["[1][0]" type] [////// 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 2d9efabfc..da0d00cb2 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 @@ -21,9 +21,9 @@ [pool (.only Resource)]] ["[0]" type (.only Type) ["[0]" category (.only Class Value)]]]]]] - ["[0]" // + ["[0]" // (.only) ["[1][0]" implementation] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" abstract] [field [constant @@ -31,7 +31,7 @@ [variable ["[1][0]" foreign] ["[1][0]" partial]]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" type] ["[1][0]" reference] [//// 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 028f8e1e9..b9b1e99a8 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 @@ -14,7 +14,7 @@ ["[0]" field (.only Field)] ["[0]" method (.only Method)] ["_" bytecode (.only Bytecode)] - ["[0]" constant + ["[0]" constant (.only) [pool (.only Resource)]] [type (.only Type) ["[0]" category (.only Class Value Return)]]]] @@ -22,17 +22,17 @@ [compiler [meta ["[0]" archive (.only Archive)]]]]]] - ["[0]" // + ["[0]" // (.only) ["[1][0]" init] ["[1][0]" implementation] - ["/[1]" // "_" + ["/[1]" // [field [constant ["[1][0]" arity]] [variable ["[1][0]" foreign] ["[1][0]" partial]]] - ["/[1]" // "_" + ["/[1]" // [runtime (.only Operation Phase)] ["[1][0]" value] ["[1][0]" reference] 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 01f965f6e..f52b7d682 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 @@ -12,13 +12,13 @@ [pool (.only Resource)]] ["[0]" type (.only Type) ["[0]" category (.only Class)]]]]]] - ["[0]" // + ["[0]" // (.only) ["[1][0]" new] - ["/[1]" // "_" + ["/[1]" // [field [variable ["[1][0]" foreign]]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] [//// [analysis (.only Environment)] 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 ae4582640..dc28346dc 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 @@ -20,7 +20,7 @@ ["[0]" array] ["[0]" dictionary (.only Dictionary)] ["[0]" sequence]] - ["[0]" format "_" + ["[0]" format ["[1]" binary]]] [target [jvm @@ -31,9 +31,9 @@ ["[0]" method (.only Method)] ["[0]" version] ["[0]" class (.only Class)] - ["[0]" encoding "_" + ["[0]" encoding ["[1]/[0]" name]] - ["[0]" type + ["[0]" type (.only) ["[0]" descriptor]]]] [tool [compiler @@ -41,7 +41,7 @@ [io (.only lux_context)] [archive ["[0]" unit]]]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Definition)] ["[1][0]" type] ["[1][0]" value]] 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 306d347d5..c93dfa4f2 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 @@ -15,7 +15,7 @@ [target [jvm ["_" bytecode (.only Bytecode) ("[1]#[0]" monad)]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" value] [//// 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 56228976d..ee33cf415 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 @@ -17,7 +17,7 @@ ["[0]" type] [encoding ["[0]" signed]]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" 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 445fd7e86..94df434f2 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 @@ -8,7 +8,7 @@ [data [collection ["[0]" sequence]] - ["[0]" format "_" + ["[0]" format ["[1]" binary]]] [target [jvm @@ -19,7 +19,7 @@ ["[0]" class (.only Class)] [encoding ["[0]" name]] - ["[0]" type + ["[0]" type (.only) ["[0]" reflection]]]] [tool [compiler @@ -29,7 +29,7 @@ [meta [archive ["[0]" unit]]]]]]] - ["[0]" // + ["[0]" // (.only) ["[1][0]" runtime (.only Definition)] ["[1][0]" function/abstract]]) 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 c2e81f6c1..7bb2cb8ff 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 @@ -12,11 +12,11 @@ ["[0]" type] [encoding ["[0]" unsigned]]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation)] ["[1][0]" value] ["[1][0]" type] - ["//[1]" /// "_" + ["//[1]" /// [// ["[0]" generation] [/// 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 7d13342ef..9ff51ff95 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 @@ -12,7 +12,7 @@ [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]] - ["[0]" format "_" + ["[0]" format ["[1]" binary]] [text ["%" format (.only format)]]] @@ -24,31 +24,31 @@ [meta ["[0]" version]] [target - ["[0]" jvm "_" + ["[0]" jvm ["_" bytecode (.only Label Bytecode)] ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] ["[0]" field (.only Field)] ["[0]" method (.only Method)] ["[1]/[0]" version] ["[0]" class (.only Class)] - ["[0]" constant + ["[0]" constant (.only) [pool (.only Resource)]] [encoding ["[0]" name]] ["[0]" type (.only Type) ["[0]" category (.only Return' Value')] ["[0]" reflection]]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" type] ["[1][0]" value] - ["[1][0]" function "_" + ["[1][0]" function ["[1]" abstract] [field [constant ["[1]/[0]" arity]] [variable ["[1]/[0]" count]]]] - ["//[1]" /// "_" + ["//[1]" /// [// ["[0]" synthesis] ["[0]" generation] 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 888dcf6f4..43d48e1c3 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 @@ -17,11 +17,11 @@ ["[0]" type] [encoding ["[0]" signed]]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" type] ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] - ["///[1]" //// "_" + ["///[1]" //// ["[1][0]" synthesis (.only Synthesis)] [analysis [complex (.only Variant Tuple)]] 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 b00f31fea..d1f831e69 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 @@ -9,7 +9,7 @@ ["^" pattern]] [target ["_" lua]]]] - ["[0]" / "_" + ["[0]" / [runtime (.only Phase)] ["[1][0]" primitive] ["[1][0]" structure] @@ -17,17 +17,17 @@ ["[1][0]" case] ["[1][0]" loop] ["[1][0]" function] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" extension [generation [lua ["[1]/[0]" common]]]] - ["/[1]" // "_" + ["/[1]" // [analysis (.only)] ["[0]" synthesis] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" monad)] [reference (.only) [variable (.only)]]]]]]]) 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 8cc889b17..59d0fa42d 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 @@ -4,7 +4,7 @@ [abstract ["[0]" monad (.only do)]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] @@ -13,21 +13,21 @@ ["^" pattern]] [target ["_" lua (.only Expression Var Statement)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Phase! Generator Generator!)] ["[1][0]" reference] ["[1][0]" primitive] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" - ["[1][0]" synthesis "_" + ["/[1]" // + ["[1][0]" synthesis ["[1]/[0]" case]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" synthesis (.only Synthesis Path) [access ["[0]" member (.only Member)]]] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] 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 d3baeeb31..d2907e282 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 @@ -11,23 +11,23 @@ ["[0]" list ("[1]#[0]" functor mix)]]] [target ["_" lua (.only Var Expression Label Statement)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Phase! Generator)] ["[1][0]" reference] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// [analysis (.only Abstraction Reification Analysis)] [synthesis (.only Synthesis)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// [arity (.only Arity)] ["[1][0]" phase ("[1]#[0]" monad)] [meta [archive ["[0]" unit]] - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]" artifact]]]] [reference 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 e2ed07938..66b05a97e 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 @@ -15,19 +15,19 @@ ["n" nat]]] [target ["_" lua (.only Var Expression Label Statement)]]]] - ["[0]" // "_" + ["[0]" // [runtime (.only Operation Phase Phase! Generator Generator!)] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// ["[0]"synthesis (.only Scope Synthesis)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase] [meta [archive (.only Archive)] - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]" artifact]]]] [reference 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 e5cef766e..4f31dd592 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 @@ -6,7 +6,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data ["[0]" product] @@ -17,20 +17,20 @@ [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]] [math [number (.only hex) ["[0]" i64]]] - ["@" target + ["@" target (.only) ["_" lua (.only Expression Location Var Computation Literal Label Statement)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] - ["//[1]" /// + ["//[1]" /// (.only) ["[1][0]" phase] [reference [variable (.only Register)]] 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 60c9b8236..1b8610f2b 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 @@ -5,14 +5,14 @@ ["[0]" monad (.only do)]] [target ["_" lua (.only Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] - ["///[1]" //// "_" + ["///[1]" //// ["[1][0]" synthesis (.only Synthesis)] [analysis [complex (.only Variant Tuple)]] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" monad)]]]]) (def: .public (tuple phase 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 5ac7b0949..c0093d286 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 @@ -9,7 +9,7 @@ ["^" pattern]] [target ["_" php]]]] - ["[0]" / "_" + ["[0]" / [runtime (.only Phase Phase!)] ["[1][0]" primitive] ["[1][0]" structure] @@ -17,14 +17,14 @@ ["[1][0]" case] ["[1][0]" loop] ["[1][0]" function] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" extension] - ["/[1]" // "_" + ["/[1]" // [analysis (.only)] ["[1][0]" synthesis] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" monad)] [reference (.only) [variable (.only)]]]]]]]) 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 bb4dadf30..03c82f322 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] @@ -17,19 +17,19 @@ ["i" int]]] [target ["_" php (.only Expression Var Statement)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Phase! Generator Generator!)] ["[1][0]" reference] ["[1][0]" primitive] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" - ["[1][0]" synthesis "_" + ["/[1]" // + ["[1][0]" synthesis ["[1]/[0]" case]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" synthesis (.only Member Synthesis Path)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] 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 cff2a67db..3a797fb5a 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 @@ -14,7 +14,7 @@ ["[0]" dictionary]]] [target ["_" php (.only Expression)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" runtime (.only Operation Phase Handler Bundle)] ["[1][0]" primitive] [// 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 0701936f8..e304677d2 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 @@ -7,23 +7,23 @@ pipe] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [target ["_" php (.only Var Global Expression Argument Label Statement)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Phase! Generator)] ["[1][0]" reference] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// [analysis (.only Variant Tuple Abstraction Application Analysis)] [synthesis (.only Synthesis)] ["[1][0]" generation (.only Context)] - ["//[1]" /// "_" + ["//[1]" /// [arity (.only Arity)] ["[1][0]" phase ("[1]#[0]" monad)] [reference 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 35b1ebfc2..5fab85e16 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] @@ -15,18 +15,18 @@ ["n" nat]]] [target ["_" php (.only Var Expression Label Statement)]]]] - ["[0]" // "_" + ["[0]" // [runtime (.only Operation Phase Phase! Generator Generator!)] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // [synthesis ["[0]" case]] - ["/[1]" // "_" - ["[0]"synthesis (.only Scope Synthesis)] + ["/[1]" // + ["[0]" synthesis (.only Scope Synthesis)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase] [meta [archive (.only Archive)]] 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 d1b4315ca..df2ae080f 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 @@ -6,7 +6,7 @@ ["[0]" frac]]] [target ["_" php (.only Literal Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime]]) (def: .public bit 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 424201ccb..68b9671b1 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 @@ -6,7 +6,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data ["[0]" product] @@ -17,20 +17,20 @@ [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]] [math [number (.only hex) ["[0]" i64]]] - ["@" target + ["@" target (.only) ["_" php (.only Expression Label Constant Var Computation Literal Statement)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] - ["//[1]" /// + ["//[1]" /// (.only) ["[1][0]" phase] [reference [variable (.only Register)]] 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 e655c5753..2fe67e34a 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 @@ -8,13 +8,13 @@ ["[0]" list]]] [target ["_" php (.only Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] - ["///[1]" //// "_" + ["///[1]" //// [analysis (.only Variant Tuple)] ["[1][0]" synthesis (.only Synthesis)] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" 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 16a01aace..15c847f8c 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 @@ -9,7 +9,7 @@ ["^" pattern]] [target ["_" python]]]] - ["[0]" / "_" + ["[0]" / [runtime (.only Phase)] ["[1][0]" primitive] ["[1][0]" structure] @@ -17,17 +17,17 @@ ["[1][0]" function] ["[1][0]" case] ["[1][0]" loop] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" extension [generation [python ["[1]/[0]" common]]]] - ["/[1]" // "_" + ["/[1]" // [analysis (.only)] ["[1][0]" synthesis] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" monad)] [reference (.only) [variable (.only)]]]]]]]) 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 a6b122880..cbf957e34 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 @@ -4,7 +4,7 @@ [abstract ["[0]" monad (.only do)]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] @@ -17,27 +17,27 @@ ["i" int]]] [target ["_" python (.only Expression SVar Statement)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator Phase! Generator!)] ["[1][0]" reference] ["[1][0]" primitive] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // [synthesis ["[0]" case]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" generation] ["[1][0]" synthesis (.only Synthesis Path) [access ["[0]" member (.only Member)]]] - ["//[1]" /// "_" + ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] [meta [archive (.only Archive)] - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]" artifact]]]]]]]]]) 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 91b4ffa39..ee09d8060 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 @@ -11,18 +11,18 @@ ["[0]" list ("[1]#[0]" functor mix)]]] [target ["_" python (.only SVar Expression Statement)]]]] - ["[0]" // "_" + ["[0]" // [runtime (.only Operation Phase Generator Phase! Generator!)] ["[1][0]" reference] ["[1][0]" case] ["[1][0]" loop] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// [analysis (.only Environment Abstraction Reification Analysis)] [synthesis (.only Synthesis)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// [arity (.only Arity)] ["[1][0]" phase] [reference @@ -30,7 +30,7 @@ [meta [archive (.only Archive) ["[0]" artifact]] - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]" artifact]]]]]]]]) 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 6745bd62d..d48bad978 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 @@ -15,21 +15,21 @@ ["n" nat]]] [target ["_" python (.only Expression SVar Statement)]]]] - ["[0]" // "_" + ["[0]" // [runtime (.only Operation Phase Generator Phase! Generator!)] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // [synthesis ["[0]" case]] - ["/[1]" // "_" + ["/[1]" // ["[0]" synthesis (.only Scope Synthesis)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase] [meta - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]" artifact]]]] [reference 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 9ef4f1853..c9ff8d221 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 @@ -3,7 +3,7 @@ [lux (.except i64) [target ["_" python (.only Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime]]) (template [<type> <name> <implementation>] 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 bb003d922..135f8db40 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data ["[0]" product] @@ -16,23 +16,23 @@ [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]] [math [number (.only hex) ["f" frac] ["[0]" i64]]] - ["[0]" meta + ["[0]" meta (.only) ["[0]" version]] - ["@" target + ["@" target (.only) ["_" python (.only Expression SVar Computation Literal Statement)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] - ["//[1]" /// + ["//[1]" /// (.only) ["[1][0]" phase] [reference [variable (.only Register)]] 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 9783b049e..d8e397694 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 @@ -5,14 +5,14 @@ ["[0]" monad (.only do)]] [target ["_" python (.only Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] - ["///[1]" //// "_" + ["///[1]" //// [analysis [complex (.only Variant Tuple)]] ["[1][0]" synthesis (.only Synthesis)] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" 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 90e2fd294..1704c6d59 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 @@ -7,7 +7,7 @@ ["^" pattern]] [target ["_" r]]]] - ["[0]" / "_" + ["[0]" / [runtime (.only Phase)] ["[1][0]" primitive] ["[1][0]" structure] @@ -15,14 +15,14 @@ ["[1][0]" case] ["[1][0]" loop] ["[1][0]" function] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" extension] - ["/[1]" // "_" + ["/[1]" // [analysis (.only)] ["[1][0]" synthesis] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" monad)] [reference (.only) [variable (.only)]]]]]]]) 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 6cf4a6d76..60f553909 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] @@ -18,19 +18,19 @@ ["i" int]]] [target ["_" r (.only Expression SVar)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] ["[1][0]" primitive] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" - ["[1][0]" synthesis "_" + ["/[1]" // + ["[1][0]" synthesis ["[1]/[0]" case]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" synthesis (.only Member Synthesis Path)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] 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 30fe7d462..a523fc621 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 @@ -7,23 +7,23 @@ pipe] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] [target ["_" r (.only Expression SVar)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// [analysis (.only Variant Tuple Abstraction Application Analysis)] [synthesis (.only Synthesis)] ["[1][0]" generation (.only Context)] - ["//[1]" /// "_" + ["//[1]" /// [arity (.only Arity)] ["[1][0]" phase ("[1]#[0]" monad)] [reference 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 6debd7ac9..c71e536d2 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] @@ -15,18 +15,18 @@ ["n" nat]]] [target ["_" r]]]] - ["[0]" // "_" + ["[0]" // [runtime (.only Operation Phase Generator)] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // [synthesis ["[0]" case]] - ["/[1]" // "_" - ["[0]"synthesis (.only Scope Synthesis)] + ["/[1]" // + ["[0]" synthesis (.only Scope Synthesis)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase] [meta [archive (.only Archive)]] 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 655cd9516..c377bbcc0 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 @@ -3,7 +3,7 @@ [lux (.except i64) [target ["_" r (.only Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime]]) (template [<name> <type> <code>] 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 035d158f2..9bee4f953 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 @@ -6,7 +6,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data ["[0]" product] @@ -17,7 +17,7 @@ [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]] [math @@ -25,15 +25,15 @@ ["n" nat] ["i" int ("[1]#[0]" interval)] ["[0]" i64]]] - ["@" target + ["@" target (.only) ["_" r (.only SVar Expression)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// [analysis (.only Variant)] ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] - ["//[1]" /// + ["//[1]" /// (.only) ["[1][0]" phase] [reference [variable (.only Register)]] 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 2ffa2b1b5..adda5b547 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 @@ -8,13 +8,13 @@ ["[0]" list]]] [target ["_" r (.only Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] - ["///[1]" //// "_" + ["///[1]" //// [analysis (.only Variant Tuple)] ["[1][0]" synthesis (.only Synthesis)] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" 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 3d59e042f..0c7d531b9 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 @@ -7,9 +7,9 @@ ["%" format (.only format)]]] [meta ["[0]" version]]]] - ["[0]" //// "_" + ["[0]" //// ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[0]" phase ("[1]#[0]" monad)] ["[0]" reference (.only Reference) ["[0]" variable (.only Register Variable)]] 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 03f38d436..fdc41c019 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 @@ -9,7 +9,7 @@ ["^" pattern]] [target ["_" ruby]]]] - ["[0]" / "_" + ["[0]" / [runtime (.only Phase Phase!)] ["[1][0]" primitive] ["[1][0]" structure] @@ -17,17 +17,17 @@ ["[1][0]" function] ["[1][0]" case] ["[1][0]" loop] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" - ["[1][0]" extension + ["/[1]" // + ["[1][0]" extension (.only) [generation [ruby ["[1]/[0]" common]]]] - ["/[1]" // "_" + ["/[1]" // [analysis (.only)] ["[1][0]" synthesis] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" monad)] [reference (.only) [variable (.only)]]]]]]]) 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 c4350272a..bf7a4bc42 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 @@ -6,7 +6,7 @@ [control [exception (.only exception:)]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] @@ -19,21 +19,21 @@ ["i" int]]] [target ["_" ruby (.only Expression LVar Statement)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator Phase! Generator!)] ["[1][0]" reference] ["[1][0]" primitive] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // [synthesis ["[0]" case]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" generation] ["[1][0]" synthesis (.only Synthesis Path) [access ["[0]" member (.only Member)]]] - ["//[1]" /// "_" + ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] 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 235e3b2f1..c32ea1cc3 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 @@ -11,24 +11,24 @@ ["[0]" list ("[1]#[0]" functor mix)]]] [target ["_" ruby (.only LVar GVar Expression Statement)]]]] - ["[0]" // "_" + ["[0]" // [runtime (.only Operation Phase Generator Phase! Generator!)] ["[1][0]" reference] ["[1][0]" case] ["[1][0]" loop] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// [synthesis (.only Synthesis)] [analysis (.only Environment Abstraction Reification Analysis)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// [arity (.only Arity)] ["[1][0]" phase] [reference [variable (.only Register Variable)]] [meta - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]/[0]" artifact]]]]]]]]) 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 406fac609..e5acb087a 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] @@ -15,18 +15,18 @@ ["n" nat]]] [target ["_" ruby (.only Expression LVar Statement)]]]] - ["[0]" // "_" + ["[0]" // [runtime (.only Operation Phase Generator Phase! Generator!)] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // [synthesis ["[0]" case]] - ["/[1]" // "_" + ["/[1]" // ["[0]" synthesis (.only Scope Synthesis)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase] [reference ["[1][0]" variable (.only Register)]]]]]]]) 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 b66bf3569..bb811fc61 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 @@ -6,7 +6,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data ["[0]" product] @@ -17,21 +17,21 @@ [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" sequence]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]] [math [number (.only hex) ["[0]" i64] ["[0]" int ("[1]#[0]" interval)]]] - ["@" target + ["@" target (.only) ["_" ruby (.only Expression LVar Computation Literal Statement)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] - ["//[1]" /// + ["//[1]" /// (.only) ["[1][0]" phase] [reference [variable (.only Register)]] 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 1bbabead5..4ebe22359 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 @@ -5,14 +5,14 @@ ["[0]" monad (.only do)]] [target ["_" ruby (.only Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] - ["///[1]" //// "_" + ["///[1]" //// [analysis [complex (.only Variant Tuple)]] ["[1][0]" synthesis (.only Synthesis)] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" 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 1e8631f3c..555b11b5d 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 @@ -7,7 +7,7 @@ ["^" pattern]] [target ["_" scheme]]]] - ["[0]" / "_" + ["[0]" / [runtime (.only Phase)] ["[1][0]" primitive] ["[1][0]" structure] @@ -15,14 +15,14 @@ ["[1][0]" case] ["[1][0]" loop] ["[1][0]" function] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" extension] - ["/[1]" // "_" + ["/[1]" // [analysis (.only)] ["[1][0]" synthesis] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" monad)] [reference (.only) [variable (.only)]]]]]]]) 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 f91f1a7ef..d111d7349 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] @@ -18,19 +18,19 @@ ["i" int]]] [target ["_" scheme (.only Expression Computation Var)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] ["[1][0]" primitive] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" - ["[1][0]" synthesis "_" + ["/[1]" // + ["[1][0]" synthesis ["[1]/[0]" case]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" synthesis (.only Member Synthesis Path)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] ["[1][0]" phase ("[1]#[0]" monad)] 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 f68b2fcfc..9b2c83302 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 @@ -20,12 +20,12 @@ [syntax (.only syntax:)]] [target ["_" scheme (.only Expression Computation)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" runtime (.only Operation Phase Handler Bundle)] - ["[1]//" /// - ["[1][0]" extension + ["[1]//" /// (.only) + ["[1][0]" extension (.only) ["[0]" bundle]] - ["[1]/" // "_" + ["[1]/" // ["[1][0]" synthesis (.only Synthesis)]]]]) (syntax: (Vector [size <code>.nat 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 a50b89d6e..baf83633b 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 @@ -7,23 +7,23 @@ pipe] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] [target ["_" scheme (.only Expression Computation Var)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" reference] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// [analysis (.only Variant Tuple Abstraction Application Analysis)] [synthesis (.only Synthesis)] ["[1][0]" generation (.only Context)] - ["//[1]" /// "_" + ["//[1]" /// [arity (.only Arity)] ["[1][0]" phase ("[1]#[0]" monad)] [reference 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 36bcf187b..0f7a9c50a 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 @@ -5,7 +5,7 @@ ["[0]" monad (.only do)]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)] @@ -15,18 +15,18 @@ ["n" nat]]] [target ["_" scheme]]]] - ["[0]" // "_" + ["[0]" // [runtime (.only Operation Phase Generator)] ["[1][0]" case] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" reference] - ["/[1]" // "_" + ["/[1]" // [synthesis ["[0]" case]] - ["/[1]" // "_" - ["[0]"synthesis (.only Scope Synthesis)] + ["/[1]" // + ["[0]" synthesis (.only Scope Synthesis)] ["[1][0]" generation] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase] [meta [archive (.only Archive)]] 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 42467e2f3..c60d67bd1 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 @@ -6,7 +6,7 @@ ["[0]" monad (.only do)]] [control ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data ["[0]" product] @@ -17,21 +17,21 @@ [collection ["[0]" list ("[1]#[0]" functor)] ["[0]" sequence]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]] [math [number (.only hex) ["[0]" i64]]] - ["@" target + ["@" target (.only) ["_" scheme (.only Expression Computation Var)]]]] - ["[0]" /// "_" + ["[0]" /// ["[1][0]" reference] - ["//[1]" /// "_" + ["//[1]" /// [analysis (.only Variant)] ["[1][0]" synthesis (.only Synthesis)] ["[1][0]" generation] - ["//[1]" /// + ["//[1]" /// (.only) ["[1][0]" phase] [reference [variable (.only Register)]] 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 b0d40f9e9..879a743a6 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 @@ -8,13 +8,13 @@ ["[0]" list]]] [target ["_" scheme (.only Expression)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" runtime (.only Operation Phase Generator)] ["[1][0]" primitive] - ["///[1]" //// "_" + ["///[1]" //// [analysis (.only Variant Tuple)] ["[1][0]" synthesis (.only Synthesis)] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" phase ("[1]#[0]" 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 06ce7df7e..2512a4eb0 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 @@ -12,13 +12,13 @@ ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" function] ["[1][0]" case] ["[1][0]" variable] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" extension] - ["/[1]" // "_" + ["/[1]" // ["/" synthesis (.only Synthesis Phase) ["[1][0]" simple]] ["[1][0]" analysis (.only Analysis) 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 1fcb21f29..7ce80ebb3 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 @@ -20,19 +20,19 @@ ["n" nat] ["[0]" i64] ["[0]" frac]]]]] - ["[0]" /// "_" + ["[0]" /// [// ["[1][0]" analysis (.only Match Analysis) ["[2][0]" simple] ["[2][0]" complex] ["[2][0]" pattern (.only Pattern)]] ["/" synthesis (.only Path Synthesis Operation Phase) - ["[1][0]" access + ["[1][0]" access (.only) ["[2][0]" side] ["[2][0]" member (.only Member)]]] [/// ["[1]" phase ("[1]#[0]" monad)] - ["[1][0]" reference + ["[1][0]" reference (.only) ["[1]/[0]" variable (.only Register Variable)]] [meta [archive (.only Archive)]]]]]) 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 14dd53d35..199f708a9 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 @@ -18,16 +18,16 @@ [math [number ["n" nat]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" loop (.only Transform)] - ["//[1]" /// "_" + ["//[1]" /// ["[1][0]" analysis (.only Environment Analysis) ["[1]/[0]" complex]] ["/" synthesis (.only Path Abstraction Synthesis Operation Phase)] [/// [arity (.only Arity)] ["[0]" phase ("[1]#[0]" monad)] - ["[1][0]" reference + ["[1][0]" reference (.only) ["[1]/[0]" variable (.only Register Variable)]]]]]) (exception: .public (cannot_find_foreign_variable_in_environment [foreign Register 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 547ea5c27..a0e8ef55d 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 @@ -19,7 +19,7 @@ ["/" synthesis (.only Path Abstraction Synthesis)] [/// [arity (.only Arity)] - ["[0]" reference + ["[0]" reference (.only) ["[0]" variable (.only Register Variable)]]]]) (type: .public (Transform 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 04f9e8421..6b60d9490 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 @@ -9,7 +9,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format]] [collection ["[0]" dictionary (.only Dictionary)] @@ -21,13 +21,13 @@ [number ["n" nat]]]]] [//// - ["[0]" analysis + ["[0]" analysis (.only) ["[1]/[0]" complex]] ["/" synthesis (.only Path Synthesis) ["[1][0]" access]] [/// [arity (.only Arity)] - ["[0]" reference + ["[0]" reference (.only) ["[0]" variable (.only Register Variable)]]]]) (def: (prune redundant register) 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 f9b2af7d7..1363a5b80 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux @@ -36,7 +36,7 @@ [parser [text (.only Offset)]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list] 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 d7dc48762..fbc202680 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux @@ -25,7 +25,7 @@ ["n" nat] ["i" int] ["f" frac]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" simple (.only Simple)] ["[1][0]" access (.only Access) ["[2][0]" side (.only Side)] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux index 1ddac3535..be9d0e432 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/access.lux @@ -8,7 +8,7 @@ ["[0]" sum] [text ["%" format (.only Format)]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" side (.only Side)] ["[1][0]" member (.only Member)]]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux index 26b28857b..423c89489 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux @@ -9,12 +9,12 @@ ["[0]" try (.only Try)] ["[0]" exception (.only exception:)] ["[0]" function] - ["<>" parser + ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] [data [binary (.only Binary)] ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [format ["[0]" binary (.only Writer)]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux index 008e62014..8545d55a1 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux @@ -11,7 +11,7 @@ [math [number ["[0]" nat]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" category (.only Category)]]) (type: .public ID diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux index 18e07ee60..8cb500cc6 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/descriptor.lux @@ -4,14 +4,14 @@ [abstract [equivalence (.only Equivalence)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] [data ["[0]" product] ["[0]" text] [collection ["[0]" set (.only Set)]] - ["[0]" format "_" + ["[0]" format ["[1]" binary (.only Writer)]]] [macro ["^" pattern]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux index 924ac967a..e6b210a44 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux @@ -6,7 +6,7 @@ [control ["[0]" try (.only Try)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) [binary (.only Parser)]]] [data [collection diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux index 0be7c5800..d775f6c37 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux @@ -7,11 +7,11 @@ ["[0]" pipe] ["[0]" maybe ("[1]#[0]" functor)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection [set (.only Set)] @@ -24,7 +24,7 @@ ["^" pattern]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // ["[0]" unit] ["[1]" artifact (.only Artifact ID) ["[2][0]" category (.only Category)]]]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux index ff37467a6..214a26699 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/signature.lux @@ -4,11 +4,11 @@ [abstract [equivalence (.only Equivalence)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [format ["[0]" binary (.only Writer)]]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux index f57e65e78..a629a76ac 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/unit.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except none) [abstract [equivalence (.only Equivalence)] [hash (.only Hash)]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache.lux b/stdlib/source/library/lux/tool/compiler/meta/cache.lux index 07e9a9ff1..ad801c7c5 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache.lux @@ -10,7 +10,7 @@ ["%" format (.only format)]]] [world ["[0]" file]]]] - ["[0]" // + ["[0]" // (.only) ["[0]" context (.only Context)] [// ["[0]" version]]]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux index c84452d15..e8ed26448 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/archive.lux @@ -8,8 +8,8 @@ ["%" format]]] [world ["[0]" file]]]] - ["[0]" // - ["/[1]" // + ["[0]" // (.only) + ["/[1]" // (.only) [context (.only Context)] ["[0]" archive (.only Archive)]]]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux index cb9d2e30f..5107be1a4 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/artifact.lux @@ -12,7 +12,7 @@ ["%" format (.only format)]]] [world ["[0]" file]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" module] [// ["[0]" context (.only Context)] diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux index 8aa6cde90..db0a349ee 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/module.lux @@ -10,7 +10,7 @@ [function ["[0]" memo (.only Memo)]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] @@ -19,7 +19,7 @@ [//// ["[0]" archive (.only Output Archive) [key (.only Key)] - ["[0]" module + ["[0]" module (.only) ["[0]" descriptor (.only Descriptor)] ["[0]" document (.only Document)]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux index 30b1c08a7..ddfc13c12 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux @@ -18,7 +18,7 @@ ["[0]" dictionary (.only Dictionary)]]] [world ["[0]" file]]]] - ["[0]" // + ["[0]" // (.only) [// [context (.only Context)] [archive diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux index 0eb998723..e5316f476 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux @@ -19,16 +19,16 @@ ["n" nat]]] [world ["[0]" file]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" module] - ["[0]" dependency "_" + ["[0]" dependency ["[1]" module]] - ["/[1]" // "_" + ["/[1]" // [context (.only Context)] ["/[1]" // (.only Input)] - ["[0]" archive + ["[0]" archive (.only) [registry (.only Registry)] - ["[0]" module + ["[0]" module (.only) ["[0]" descriptor (.only Descriptor)]]]]]) (type: .public Cache diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli.lux b/stdlib/source/library/lux/tool/compiler/meta/cli.lux index 58a41c9ba..a3e631d17 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cli.lux @@ -6,12 +6,12 @@ [equivalence (.only Equivalence)]] [control ["[0]" pipe] - ["<>" parser + ["<>" parser (.only) ["<[0]>" cli (.only Parser)] ["<[0]>" text]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format]] [collection ["[0]" list ("[1]#[0]" functor)]]] @@ -30,7 +30,7 @@ ["[0]" descriptor]]]]]] [world [file (.only Path)]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" compiler (.only Compiler)]]) (type: .public Host_Dependency diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux index ab562c5e5..bdd1e8714 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux @@ -5,11 +5,11 @@ [monad (.only do)] [equivalence (.only Equivalence)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format]] [collection ["[0]" list ("[1]#[0]" functor)]]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/export.lux b/stdlib/source/library/lux/tool/compiler/meta/export.lux index 34b45ff06..e5391b566 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/export.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/export.lux @@ -8,7 +8,7 @@ [concurrency ["[0]" async (.only Async) ("[1]#[0]" functor)]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" dictionary] @@ -22,7 +22,7 @@ [compiler [meta [cli (.only Source Export)] - ["[0]" io "_" + ["[0]" io ["[1]" context]]]]] [world ["[0]" file]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/import.lux b/stdlib/source/library/lux/tool/compiler/meta/import.lux index 871038f81..5c5be37d4 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/import.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/import.lux @@ -8,11 +8,11 @@ ["[0]" exception (.only exception:)] [concurrency ["[0]" async (.only Async)]] - ["<>" parser + ["<>" parser (.only) ["<[0]>" binary]]] [data [binary (.only Binary)] - ["[0]" text + ["[0]" text (.only) ["%" format]] [collection ["[0]" dictionary (.only Dictionary)] diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux index e9581c2ac..e6e941497 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux @@ -8,7 +8,7 @@ ["[0]" try (.only Try)] [concurrency ["[0]" async (.only Async) ("[1]#[0]" monad)]] - ["<>" parser + ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] [data [binary (.only Binary)] @@ -27,9 +27,9 @@ ["[0]" version]] [world ["[0]" file]]]] - ["[0]" // + ["[0]" // (.only) ["[1][0]" context] - ["/[1]" // + ["/[1]" // (.only) [import (.only Import)] ["[0]" context (.only Context)] ["[0]" archive (.only Output Archive) @@ -38,18 +38,18 @@ ["[0]" unit] ["[0]" artifact (.only Artifact) ["[0]" category (.only Category)]] - ["[0]" module + ["[0]" module (.only) ["[0]" descriptor (.only Descriptor)] ["[0]" document (.only Document)]]] - ["[0]" cache + ["[0]" cache (.only) ["[1]/[0]" archive] ["[1]/[0]" module] ["[1]/[0]" purge (.only Cache Purge)] - ["[0]" dependency "_" + ["[0]" dependency ["[1]" module]]] [// (.only Custom) [language - ["$" lux + ["$" lux (.only) ["[0]" analysis] ["[0]" synthesis] ["[0]" generation] diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux index 6fdd47f2a..06c7fb4f8 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux @@ -23,7 +23,7 @@ [world ["[0]" file]]]] ["[0]" // (.only Context Code) - ["/[1]" // "_" + ["/[1]" // [import (.only Import)] ["/[1]" // (.only Input)] [archive diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager.lux b/stdlib/source/library/lux/tool/compiler/meta/packager.lux index ecb0ce5df..fccd9b8b2 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager.lux @@ -13,14 +13,14 @@ [world ["[0]" file]]]] [// - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]/[0]" module]]] ["[0]" archive (.only Archive) ["[0]" artifact] ["[0]" registry] ["[0]" unit] - ["[0]" module + ["[0]" module (.only) ["[0]" descriptor]]]]) (type: .public Packager diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux index 1da5f71b7..197d404b8 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux @@ -9,7 +9,7 @@ ["[0]" try (.only Try)]] [data ["[0]" binary (.only Binary)] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" sequence] @@ -32,17 +32,17 @@ ["[0]" archive (.only Output) ["[0]" artifact] ["[0]" unit] - ["[0]" module + ["[0]" module (.only) ["[0]" descriptor (.only Module)]]] - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]/[0]" module] ["[1]/[0]" artifact]]] - ["[0]" io "_" + ["[0]" io ["[1]" archive]] [// [language - ["$" lux + ["$" lux (.only) [phase [generation [jvm diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux index 906ee2214..c69e2c7f7 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux @@ -9,7 +9,7 @@ [data [binary (.only Binary)] ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)] [encoding ["[0]" utf8]]] @@ -31,14 +31,14 @@ [registry (.only Registry)] ["[0]" artifact] ["[0]" unit] - ["[0]" module + ["[0]" module (.only) ["[0]" descriptor] ["[0]" document (.only Document)]]] - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]/[0]" module (.only Order)] ["[1]/[0]" artifact]]] - ["[0]" io "_" + ["[0]" io ["[1]" archive]] [// [language diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux index 65efc285e..5c6ba160e 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux @@ -9,7 +9,7 @@ [data [binary (.only Binary)] ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)] ["[0]" encoding]] [collection @@ -37,11 +37,11 @@ ["[0]" document (.only Document)]] [cache ["[0]" dependency]] - ["[0]" io "_" + ["[0]" io ["[1]" archive]] [// [language - ["$" lux + ["$" lux (.only) [generation (.only Context)]]]]]]) ... TODO: Delete ASAP diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux index 4898670a7..c360fa7e1 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux @@ -22,13 +22,13 @@ ["[0]" archive (.only Output) ["[0]" artifact] ["[0]" unit] - ["[0]" module + ["[0]" module (.only) ["[0]" descriptor]]] - ["[0]" cache "_" + ["[0]" cache [dependency ["[1]/[0]" module] ["[1]/[0]" artifact]]] - ["[0]" io "_" + ["[0]" io ["[1]" archive]] [// [language diff --git a/stdlib/source/library/lux/tool/compiler/reference.lux b/stdlib/source/library/lux/tool/compiler/reference.lux index 73d32476f..6c6b7aca1 100644 --- a/stdlib/source/library/lux/tool/compiler/reference.lux +++ b/stdlib/source/library/lux/tool/compiler/reference.lux @@ -16,7 +16,7 @@ ["n" nat]]] [meta ["[0]" symbol]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" variable (.only Variable)]]) (type: .public Constant |