diff options
Diffstat (limited to 'stdlib/source/library')
288 files changed, 836 insertions, 833 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index ec325459b..def83aa1c 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -3377,7 +3377,6 @@ (type: Referrals (Variant - {#Ignore} {#Nothing} {#Referral [Symbol (List Code)]})) @@ -3395,19 +3394,39 @@ #import_alias (Maybe Text) #import_refer Refer])) -(def: (referrals_parser tokens) - (-> (List Code) (Meta [Referrals (List Code)])) +... TODO: Allow asking the compiler for the name of the definition +... currently being defined. That name can then be fed into +... 'wrong_syntax_error' for easier maintenance of the error_messages. +(def: (wrong_syntax_error it) + (-> Symbol Text) + (|> it + symbol#encoded + (text#composite "Wrong syntax for "))) + +(macro: .public (symbol tokens) + (case tokens + (pattern (list [_ {#Symbol [module name]}])) + (meta#in (list (` [(~ (text$ module)) (~ (text$ name))]))) + + _ + (failure (..wrong_syntax_error [..prelude_module "symbol"])))) + +(def: (referrals_parser aliased? tokens) + (-> Bit (List Code) (Meta [Referrals (List Code)])) (case tokens (pattern (partial_list [_ {#Form (partial_list [_ {#Symbol macro}] defs)}] tokens')) (meta#in [{#Referral [macro defs]} tokens']) - (pattern#or (pattern (partial_list [_ {#Text "_"}] tokens')) - (pattern (partial_list [_ {#Text "ignore"}] tokens'))) - (meta#in [{#Ignore} tokens']) - + (pattern (list)) + (meta#in [(if aliased? + {#Referral [(symbol ..none) (list)]} + {#Nothing}) + (list)]) + _ - (meta#in [{#Nothing} tokens]))) + (meta#in [{#Nothing} + tokens]))) (def: (openings_parser parts) (-> (List Code) (Meta [(List Openings) (List Code)])) @@ -3563,7 +3582,7 @@ {#None} (..absolute_module_name nested? relative_root module_name)) - referral+extra (referrals_parser extra) + referral+extra (referrals_parser #0 extra) .let [[referral extra] referral+extra] openings+extra (openings_parser extra) .let [[openings extra] openings+extra] @@ -3587,14 +3606,14 @@ {#None} (..absolute_module_name nested? relative_root module_name)) - referral+extra (referrals_parser extra) + referral+extra (referrals_parser #1 extra) .let [[referral extra] referral+extra] openings+extra (openings_parser extra) .let [[openings extra] openings+extra module_alias (..module_alias {#Item module_name context} alias)] sub_imports (imports_parser #1 absolute_module_name {#Item module_alias context} extra)] (in (case [referral openings] - [{#Ignore} {#End}] + [{#Nothing} {#End}] sub_imports _ @@ -3687,23 +3706,6 @@ cases)] output)) -... TODO: Allow asking the compiler for the name of the definition -... currently being defined. That name can then be fed into -... 'wrong_syntax_error' for easier maintenance of the error_messages. -(def: (wrong_syntax_error it) - (-> Symbol Text) - (|> it - symbol#encoded - (text#composite "Wrong syntax for "))) - -(macro: .public (symbol tokens) - (case tokens - (pattern (list [_ {#Symbol [module name]}])) - (meta#in (list (` [(~ (text$ module)) (~ (text$ name))]))) - - _ - (failure (..wrong_syntax_error [..prelude_module "symbol"])))) - (def: (test_referrals current_module imported_module all_defs referred_defs) (-> Text Text (List Text) (List Text) (Meta (List Any))) (monad#each meta_monad @@ -3762,16 +3764,23 @@ {.#None} (failure (..wrong_syntax_error (symbol ..except))))) -(macro: .public (full tokens) - (case (..parsed (all ..andP - ..anyP - ..anyP) - tokens) - {.#Some [current_module imported_module]} - (meta#in (list (` (..except (~ current_module) (~ imported_module))))) - - {.#None} - (failure (..wrong_syntax_error (symbol ..full))))) +(template [<simple> <complex>] + [(macro: .public (<simple> tokens) + (case (..parsed (all ..andP + ..anyP + ..anyP) + tokens) + {.#Some [current_module imported_module]} + (meta#in (list (` (<complex> (~ current_module) (~ imported_module))))) + + {.#None} + (let [[module _] (symbol .._) + [_ short] (symbol <simple>)] + (failure (..wrong_syntax_error [module short])))))] + + [full ..except] + [none ..only] + ) (def: (in_env name state) (-> Text Lux (Maybe Type)) @@ -4137,7 +4146,7 @@ (def: (referrals module_name options) (-> Text (List Code) (Meta Refer)) (do meta_monad - [referral+options (referrals_parser options) + [referral+options (referrals_parser #0 options) .let [[referral options] referral+options] openings+options (openings_parser options) .let [[openings options] openings+options] @@ -4168,9 +4177,6 @@ (failure (all text#composite _def " is not defined in module " module_name " @ " current_module))))) referred_defs)))] defs (case r_defs - {#Ignore} - (in (list)) - {#Nothing} (in (list)) @@ -4203,9 +4209,6 @@ (let [module_alias (..maybe#else module_name module_alias') localizations (is (List Code) (case r_defs - {#Ignore} - (list) - {#Nothing} (list) diff --git a/stdlib/source/library/lux/abstract/monad/indexed.lux b/stdlib/source/library/lux/abstract/monad/indexed.lux index 668499130..ad28a2649 100644 --- a/stdlib/source/library/lux/abstract/monad/indexed.lux +++ b/stdlib/source/library/lux/abstract/monad/indexed.lux @@ -2,12 +2,12 @@ [library [lux (.except global) [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data [collection ["[0]" list ("[1]#[0]" functor mix)]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]]]] ["[0]" //]) diff --git a/stdlib/source/library/lux/abstract/predicate.lux b/stdlib/source/library/lux/abstract/predicate.lux index 590741de7..2ac8933fb 100644 --- a/stdlib/source/library/lux/abstract/predicate.lux +++ b/stdlib/source/library/lux/abstract/predicate.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.except all or and) + [lux (.except all or and none) [control ["[0]" function]]]] [// diff --git a/stdlib/source/library/lux/control/concatenative.lux b/stdlib/source/library/lux/control/concatenative.lux index 87c487ae0..e53790026 100644 --- a/stdlib/source/library/lux/control/concatenative.lux +++ b/stdlib/source/library/lux/control/concatenative.lux @@ -7,7 +7,7 @@ [control ["[0]" maybe ("[1]#[0]" monad)]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" mix functor)]]] diff --git a/stdlib/source/library/lux/control/concurrency/atom.lux b/stdlib/source/library/lux/control/concurrency/atom.lux index 40ce195b9..58691f52c 100644 --- a/stdlib/source/library/lux/control/concurrency/atom.lux +++ b/stdlib/source/library/lux/control/concurrency/atom.lux @@ -11,7 +11,7 @@ [data ["[0]" product] [collection - ["[0]" array "_" + ["[0]" array ["[1]" \\unsafe]]]] [type [primitive (.full)] diff --git a/stdlib/source/library/lux/control/exception.lux b/stdlib/source/library/lux/control/exception.lux index 2c310210a..34bdd22c2 100644 --- a/stdlib/source/library/lux/control/exception.lux +++ b/stdlib/source/library/lux/control/exception.lux @@ -18,7 +18,7 @@ ["[0]" code] [syntax (.only syntax:) ["|[0]|" input] - ["[0]" type "_" + ["[0]" type ["|[1]_[0]|" variable]]]] [math [number diff --git a/stdlib/source/library/lux/control/function/inline.lux b/stdlib/source/library/lux/control/function/inline.lux index 6973ed20a..f83d6418c 100644 --- a/stdlib/source/library/lux/control/function/inline.lux +++ b/stdlib/source/library/lux/control/function/inline.lux @@ -5,12 +5,12 @@ [abstract ["[0]" monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data [collection ["[0]" list ("[1]#[0]" monad)]]] - ["[0]" macro + ["[0]" macro (.only) ["[0]" code] [syntax (.only syntax:) ["|[0]|" export]]]]]) diff --git a/stdlib/source/library/lux/control/function/memo.lux b/stdlib/source/library/lux/control/function/memo.lux index 4a927235b..1bd9db5a6 100644 --- a/stdlib/source/library/lux/control/function/memo.lux +++ b/stdlib/source/library/lux/control/function/memo.lux @@ -3,7 +3,7 @@ (.using [library - [lux (.except open) + [lux (.except open none) ["[0]" type] [abstract [hash (.only Hash)] @@ -14,7 +14,7 @@ ["[0]" product] [collection ["[0]" dictionary (.only Dictionary)]]]]] - ["[0]" // "_" + ["[0]" // ["[1]" mixin (.only Mixin Recursive)]]) (def: .public memoization diff --git a/stdlib/source/library/lux/control/function/mutual.lux b/stdlib/source/library/lux/control/function/mutual.lux index 534b8ef9a..65b8b9a6b 100644 --- a/stdlib/source/library/lux/control/function/mutual.lux +++ b/stdlib/source/library/lux/control/function/mutual.lux @@ -17,7 +17,7 @@ ["[0]" list ("[1]#[0]" functor)] [dictionary ["[0]" plist (.only PList)]]]] - ["[0]" macro + ["[0]" macro (.only) ["[0]" local] ["[0]" code] [syntax (.only syntax:) diff --git a/stdlib/source/library/lux/control/parser/analysis.lux b/stdlib/source/library/lux/control/parser/analysis.lux index 11024afc2..d6fb20e2b 100644 --- a/stdlib/source/library/lux/control/parser/analysis.lux +++ b/stdlib/source/library/lux/control/parser/analysis.lux @@ -8,7 +8,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" bit] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/library/lux/control/parser/binary.lux index 10e010919..e566a58a5 100644 --- a/stdlib/source/library/lux/control/parser/binary.lux +++ b/stdlib/source/library/lux/control/parser/binary.lux @@ -10,7 +10,7 @@ ["[0]" try (.only Try)] ["[0]" exception (.only exception:)]] [data - ["/" binary "_" + ["/" binary ["[1]" \\unsafe (.only Binary)]] [text ["%" format (.only format)] diff --git a/stdlib/source/library/lux/control/parser/environment.lux b/stdlib/source/library/lux/control/parser/environment.lux index 53c103876..86ccd13b2 100644 --- a/stdlib/source/library/lux/control/parser/environment.lux +++ b/stdlib/source/library/lux/control/parser/environment.lux @@ -6,7 +6,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" dictionary (.only Dictionary)]]]]] diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux index 39c5b4d46..47179c5d8 100644 --- a/stdlib/source/library/lux/control/parser/synthesis.lux +++ b/stdlib/source/library/lux/control/parser/synthesis.lux @@ -8,7 +8,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" bit] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]]] [math [number diff --git a/stdlib/source/library/lux/control/pipe.lux b/stdlib/source/library/lux/control/pipe.lux index 911061cb2..4e352584c 100644 --- a/stdlib/source/library/lux/control/pipe.lux +++ b/stdlib/source/library/lux/control/pipe.lux @@ -5,7 +5,7 @@ ["[0]" monad]] [control ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data ["[0]" identity] diff --git a/stdlib/source/library/lux/control/region.lux b/stdlib/source/library/lux/control/region.lux index 10824e5f7..86bddcfac 100644 --- a/stdlib/source/library/lux/control/region.lux +++ b/stdlib/source/library/lux/control/region.lux @@ -8,7 +8,7 @@ [control ["[0]" try (.only Try)]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" mix)]]]]] diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux index 7b5dfcd37..08ccaafac 100644 --- a/stdlib/source/library/lux/control/security/capability.lux +++ b/stdlib/source/library/lux/control/security/capability.lux @@ -5,7 +5,7 @@ [monad (.only do)]] [control ["[0]" io (.only IO)] - ["<>" parser + ["<>" parser (.only) ["<c>" code]] [concurrency ["[0]" async (.only Async)]]] @@ -17,7 +17,7 @@ [type [primitive (.full)]] ["[0]" meta] - ["[0]" macro + ["[0]" macro (.only) ["[0]" code] [syntax (.only syntax:) ["|[0]|" export] diff --git a/stdlib/source/library/lux/control/thread.lux b/stdlib/source/library/lux/control/thread.lux index 7ef58a98a..ccb4f654a 100644 --- a/stdlib/source/library/lux/control/thread.lux +++ b/stdlib/source/library/lux/control/thread.lux @@ -10,7 +10,7 @@ ["[0]" io (.only IO)]] [data [collection - ["[0]" array "_" + ["[0]" array ["[1]" \\unsafe (.only Array)]]]] [type [primitive (.full)] diff --git a/stdlib/source/library/lux/data/binary.lux b/stdlib/source/library/lux/data/binary.lux index db030b692..a88729a42 100644 --- a/stdlib/source/library/lux/data/binary.lux +++ b/stdlib/source/library/lux/data/binary.lux @@ -17,7 +17,7 @@ [math [number ["n" nat]]]]] - ["[0]" / "_" + ["[0]" / ["[1]" \\unsafe]]) (type: .public Binary diff --git a/stdlib/source/library/lux/data/collection/dictionary.lux b/stdlib/source/library/lux/data/collection/dictionary.lux index 37436adc1..7f30db024 100644 --- a/stdlib/source/library/lux/data/collection/dictionary.lux +++ b/stdlib/source/library/lux/data/collection/dictionary.lux @@ -14,12 +14,12 @@ ["[0]" product] [collection ["[0]" list ("[1]#[0]" mix functor monoid)] - ["[0]" array "_" + ["[0]" array ["[1]" \\unsafe (.only Array)]]]] [macro ["^" pattern]] [math - ["[0]" number + ["[0]" number (.only) ["n" nat] ["[0]" i64]]]]]) diff --git a/stdlib/source/library/lux/data/collection/queue/priority.lux b/stdlib/source/library/lux/data/collection/queue/priority.lux index fed73a606..c63677872 100644 --- a/stdlib/source/library/lux/data/collection/queue/priority.lux +++ b/stdlib/source/library/lux/data/collection/queue/priority.lux @@ -8,7 +8,7 @@ ["[0]" maybe]] [data [collection - ["[0]" tree "_" + ["[0]" tree ["[1]" finger (.only Tree)]]]] [math [number diff --git a/stdlib/source/library/lux/data/collection/sequence.lux b/stdlib/source/library/lux/data/collection/sequence.lux index 0fe2d9472..065bb8941 100644 --- a/stdlib/source/library/lux/data/collection/sequence.lux +++ b/stdlib/source/library/lux/data/collection/sequence.lux @@ -17,13 +17,13 @@ ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try (.only Try)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data ["[0]" product] [collection ["[0]" list ("[1]#[0]" mix functor monoid)] - ["[0]" array "_" + ["[0]" array ["[1]" \\unsafe (.only Array)]]]] [macro [syntax (.only syntax:)] diff --git a/stdlib/source/library/lux/data/collection/set.lux b/stdlib/source/library/lux/data/collection/set.lux index 2b3fe410b..4d9e696d9 100644 --- a/stdlib/source/library/lux/data/collection/set.lux +++ b/stdlib/source/library/lux/data/collection/set.lux @@ -14,7 +14,7 @@ [math [number ["n" nat]]]]] - ["[0]" // "_" + ["[0]" // ["[1]" dictionary (.only Dictionary)]]) (type: .public (Set a) diff --git a/stdlib/source/library/lux/data/collection/set/multi.lux b/stdlib/source/library/lux/data/collection/set/multi.lux index c268dda54..377ee54fd 100644 --- a/stdlib/source/library/lux/data/collection/set/multi.lux +++ b/stdlib/source/library/lux/data/collection/set/multi.lux @@ -15,7 +15,7 @@ ["n" nat]]] [type ["[0]" primitive (.only primitive: abstraction representation)]]]] - ["[0]" // + ["[0]" // (.only) [// ["[0]" list ("[1]#[0]" mix monoid)] ["[0]" dictionary (.only Dictionary)]]]) diff --git a/stdlib/source/library/lux/data/collection/stream.lux b/stdlib/source/library/lux/data/collection/stream.lux index 90fb05f3d..d62f1f23c 100644 --- a/stdlib/source/library/lux/data/collection/stream.lux +++ b/stdlib/source/library/lux/data/collection/stream.lux @@ -6,7 +6,7 @@ [comonad (.only CoMonad)]] [control ["//" continuation (.only Cont)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data ["[0]" bit] diff --git a/stdlib/source/library/lux/data/collection/tree.lux b/stdlib/source/library/lux/data/collection/tree.lux index bcbadda8e..01f6b31ab 100644 --- a/stdlib/source/library/lux/data/collection/tree.lux +++ b/stdlib/source/library/lux/data/collection/tree.lux @@ -7,7 +7,7 @@ [mix (.only Mix)] [monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data [collection diff --git a/stdlib/source/library/lux/data/format/binary.lux b/stdlib/source/library/lux/data/format/binary.lux index 17b47d2c5..860448136 100644 --- a/stdlib/source/library/lux/data/format/binary.lux +++ b/stdlib/source/library/lux/data/format/binary.lux @@ -12,7 +12,7 @@ ["<>" parser ("[1]#[0]" monad) ["</>" binary (.only Offset Size Parser)]]] [data - ["/" binary "_" + ["/" binary ["[1]" \\unsafe (.only Binary)]] ["[0]" product] [text diff --git a/stdlib/source/library/lux/data/format/css.lux b/stdlib/source/library/lux/data/format/css.lux index 6c9b1f43f..ee8b19f0c 100644 --- a/stdlib/source/library/lux/data/format/css.lux +++ b/stdlib/source/library/lux/data/format/css.lux @@ -4,7 +4,7 @@ [control ["[0]" maybe]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)] ["[0]" encoding (.only Encoding)]] [collection @@ -16,7 +16,7 @@ [primitive (.except Frame pattern)]] [world [net (.only URL)]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" selector (.only Selector Combinator Specializer Generic)] ["[1][0]" value (.only Value Animation Percentage)] ["[1][0]" property (.only Property)] diff --git a/stdlib/source/library/lux/data/format/css/font.lux b/stdlib/source/library/lux/data/format/css/font.lux index eca6203fb..c3a64f16a 100644 --- a/stdlib/source/library/lux/data/format/css/font.lux +++ b/stdlib/source/library/lux/data/format/css/font.lux @@ -10,7 +10,7 @@ [syntax (.only syntax:)]] [world [net (.only URL)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" value (.only Value Font_Stretch Font_Style Font_Weight)]]) (type: .public Unicode_Range diff --git a/stdlib/source/library/lux/data/format/css/query.lux b/stdlib/source/library/lux/data/format/css/query.lux index 09cb98bf1..cadc7c716 100644 --- a/stdlib/source/library/lux/data/format/css/query.lux +++ b/stdlib/source/library/lux/data/format/css/query.lux @@ -13,7 +13,7 @@ [syntax (.only syntax:)]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" value (.only Value Length Count Resolution Ratio Orientation Scan Boolean Update Block_Overflow Inline_Overflow diff --git a/stdlib/source/library/lux/data/format/css/selector.lux b/stdlib/source/library/lux/data/format/css/selector.lux index 3a0352cac..abb951303 100644 --- a/stdlib/source/library/lux/data/format/css/selector.lux +++ b/stdlib/source/library/lux/data/format/css/selector.lux @@ -3,7 +3,7 @@ [lux (.except Label or and for same? not) ["[0]" locale (.only Locale)] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]]] [math [number @@ -12,7 +12,7 @@ [primitive (.full)]] [macro ["[0]" template]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" id (.only ID)] ["[1][0]" class (.only Class)]]) diff --git a/stdlib/source/library/lux/data/format/css/style.lux b/stdlib/source/library/lux/data/format/css/style.lux index a83df7abd..a53935950 100644 --- a/stdlib/source/library/lux/data/format/css/style.lux +++ b/stdlib/source/library/lux/data/format/css/style.lux @@ -8,7 +8,7 @@ ["[0]" list ("[1]#[0]" mix)]]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" value (.only Value)] ["[1][0]" property (.only Property)]]) diff --git a/stdlib/source/library/lux/data/format/markdown.lux b/stdlib/source/library/lux/data/format/markdown.lux index ff735a06d..0a3697a44 100644 --- a/stdlib/source/library/lux/data/format/markdown.lux +++ b/stdlib/source/library/lux/data/format/markdown.lux @@ -2,7 +2,7 @@ [library [lux (.except and) [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux index 94316f96e..1c808ffe7 100644 --- a/stdlib/source/library/lux/data/format/tar.lux +++ b/stdlib/source/library/lux/data/format/tar.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.except Mode and) + [lux (.except Mode and none) [ffi (.only)] [abstract [monad (.only do)]] @@ -8,7 +8,7 @@ ["[0]" pipe] ["[0]" try (.only Try)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] [data ["[0]" product] @@ -18,7 +18,7 @@ ["%" format (.only format)] [encoding ["[0]" utf8]]] - ["[0]" format "_" + ["[0]" format ["[1]" binary (.only Writer) ("[1]#[0]" monoid)]] [collection ["[0]" list ("[1]#[0]" mix)] @@ -28,7 +28,7 @@ [macro ["^" pattern]] [math - ["[0]" number + ["[0]" number (.only) ["n" nat] ["[0]" i64]]] [time diff --git a/stdlib/source/library/lux/data/text/format.lux b/stdlib/source/library/lux/data/text/format.lux index 7997e19a0..87e258477 100644 --- a/stdlib/source/library/lux/data/text/format.lux +++ b/stdlib/source/library/lux/data/text/format.lux @@ -6,7 +6,7 @@ [functor ["[0]" contravariant]]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data ["[0]" bit] @@ -16,7 +16,7 @@ ["[0]" json]] [collection ["[0]" list ("[1]#[0]" monad)]]] - ["[0]" time + ["[0]" time (.only) ["[0]" instant] ["[0]" duration] ["[0]" date] diff --git a/stdlib/source/library/lux/data/text/regex.lux b/stdlib/source/library/lux/data/text/regex.lux index 4c6c91c8b..f9e57e97f 100644 --- a/stdlib/source/library/lux/data/text/regex.lux +++ b/stdlib/source/library/lux/data/text/regex.lux @@ -22,7 +22,7 @@ [math [number (.only hex) ["n" nat ("[1]#[0]" decimal)]]]]] - ["[0]" // + ["[0]" // (.only) ["%" format (.only format)]]) (def: regex_char^ diff --git a/stdlib/source/library/lux/data/text/unicode/set.lux b/stdlib/source/library/lux/data/text/unicode/set.lux index 2853746e7..967d8e06d 100644 --- a/stdlib/source/library/lux/data/text/unicode/set.lux +++ b/stdlib/source/library/lux/data/text/unicode/set.lux @@ -7,12 +7,12 @@ [collection ["[0]" list ("[1]#[0]" mix functor)] ["[0]" set ("[1]#[0]" equivalence)] - ["[0]" tree "_" + ["[0]" tree ["[1]" finger (.only Tree)]]]] [type (.only by_example) [primitive (.full)]]]] - ["[0]" / "_" - ["/[1]" // "_" + ["[0]" / + ["/[1]" // [// (.only Char)] ["[1][0]" block (.only Block)]]]) diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux index b7fe4a054..3ec9155fa 100644 --- a/stdlib/source/library/lux/debug.lux +++ b/stdlib/source/library/lux/debug.lux @@ -12,11 +12,11 @@ ["[0]" function] ["[0]" try (.only Try)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" type (.only Parser)] ["<[0]>" code]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only Format)]] [format [xml (.only XML)] diff --git a/stdlib/source/library/lux/documentation.lux b/stdlib/source/library/lux/documentation.lux index 71fbe297d..f39019bfd 100644 --- a/stdlib/source/library/lux/documentation.lux +++ b/stdlib/source/library/lux/documentation.lux @@ -21,7 +21,7 @@ ["[0]" stream (.only Stream)]] [format ["md" markdown (.only Markdown Block)]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["^" pattern] ["[0]" code] diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux index 29b07fc8d..5d53095cf 100644 --- a/stdlib/source/library/lux/ffi.jvm.lux +++ b/stdlib/source/library/lux/ffi.jvm.lux @@ -25,7 +25,7 @@ ["[0]" code] ["[0]" template]] [target - ["[0]" jvm "_" + ["[0]" jvm [encoding ["[0]" name (.only External)]] ["[1]" type (.only Type Argument Typed) diff --git a/stdlib/source/library/lux/ffi/export.js.lux b/stdlib/source/library/lux/ffi/export.js.lux index 351d4eed1..e752dbf8e 100644 --- a/stdlib/source/library/lux/ffi/export.js.lux +++ b/stdlib/source/library/lux/ffi/export.js.lux @@ -7,7 +7,7 @@ [abstract ["[0]" monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data [text @@ -15,7 +15,7 @@ [collection ["[0]" list ("[1]#[0]" monad mix)] ["[0]" set]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]] [math @@ -27,7 +27,7 @@ ["[0]" phase] [meta [cache - ["[0]" dependency "_" + ["[0]" dependency ["[1]" artifact]]]] [language [lux diff --git a/stdlib/source/library/lux/ffi/export.jvm.lux b/stdlib/source/library/lux/ffi/export.jvm.lux index 9ed7df9a0..17750a864 100644 --- a/stdlib/source/library/lux/ffi/export.jvm.lux +++ b/stdlib/source/library/lux/ffi/export.jvm.lux @@ -2,7 +2,7 @@ [library [lux (.except function) [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data [collection diff --git a/stdlib/source/library/lux/ffi/export.lua.lux b/stdlib/source/library/lux/ffi/export.lua.lux index 6d5ae8521..6fa43c27f 100644 --- a/stdlib/source/library/lux/ffi/export.lua.lux +++ b/stdlib/source/library/lux/ffi/export.lua.lux @@ -7,7 +7,7 @@ [abstract ["[0]" monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data [text @@ -15,7 +15,7 @@ [collection ["[0]" list ("[1]#[0]" monad mix)] ["[0]" set]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]] [math @@ -27,7 +27,7 @@ ["[0]" phase] [meta [cache - ["[0]" dependency "_" + ["[0]" dependency ["[1]" artifact]]]] [language [lux diff --git a/stdlib/source/library/lux/ffi/export.py.lux b/stdlib/source/library/lux/ffi/export.py.lux index 3dface6f3..563783a3d 100644 --- a/stdlib/source/library/lux/ffi/export.py.lux +++ b/stdlib/source/library/lux/ffi/export.py.lux @@ -7,7 +7,7 @@ [abstract ["[0]" monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data [text @@ -15,7 +15,7 @@ [collection ["[0]" list ("[1]#[0]" monad mix)] ["[0]" set]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]] [math @@ -27,7 +27,7 @@ ["[0]" phase] [meta [cache - ["[0]" dependency "_" + ["[0]" dependency ["[1]" artifact]]]] [language [lux diff --git a/stdlib/source/library/lux/ffi/export.rb.lux b/stdlib/source/library/lux/ffi/export.rb.lux index 275a095a5..e82fcbdb2 100644 --- a/stdlib/source/library/lux/ffi/export.rb.lux +++ b/stdlib/source/library/lux/ffi/export.rb.lux @@ -8,7 +8,7 @@ [abstract ["[0]" monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code] ["<[0]>" text (.only Parser)]]] [data @@ -17,7 +17,7 @@ [collection ["[0]" list ("[1]#[0]" monad mix)] ["[0]" set]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["[0]" code]] [math @@ -29,13 +29,13 @@ ["[0]" phase] [meta [cache - ["[0]" dependency "_" + ["[0]" dependency ["[1]" artifact]]]] [language [lux ["[0]" generation] ["[0]" directive] - ["[0]" analysis "_" + ["[0]" analysis ["[1]" type]]]]]]]]) (def: upper! (<text>.one_of! "ABCDEFGHIJKLMNOPQRSTUVWXYZ")) diff --git a/stdlib/source/library/lux/locale.lux b/stdlib/source/library/lux/locale.lux index 2f3a6f1cf..3b543a2ce 100644 --- a/stdlib/source/library/lux/locale.lux +++ b/stdlib/source/library/lux/locale.lux @@ -7,7 +7,7 @@ [control ["[0]" maybe ("[1]#[0]" functor)]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)] ["[0]" encoding (.only Encoding)]]] [type diff --git a/stdlib/source/library/lux/macro.lux b/stdlib/source/library/lux/macro.lux index 47717174f..d9a68d76e 100644 --- a/stdlib/source/library/lux/macro.lux +++ b/stdlib/source/library/lux/macro.lux @@ -13,8 +13,8 @@ ["[0]" int]]]]] [/ ["[0]" code] - ["[0]" // "_" - ["[1]" meta + ["[0]" // + ["[1]" meta (.only) ["[0]" location] ["[0]" symbol ("[1]#[0]" codec)]]]]) diff --git a/stdlib/source/library/lux/macro/local.lux b/stdlib/source/library/lux/macro/local.lux index 8098bd4b3..b093e14bc 100644 --- a/stdlib/source/library/lux/macro/local.lux +++ b/stdlib/source/library/lux/macro/local.lux @@ -14,7 +14,7 @@ ["[0]" list ("[1]#[0]" functor)] [dictionary ["[0]" plist (.only PList)]]]]]] - ["[0]" // + ["[0]" // (.only) ["[1][0]" code]]) (exception: .public (unknown_module [module Text]) diff --git a/stdlib/source/library/lux/macro/syntax.lux b/stdlib/source/library/lux/macro/syntax.lux index c905e6890..24c3d5f1a 100644 --- a/stdlib/source/library/lux/macro/syntax.lux +++ b/stdlib/source/library/lux/macro/syntax.lux @@ -7,7 +7,7 @@ [control ["[0]" maybe] ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["</>" code (.only Parser)]]] [data ["[0]" text ("[1]#[0]" monoid)] @@ -21,7 +21,7 @@ ["[0]" frac]]]]] ["[0]" // (.only with_symbols) ["[0]" code]] - ["[0]" / "_" + ["[0]" / ["[1][0]" export]]) (def: (self_documenting binding parser) diff --git a/stdlib/source/library/lux/macro/syntax/check.lux b/stdlib/source/library/lux/macro/syntax/check.lux index 01df64b75..bdbd3fd8d 100644 --- a/stdlib/source/library/lux/macro/syntax/check.lux +++ b/stdlib/source/library/lux/macro/syntax/check.lux @@ -7,7 +7,7 @@ [monad (.only do)]] [control ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data ["[0]" product]] diff --git a/stdlib/source/library/lux/macro/syntax/definition.lux b/stdlib/source/library/lux/macro/syntax/definition.lux index 6754d3b27..5b75eafeb 100644 --- a/stdlib/source/library/lux/macro/syntax/definition.lux +++ b/stdlib/source/library/lux/macro/syntax/definition.lux @@ -6,21 +6,21 @@ [monad (.only do)]] [control ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data ["[0]" sum] ["[0]" product] ["[0]" bit] - ["[0]" text + ["[0]" text (.only) ["%" format]] [collection ["[0]" list]]] - ["[0]" macro + ["[0]" macro (.only) ["[0]" code]] - ["[0]" meta + ["[0]" meta (.only) ["[0]" location]]]] - ["[0]" // + ["[0]" // (.only) ["[1][0]" check (.only Check)]]) (type: .public Definition diff --git a/stdlib/source/library/lux/macro/syntax/export.lux b/stdlib/source/library/lux/macro/syntax/export.lux index 1a837e032..91e298518 100644 --- a/stdlib/source/library/lux/macro/syntax/export.lux +++ b/stdlib/source/library/lux/macro/syntax/export.lux @@ -4,7 +4,7 @@ [abstract [monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [macro ["^" pattern]]]]) diff --git a/stdlib/source/library/lux/macro/syntax/input.lux b/stdlib/source/library/lux/macro/syntax/input.lux index 26629c652..f4589cfe0 100644 --- a/stdlib/source/library/lux/macro/syntax/input.lux +++ b/stdlib/source/library/lux/macro/syntax/input.lux @@ -4,7 +4,7 @@ [abstract [equivalence (.only Equivalence)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data ["[0]" product] diff --git a/stdlib/source/library/lux/macro/template.lux b/stdlib/source/library/lux/macro/template.lux index d19b3dc70..dc3ef5884 100644 --- a/stdlib/source/library/lux/macro/template.lux +++ b/stdlib/source/library/lux/macro/template.lux @@ -23,7 +23,7 @@ ["[0]" int ("[1]#[0]" decimal)] ["[0]" rev ("[1]#[0]" decimal)] ["[0]" frac ("[1]#[0]" decimal)]]]]] - ["[0]" // + ["[0]" // (.only) [syntax (.only syntax:)] ["[0]" code] ["[0]" local]]) diff --git a/stdlib/source/library/lux/math.lux b/stdlib/source/library/lux/math.lux index df21c1438..2427def89 100644 --- a/stdlib/source/library/lux/math.lux +++ b/stdlib/source/library/lux/math.lux @@ -9,7 +9,7 @@ [control ["[0]" try (.only Try)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data [text diff --git a/stdlib/source/library/lux/math/logic/fuzzy.lux b/stdlib/source/library/lux/math/logic/fuzzy.lux index 593849c22..fe49e10fd 100644 --- a/stdlib/source/library/lux/math/logic/fuzzy.lux +++ b/stdlib/source/library/lux/math/logic/fuzzy.lux @@ -13,7 +13,7 @@ [math [number ["/" rev]]]]] - ["[0]" // "_" + ["[0]" // ["[1]" continuous]]) (type: .public (Fuzzy a) diff --git a/stdlib/source/library/lux/math/modular.lux b/stdlib/source/library/lux/math/modular.lux index 6eed5b83e..3e0845d94 100644 --- a/stdlib/source/library/lux/math/modular.lux +++ b/stdlib/source/library/lux/math/modular.lux @@ -10,7 +10,7 @@ [control ["[0]" try (.only Try)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)] ["<[0]>" code]]] [data @@ -24,7 +24,7 @@ ["i" int ("[1]#[0]" decimal)]]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // ["[1]" modulus (.only Modulus)]]) (primitive: .public (Mod m) diff --git a/stdlib/source/library/lux/math/number.lux b/stdlib/source/library/lux/math/number.lux index 37d636f58..ec523925f 100644 --- a/stdlib/source/library/lux/math/number.lux +++ b/stdlib/source/library/lux/math/number.lux @@ -9,7 +9,7 @@ ["[0]" text]] [macro ["^" pattern]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" nat] ["[1][0]" int] ["[1][0]" rev] diff --git a/stdlib/source/library/lux/math/number/complex.lux b/stdlib/source/library/lux/math/number/complex.lux index ff1def2a1..507d9b9ec 100644 --- a/stdlib/source/library/lux/math/number/complex.lux +++ b/stdlib/source/library/lux/math/number/complex.lux @@ -5,7 +5,7 @@ [equivalence (.only Equivalence)]] [control ["[0]" maybe] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data [collection diff --git a/stdlib/source/library/lux/math/number/frac.lux b/stdlib/source/library/lux/math/number/frac.lux index 0a4a3ed28..34fe47d52 100644 --- a/stdlib/source/library/lux/math/number/frac.lux +++ b/stdlib/source/library/lux/math/number/frac.lux @@ -17,7 +17,7 @@ ["[0]" text]] [macro ["^" pattern]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" i64] ["[1][0]" nat] ["[1][0]" int] diff --git a/stdlib/source/library/lux/math/number/int.lux b/stdlib/source/library/lux/math/number/int.lux index 5ef9c327f..cb4500a2e 100644 --- a/stdlib/source/library/lux/math/number/int.lux +++ b/stdlib/source/library/lux/math/number/int.lux @@ -17,7 +17,7 @@ [text (.only Char)]] [macro ["^" pattern]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" nat] ["[1][0]" i64]]) diff --git a/stdlib/source/library/lux/math/number/ratio.lux b/stdlib/source/library/lux/math/number/ratio.lux index d06d0737a..b7072395b 100644 --- a/stdlib/source/library/lux/math/number/ratio.lux +++ b/stdlib/source/library/lux/math/number/ratio.lux @@ -11,7 +11,7 @@ ["[0]" function] ["[0]" maybe] ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data ["[0]" product] diff --git a/stdlib/source/library/lux/math/number/rev.lux b/stdlib/source/library/lux/math/number/rev.lux index 162a6ca0a..ae81a8869 100644 --- a/stdlib/source/library/lux/math/number/rev.lux +++ b/stdlib/source/library/lux/math/number/rev.lux @@ -15,7 +15,7 @@ [data [collection ["[0]" array (.only Array)]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" i64] ["[1][0]" nat] ["[1][0]" int]]) diff --git a/stdlib/source/library/lux/math/random.lux b/stdlib/source/library/lux/math/random.lux index f1b483685..13762f8ec 100644 --- a/stdlib/source/library/lux/math/random.lux +++ b/stdlib/source/library/lux/math/random.lux @@ -8,7 +8,7 @@ ["[0]" monad (.only Monad do)]] [data ["[0]" text (.only Char) ("[1]#[0]" monoid) - ["[0]" unicode "_" + ["[0]" unicode ["[1]" set]]] [collection ["[0]" list ("[1]#[0]" mix)] diff --git a/stdlib/source/library/lux/meta/configuration.lux b/stdlib/source/library/lux/meta/configuration.lux index ddbf0d5d4..7271f5430 100644 --- a/stdlib/source/library/lux/meta/configuration.lux +++ b/stdlib/source/library/lux/meta/configuration.lux @@ -9,7 +9,7 @@ [control ["[0]" maybe ("[1]#[0]" functor)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)] ["<[0]>" code]]] [data diff --git a/stdlib/source/library/lux/meta/version.lux b/stdlib/source/library/lux/meta/version.lux index cf2b1c491..9987d55c1 100644 --- a/stdlib/source/library/lux/meta/version.lux +++ b/stdlib/source/library/lux/meta/version.lux @@ -6,7 +6,7 @@ [monad (.only do)]] [control ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data ["[0]" text ("[1]#[0]" equivalence)] diff --git a/stdlib/source/library/lux/program.lux b/stdlib/source/library/lux/program.lux index ea5576ca0..daa3ec325 100644 --- a/stdlib/source/library/lux/program.lux +++ b/stdlib/source/library/lux/program.lux @@ -8,7 +8,7 @@ ["[0]" io] [concurrency ["[0]" thread]] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code] ["<[0]>" cli]]] [macro (.only with_symbols) diff --git a/stdlib/source/library/lux/static.lux b/stdlib/source/library/lux/static.lux index 611cab42c..0aec3e8c2 100644 --- a/stdlib/source/library/lux/static.lux +++ b/stdlib/source/library/lux/static.lux @@ -5,7 +5,7 @@ [abstract [monad (.only do)]] [control - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data [collection diff --git a/stdlib/source/library/lux/target/js.lux b/stdlib/source/library/lux/target/js.lux index 1df20575d..ecae74ab2 100644 --- a/stdlib/source/library/lux/target/js.lux +++ b/stdlib/source/library/lux/target/js.lux @@ -4,7 +4,7 @@ [control ["[0]" pipe]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] @@ -15,7 +15,7 @@ ["i" int] ["f" frac]]] [type - [primitive (.full)]]]]) + [primitive (.except)]]]]) (def: expression (text.enclosed ["(" ")"])) diff --git a/stdlib/source/library/lux/target/jvm/attribute.lux b/stdlib/source/library/lux/target/jvm/attribute.lux index 6894a78bc..522cb9028 100644 --- a/stdlib/source/library/lux/target/jvm/attribute.lux +++ b/stdlib/source/library/lux/target/jvm/attribute.lux @@ -17,7 +17,7 @@ [math [number ["n" nat]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" index (.only Index)] ["[1][0]" type (.only Type) ["[2][0]" signature (.only Signature)]] @@ -25,7 +25,7 @@ ["[1][0]" unsigned (.only U2 U4)]] ["[1][0]" constant (.only UTF8 Class Value) ["[2][0]" pool (.only Pool Resource) ("[1]#[0]" monad)]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" constant (.only Constant)] ["[1][0]" code]]) diff --git a/stdlib/source/library/lux/target/jvm/attribute/code.lux b/stdlib/source/library/lux/target/jvm/attribute/code.lux index 7cfd6bdd6..10d2bb92d 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/code.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/code.lux @@ -13,13 +13,13 @@ [math [number ["n" nat]]]]] - ["[0]" /// "_" + ["[0]" /// [bytecode [environment ["[1][0]" limit (.only Limit)]]] [encoding ["[1][0]" unsigned (.only U2)]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" exception (.only Exception)]]) (type: .public (Code Attribute) diff --git a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux index 90e1de102..fc57caa3c 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux @@ -5,13 +5,13 @@ [equivalence (.only Equivalence)]] [data ["[0]" product] - ["[0]" format "_" + ["[0]" format ["[1]" binary (.only Writer)]]] [math [number ["n" nat]]]]] - ["[0]" // "_" - ["//[1]" /// "_" + ["[0]" // + ["//[1]" /// [constant (.only Class)] ["[1][0]" index (.only Index)] [bytecode diff --git a/stdlib/source/library/lux/target/jvm/attribute/constant.lux b/stdlib/source/library/lux/target/jvm/attribute/constant.lux index d3a837cea..daae078a5 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/constant.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/constant.lux @@ -6,7 +6,7 @@ [data [format [binary (.only Writer)]]]]] - ["[0]" /// "_" + ["[0]" /// [constant (.only Value)] ["[1][0]" index (.only Index)] [encoding diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux index f0d345ef3..1f00b97c7 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode.lux @@ -28,7 +28,7 @@ ["n" nat] ["i" int] ["[0]" i32 (.only I32)]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" address (.only Address)] ["[1][0]" jump (.only Jump Big_Jump)] ["_" instruction (.only Primitive_Array_Type Instruction Estimator) ("[1]#[0]" monoid)] @@ -36,7 +36,7 @@ [limit ["/[0]" registry (.only Register Registry)] ["/[0]" stack (.only Stack)]]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" index (.only Index)] [encoding ["[1][0]" name] diff --git a/stdlib/source/library/lux/target/jvm/bytecode/address.lux b/stdlib/source/library/lux/target/jvm/bytecode/address.lux index c20fedb78..84e93dddd 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/address.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/address.lux @@ -16,9 +16,9 @@ ["n" nat]]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // [jump (.only Big_Jump)] - ["/[1]" // "_" + ["/[1]" // [encoding ["[1][0]" unsigned (.only U2)] ["[1][0]" signed (.only S4)]]]]) diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux index 85fdbea32..05772986f 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux @@ -8,12 +8,12 @@ ["[0]" try (.only Try)]] [data ["[0]" product] - ["[0]" format "_" + ["[0]" format ["[1]" binary (.only Writer) ("[1]#[0]" monoid)]]] [math [number ["n" nat]]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" stack (.only Stack)] ["[1][0]" registry (.only Registry)] [//// diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux index 2fe49b1dd..5304c5759 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux @@ -15,7 +15,7 @@ ["n" nat]]] [type [primitive (.full)]]]] - ["[0]" ///// "_" + ["[0]" ///// [encoding ["[1][0]" unsigned (.only U1 U2)]] ["[1][0]" type (.only Type) diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux index 3e89d3edd..957dc1396 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux @@ -13,7 +13,7 @@ [binary (.only Writer)]]] [type [primitive (.full)]]]] - ["[0]" ///// "_" + ["[0]" ///// [encoding ["[1][0]" unsigned (.only U2)]]]) diff --git a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux index 45d866c4e..737280844 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux @@ -10,10 +10,10 @@ ["[0]" try]] [data ["[0]" product] - ["[0]" binary "_" + ["[0]" binary [/ (.only)] ["[1]" \\unsafe]] - ["[0]" format "_" + ["[0]" format ["[1]" binary (.only Mutation Specification)]] [collection ["[0]" list]]] @@ -24,13 +24,13 @@ ["n" nat]]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" address (.only Address)] ["[1][0]" jump (.only Jump Big_Jump)] [environment [limit [registry (.only Register)]]] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" index (.only Index)] ["[1][0]" constant (.only Class Reference)] [encoding diff --git a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux index fa9c1564b..8732aeb2b 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux @@ -4,9 +4,9 @@ [abstract [equivalence (.only Equivalence)]] [data - ["[0]" format "_" + ["[0]" format ["[1]" binary (.only Writer)]]]]] - ["[0]" /// "_" + ["[0]" /// [encoding ["[1][0]" signed (.only S2 S4)]]]) diff --git a/stdlib/source/library/lux/target/jvm/class.lux b/stdlib/source/library/lux/target/jvm/class.lux index 5562fbda8..3af3c5c7c 100644 --- a/stdlib/source/library/lux/target/jvm/class.lux +++ b/stdlib/source/library/lux/target/jvm/class.lux @@ -13,7 +13,7 @@ ["[0]F" binary (.only Writer) ("[1]#[0]" monoid)]] [collection ["[0]" sequence (.only Sequence)]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" modifier (.only Modifier modifiers:)] ["[1][0]" version (.only Version Minor Major)] ["[1][0]" magic (.only Magic)] diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux index d637900ce..070be106a 100644 --- a/stdlib/source/library/lux/target/jvm/constant.lux +++ b/stdlib/source/library/lux/target/jvm/constant.lux @@ -23,9 +23,9 @@ ["[0]" frac]]] [type [primitive (.full)]]]] - ["[0]" / "_" + ["[0]" / ["[1][0]" tag] - ["/[1]" // "_" + ["/[1]" // ["[1][0]" index (.only Index)] [type ["[1][0]" category] diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux index 77ae255f3..41f312071 100644 --- a/stdlib/source/library/lux/target/jvm/constant/pool.lux +++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux @@ -13,7 +13,7 @@ [data ["[0]" product] ["[0]" text] - ["[0]" format "_" + ["[0]" format ["[1]" binary (.only Writer) ("specification#[0]" monoid)]] [collection ["[0]" sequence (.only Sequence) ("[1]#[0]" mix)]]] diff --git a/stdlib/source/library/lux/target/jvm/constant/tag.lux b/stdlib/source/library/lux/target/jvm/constant/tag.lux index 157532f8e..e131f5637 100644 --- a/stdlib/source/library/lux/target/jvm/constant/tag.lux +++ b/stdlib/source/library/lux/target/jvm/constant/tag.lux @@ -10,7 +10,7 @@ [binary (.only Writer)]]] [type [primitive (.full)]]]] - ["[0]" /// "_" + ["[0]" /// [encoding ["[1][0]" unsigned (.only U1) ("u1//[0]" equivalence)]]]) diff --git a/stdlib/source/library/lux/target/jvm/encoding/name.lux b/stdlib/source/library/lux/target/jvm/encoding/name.lux index ead09ae87..2903d0647 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/name.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/name.lux @@ -2,7 +2,7 @@ [library [lux (.full) [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]]] [type [primitive (.full)]]]]) diff --git a/stdlib/source/library/lux/target/jvm/encoding/signed.lux b/stdlib/source/library/lux/target/jvm/encoding/signed.lux index 5e4e6ab8f..b2a3ea524 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/signed.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/signed.lux @@ -10,7 +10,7 @@ [data [text ["%" format (.only format)]] - ["[0]" format "_" + ["[0]" format ["[1]" binary (.only Writer)]]] [macro ["[0]" template]] diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux index a9796e99e..4b1cf148d 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux @@ -10,7 +10,7 @@ [data [text ["%" format (.only format)]] - ["[0]" format "_" + ["[0]" format ["[1]" binary (.only Writer)]]] [macro ["[0]" template]] diff --git a/stdlib/source/library/lux/target/jvm/field.lux b/stdlib/source/library/lux/target/jvm/field.lux index b480dd289..ade45a2f0 100644 --- a/stdlib/source/library/lux/target/jvm/field.lux +++ b/stdlib/source/library/lux/target/jvm/field.lux @@ -10,7 +10,7 @@ ["[0]F" binary (.only Writer) ("[1]#[0]" monoid)]] [collection ["[0]" sequence (.only Sequence)]]]]] - ["[0]" // "_" + ["[0]" // ["[0]" modifier (.only Modifier modifiers:)] ["[1][0]" constant (.only UTF8) ["[1]/[0]" pool (.only Pool Resource)]] diff --git a/stdlib/source/library/lux/target/jvm/index.lux b/stdlib/source/library/lux/target/jvm/index.lux index 341d0a48a..1c4639393 100644 --- a/stdlib/source/library/lux/target/jvm/index.lux +++ b/stdlib/source/library/lux/target/jvm/index.lux @@ -8,7 +8,7 @@ [binary (.only Writer)]]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // [encoding ["[1][0]" unsigned (.only U2)]]]) diff --git a/stdlib/source/library/lux/target/jvm/loader.lux b/stdlib/source/library/lux/target/jvm/loader.lux index a7870f8fa..8a9ef6df3 100644 --- a/stdlib/source/library/lux/target/jvm/loader.lux +++ b/stdlib/source/library/lux/target/jvm/loader.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.full) + [lux (.except) ["@" target] ["[0]" ffi (.only import: object do_to)] [abstract @@ -13,7 +13,7 @@ ["[0]" atom (.only Atom)]]] [data ["[0]" binary (.only Binary)] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" array] diff --git a/stdlib/source/library/lux/target/jvm/magic.lux b/stdlib/source/library/lux/target/jvm/magic.lux index f47f24a6c..eb84d4ccf 100644 --- a/stdlib/source/library/lux/target/jvm/magic.lux +++ b/stdlib/source/library/lux/target/jvm/magic.lux @@ -5,7 +5,7 @@ ["[0]" try]] [math [number (.only hex)]]]] - ["[0]" // "_" + ["[0]" // [encoding ["[1][0]" unsigned (.only U4)]]]) diff --git a/stdlib/source/library/lux/target/jvm/method.lux b/stdlib/source/library/lux/target/jvm/method.lux index a5c6316e7..5fcb74c45 100644 --- a/stdlib/source/library/lux/target/jvm/method.lux +++ b/stdlib/source/library/lux/target/jvm/method.lux @@ -8,11 +8,11 @@ ["[0]" try]] [data ["[0]" product] - ["[0]" format "_" + ["[0]" format ["[1]" binary (.only Writer) ("[1]#[0]" monoid)]] [collection ["[0]" sequence (.only Sequence)]]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" modifier (.only Modifier modifiers:)] ["[1][0]" index (.only Index)] ["[1][0]" attribute (.only Attribute) diff --git a/stdlib/source/library/lux/target/jvm/modifier.lux b/stdlib/source/library/lux/target/jvm/modifier.lux index 8a33a6da9..01b4c28be 100644 --- a/stdlib/source/library/lux/target/jvm/modifier.lux +++ b/stdlib/source/library/lux/target/jvm/modifier.lux @@ -6,7 +6,7 @@ ["[0]" monoid (.only Monoid)]] [control ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data [format @@ -19,7 +19,7 @@ ["[0]" i64]]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // [encoding ["[1][0]" unsigned]]]) diff --git a/stdlib/source/library/lux/target/jvm/reflection.lux b/stdlib/source/library/lux/target/jvm/reflection.lux index 5ae40f701..cdfe9e9a0 100644 --- a/stdlib/source/library/lux/target/jvm/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/reflection.lux @@ -22,10 +22,10 @@ [math [number ["n" nat]]]]] - ["[0]" // "_" + ["[0]" // [encoding ["[1][0]" name (.only External)]] - ["/" type + ["/" type (.only) [category (.only Void Value Return Method Primitive Object Class Array Parameter)] ["[1][0]" lux (.only Mapping)] ["[1][0]" descriptor] diff --git a/stdlib/source/library/lux/target/jvm/type.lux b/stdlib/source/library/lux/target/jvm/type.lux index 919f972eb..0c147ce6a 100644 --- a/stdlib/source/library/lux/target/jvm/type.lux +++ b/stdlib/source/library/lux/target/jvm/type.lux @@ -7,7 +7,7 @@ [control ["[0]" maybe]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only Format)]] [collection ["[0]" list ("[1]#[0]" functor)]]] @@ -16,10 +16,10 @@ ["n" nat]]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // [encoding ["[1][0]" name (.only External)]]] - ["[0]" / "_" + ["[0]" / [category (.only Void Value' Value Return' Return Method Primitive Object Class Array Var Parameter Declaration)] ["[1][0]" signature (.only Signature)] ["[1][0]" descriptor (.only Descriptor)] diff --git a/stdlib/source/library/lux/target/jvm/type/alias.lux b/stdlib/source/library/lux/target/jvm/type/alias.lux index 5fd733703..7313b1e8b 100644 --- a/stdlib/source/library/lux/target/jvm/type/alias.lux +++ b/stdlib/source/library/lux/target/jvm/type/alias.lux @@ -7,10 +7,10 @@ ["[0]" maybe] ["[0]" try] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" dictionary (.only Dictionary)]]]]] @@ -20,7 +20,7 @@ ["[1][0]" signature (.only Signature)] ["[1][0]" reflection] ["[1][0]" parser] - ["/[1]" // "_" + ["/[1]" // [encoding ["[1][0]" name]]]]) diff --git a/stdlib/source/library/lux/target/jvm/type/descriptor.lux b/stdlib/source/library/lux/target/jvm/type/descriptor.lux index 42c62c7d0..3d2f98b7b 100644 --- a/stdlib/source/library/lux/target/jvm/type/descriptor.lux +++ b/stdlib/source/library/lux/target/jvm/type/descriptor.lux @@ -15,9 +15,9 @@ ["n" nat]]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration)] - ["/[1]" // "_" + ["/[1]" // [encoding ["[1][0]" name (.only Internal External)]]]]) diff --git a/stdlib/source/library/lux/target/jvm/type/lux.lux b/stdlib/source/library/lux/target/jvm/type/lux.lux index b36f30f5f..671351662 100644 --- a/stdlib/source/library/lux/target/jvm/type/lux.lux +++ b/stdlib/source/library/lux/target/jvm/type/lux.lux @@ -18,14 +18,14 @@ [type [primitive (.full)] ["[0]" check (.only Check) ("[1]#[0]" monad)]]]] - ["[0]" // + ["[0]" // (.only) [category (.only Void Value Return Method Primitive Object Class Array Var Parameter)] ["[1][0]" descriptor] ["[1][0]" signature] ["[1][0]" reflection] ["[1][0]" parser] ["[1][0]" box] - ["/[1]" // "_" + ["/[1]" // [encoding ["[1][0]" name]]]]) diff --git a/stdlib/source/library/lux/target/jvm/type/parser.lux b/stdlib/source/library/lux/target/jvm/type/parser.lux index 91be344ea..4a0aa756c 100644 --- a/stdlib/source/library/lux/target/jvm/type/parser.lux +++ b/stdlib/source/library/lux/target/jvm/type/parser.lux @@ -18,7 +18,7 @@ [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration)] ["[1][0]" signature] ["[1][0]" descriptor] - ["[0]" // "_" + ["[0]" // (.only) [encoding ["[1][0]" name (.only External)]]]]) diff --git a/stdlib/source/library/lux/target/jvm/type/reflection.lux b/stdlib/source/library/lux/target/jvm/type/reflection.lux index 69ace7d12..4c0cd90f6 100644 --- a/stdlib/source/library/lux/target/jvm/type/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/type/reflection.lux @@ -8,7 +8,7 @@ ["%" format (.only format)]]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration)] ["[1][0]" descriptor] [// diff --git a/stdlib/source/library/lux/target/jvm/type/signature.lux b/stdlib/source/library/lux/target/jvm/type/signature.lux index 442dfc471..c9b50a733 100644 --- a/stdlib/source/library/lux/target/jvm/type/signature.lux +++ b/stdlib/source/library/lux/target/jvm/type/signature.lux @@ -13,10 +13,10 @@ ["[0]" list ("[1]#[0]" functor)]]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration Inheritance)] ["[1][0]" descriptor] - ["/[1]" // "_" + ["/[1]" // [encoding ["[1][0]" name (.only External)]]]]) diff --git a/stdlib/source/library/lux/target/jvm/version.lux b/stdlib/source/library/lux/target/jvm/version.lux index f6c6a4d9e..f6b4a52b5 100644 --- a/stdlib/source/library/lux/target/jvm/version.lux +++ b/stdlib/source/library/lux/target/jvm/version.lux @@ -3,7 +3,7 @@ [lux (.full) [control ["[0]" try]]]] - ["[0]" // "_" + ["[0]" // [encoding ["[1][0]" unsigned (.only U2)]]]) diff --git a/stdlib/source/library/lux/target/lua.lux b/stdlib/source/library/lux/target/lua.lux index 438783654..e0bed2c3c 100644 --- a/stdlib/source/library/lux/target/lua.lux +++ b/stdlib/source/library/lux/target/lua.lux @@ -11,7 +11,7 @@ [parser ["<[0]>" code]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] @@ -25,7 +25,7 @@ ["i" int] ["f" frac]]] [type - [primitive (.full)]]]]) + [primitive (.except)]]]]) ... Added the carriage return for better Windows compatibility. (def: \n+ diff --git a/stdlib/source/library/lux/target/php.lux b/stdlib/source/library/lux/target/php.lux index 735527266..7b9cec65a 100644 --- a/stdlib/source/library/lux/target/php.lux +++ b/stdlib/source/library/lux/target/php.lux @@ -11,7 +11,7 @@ [parser ["<[0]>" code]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] @@ -24,7 +24,7 @@ ["n" nat] ["f" frac]]] [type - [primitive (.full)]]]]) + [primitive (.except)]]]]) (def: input_separator ", ") (def: statement_suffix ";") diff --git a/stdlib/source/library/lux/target/python.lux b/stdlib/source/library/lux/target/python.lux index aaeb64459..91544c4b6 100644 --- a/stdlib/source/library/lux/target/python.lux +++ b/stdlib/source/library/lux/target/python.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.except Location Code not or and list if int comment exec try the is) + [lux (.except Location Code not or and list if int comment exec try the is none) ["@" target] ["[0]" ffi] [abstract @@ -12,7 +12,7 @@ [parser ["<[0]>" code]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] @@ -25,7 +25,7 @@ ["n" nat] ["f" frac]]] [type - [primitive (.full)]]]]) + [primitive (.except)]]]]) (def: input_separator ", ") diff --git a/stdlib/source/library/lux/target/ruby.lux b/stdlib/source/library/lux/target/ruby.lux index 4932ca58b..a157e513b 100644 --- a/stdlib/source/library/lux/target/ruby.lux +++ b/stdlib/source/library/lux/target/ruby.lux @@ -11,7 +11,7 @@ [parser ["<[0]>" code]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)]]] @@ -24,7 +24,7 @@ ["n" nat] ["f" frac]]] [type - [primitive (.full)]]]]) + [primitive (.except)]]]]) (def: input_separator ", ") (def: statement_suffix ";") diff --git a/stdlib/source/library/lux/target/scheme.lux b/stdlib/source/library/lux/target/scheme.lux index 83651723a..e3e6fb09b 100644 --- a/stdlib/source/library/lux/target/scheme.lux +++ b/stdlib/source/library/lux/target/scheme.lux @@ -8,7 +8,7 @@ [control ["[0]" pipe]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor monoid)]]] @@ -19,7 +19,7 @@ ["n" nat] ["f" frac]]] [type - [primitive (.full)]]]]) + [primitive (.except)]]]]) ... Added the carriage return for better Windows compatibility. (def: \n+ diff --git a/stdlib/source/library/lux/test.lux b/stdlib/source/library/lux/test.lux index 29a23576d..e72427137 100644 --- a/stdlib/source/library/lux/test.lux +++ b/stdlib/source/library/lux/test.lux @@ -14,16 +14,16 @@ [concurrency ["[0]" atom (.only Atom)] ["[0]" async (.only Async) ("[1]#[0]" monad)]] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" functor mix)] ["[0]" set (.only Set)] - ["[0]" dictionary "_" + ["[0]" dictionary ["[1]" ordered (.only Dictionary)]]]] [time ["[0]" instant] @@ -36,7 +36,7 @@ [macro [syntax (.only syntax:)] ["[0]" code]] - ["[0]" meta + ["[0]" meta (.only) ["[0]" symbol]] [world ["[0]" program] diff --git a/stdlib/source/library/lux/time.lux b/stdlib/source/library/lux/time.lux index 18f0d14db..2acf4ca1e 100644 --- a/stdlib/source/library/lux/time.lux +++ b/stdlib/source/library/lux/time.lux @@ -11,7 +11,7 @@ ["[0]" pipe] ["[0]" try (.only Try)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)]]] [data ["[0]" text ("[1]#[0]" monoid)]] diff --git a/stdlib/source/library/lux/time/date.lux b/stdlib/source/library/lux/time/date.lux index 018d3214c..917bf8cf8 100644 --- a/stdlib/source/library/lux/time/date.lux +++ b/stdlib/source/library/lux/time/date.lux @@ -11,7 +11,7 @@ ["[0]" maybe] ["[0]" try (.only Try)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)]]] [data ["[0]" text ("[1]#[0]" monoid)] @@ -24,7 +24,7 @@ ["i" int]]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" year (.only Year)] ["[1][0]" month (.only Month)]]) diff --git a/stdlib/source/library/lux/time/duration.lux b/stdlib/source/library/lux/time/duration.lux index 00757de6b..115c0bfb4 100644 --- a/stdlib/source/library/lux/time/duration.lux +++ b/stdlib/source/library/lux/time/duration.lux @@ -10,7 +10,7 @@ [monad (.only do)]] [control ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)]]] [data ["[0]" text ("[1]#[0]" monoid)]] @@ -20,7 +20,7 @@ ["[0]" nat ("[1]#[0]" decimal)]]] [type [primitive (.full)]]]] - ["[0]" // "_" + ["[0]" // ["[1][0]" year]]) (primitive: .public Duration diff --git a/stdlib/source/library/lux/time/instant.lux b/stdlib/source/library/lux/time/instant.lux index 7d42ab38f..79c066a5a 100644 --- a/stdlib/source/library/lux/time/instant.lux +++ b/stdlib/source/library/lux/time/instant.lux @@ -13,7 +13,7 @@ ["[0]" maybe] ["[0]" try] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)]]] [data ["[0]" text ("[1]#[0]" monoid)]] diff --git a/stdlib/source/library/lux/time/year.lux b/stdlib/source/library/lux/time/year.lux index f59a1b670..fa44d6e11 100644 --- a/stdlib/source/library/lux/time/year.lux +++ b/stdlib/source/library/lux/time/year.lux @@ -9,7 +9,7 @@ [control ["[0]" try (.only Try)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" text (.only Parser)]]] [data ["[0]" text ("[1]#[0]" monoid)]] diff --git a/stdlib/source/library/lux/tool/compiler.lux b/stdlib/source/library/lux/tool/compiler.lux index 89dfde4fc..9943b4689 100644 --- a/stdlib/source/library/lux/tool/compiler.lux +++ b/stdlib/source/library/lux/tool/compiler.lux @@ -4,12 +4,12 @@ [control ["[0]" try (.only Try)] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] [data [binary (.only Binary)] ["[0]" text] - ["[0]" format "_" + ["[0]" format ["[1]" binary (.only Writer)]]] [world ["[0]" file (.only Path)]]]] 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 diff --git a/stdlib/source/library/lux/type.lux b/stdlib/source/library/lux/type.lux index 396b684a9..879334883 100644 --- a/stdlib/source/library/lux/type.lux +++ b/stdlib/source/library/lux/type.lux @@ -9,7 +9,7 @@ ["[0]" function] ["[0]" maybe] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data ["[0]" product] @@ -17,14 +17,14 @@ [collection ["[0]" array] ["[0]" list ("[1]#[0]" monad monoid mix)]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)] ["^" pattern] ["[0]" code]] [math [number ["n" nat ("[1]#[0]" decimal)]]] - ["[0]" meta + ["[0]" meta (.only) ["[0]" location] ["[0]" symbol ("[1]#[0]" equivalence codec)]]]]) diff --git a/stdlib/source/library/lux/type/dynamic.lux b/stdlib/source/library/lux/type/dynamic.lux index 231c34de6..87356c2a6 100644 --- a/stdlib/source/library/lux/type/dynamic.lux +++ b/stdlib/source/library/lux/type/dynamic.lux @@ -12,7 +12,7 @@ ["%" format]]] [macro (.only with_symbols) ["[0]" syntax (.only syntax:)]] - ["[0]" type + ["[0]" type (.only) ["[0]" primitive (.only primitive:)]]]]) (exception: .public (wrong_type [expected Type diff --git a/stdlib/source/library/lux/type/implicit.lux b/stdlib/source/library/lux/type/implicit.lux index 6c11177ec..d624eec5a 100644 --- a/stdlib/source/library/lux/type/implicit.lux +++ b/stdlib/source/library/lux/type/implicit.lux @@ -7,7 +7,7 @@ [control ["[0]" maybe] ["[0]" try] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data ["[0]" product] @@ -16,11 +16,11 @@ [collection ["[0]" list ("[1]#[0]" monad mix)] ["[0]" dictionary (.only Dictionary)]]] - ["[0]" macro + ["[0]" macro (.only) ["[0]" code] [syntax (.only syntax:)]] [math - ["[0]" number + ["[0]" number (.only) ["n" nat]]] ["[0]" meta] ["[0]" type ("[1]#[0]" equivalence) diff --git a/stdlib/source/library/lux/type/refinement.lux b/stdlib/source/library/lux/type/refinement.lux index 53bedd0a0..f2b07ac47 100644 --- a/stdlib/source/library/lux/type/refinement.lux +++ b/stdlib/source/library/lux/type/refinement.lux @@ -6,9 +6,9 @@ [control [parser ["<[0]>" code]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)]] - ["[0]" type + ["[0]" type (.only) [primitive (.full)]]]]) (primitive: .public (Refined t %) diff --git a/stdlib/source/library/lux/type/resource.lux b/stdlib/source/library/lux/type/resource.lux index b61be1fa5..ca68b4dc2 100644 --- a/stdlib/source/library/lux/type/resource.lux +++ b/stdlib/source/library/lux/type/resource.lux @@ -8,7 +8,7 @@ [control ["[0]" maybe] ["[0]" exception (.only exception:)] - ["<>" parser + ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data [text @@ -17,7 +17,7 @@ ["[0]" set] ["[0]" sequence (.only Sequence)] ["[0]" list ("[1]#[0]" functor mix)]]] - ["[0]" macro + ["[0]" macro (.only) [syntax (.only syntax:)]] [math [number diff --git a/stdlib/source/library/lux/type/unit.lux b/stdlib/source/library/lux/type/unit.lux index 30d6c3d27..768d39102 100644 --- a/stdlib/source/library/lux/type/unit.lux +++ b/stdlib/source/library/lux/type/unit.lux @@ -11,7 +11,7 @@ ["<>" parser ("[1]#[0]" monad) ["<[0]>" code (.only Parser)]]] [data - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]]] [macro ["[0]" code] diff --git a/stdlib/source/library/lux/world/db/jdbc.lux b/stdlib/source/library/lux/world/db/jdbc.lux index 156f0635b..6942f788a 100644 --- a/stdlib/source/library/lux/world/db/jdbc.lux +++ b/stdlib/source/library/lux/world/db/jdbc.lux @@ -21,7 +21,7 @@ [host (.only import:)]]] [// ["[0]" sql]] - ["[0]" / "_" + ["[0]" / ["[1][0]" input (.only Input)] ["[1][0]" output (.only Output)]]) diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux index 746e80d39..4cc239e00 100644 --- a/stdlib/source/library/lux/world/file/watch.lux +++ b/stdlib/source/library/lux/world/file/watch.lux @@ -1,6 +1,6 @@ (.using [library - [lux (.except all) + [lux (.except all none) ["@" target] ["[0]" ffi (.only import:)] [abstract @@ -16,7 +16,7 @@ ["[0]" stm (.only STM Var)]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" dictionary (.only Dictionary)] diff --git a/stdlib/source/library/lux/world/net/http/client.lux b/stdlib/source/library/lux/world/net/http/client.lux index 8902aee1a..121bfa15c 100644 --- a/stdlib/source/library/lux/world/net/http/client.lux +++ b/stdlib/source/library/lux/world/net/http/client.lux @@ -27,7 +27,7 @@ [number ["n" nat] ["i" int]]]]] - ["[0]" // + ["[0]" // (.only) [// (.only URL)]]) (type: .public (Client !) diff --git a/stdlib/source/library/lux/world/program.lux b/stdlib/source/library/lux/world/program.lux index 987c96dbf..bd6f2d73c 100644 --- a/stdlib/source/library/lux/world/program.lux +++ b/stdlib/source/library/lux/world/program.lux @@ -17,7 +17,7 @@ ["[0]" environment (.only Environment)]]] [data ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)]] [collection ["[0]" array (.only Array)] @@ -27,7 +27,7 @@ (~~ (.for "JavaScript" (~~ (.these ["[0]" node_js])) "{old}" (~~ (.these ["node_js" //math])) (~~ (.these))))] - ["[0]" macro + ["[0]" macro (.only) ["[0]" template]] [math [number diff --git a/stdlib/source/library/lux/world/shell.lux b/stdlib/source/library/lux/world/shell.lux index 461f7059a..08d0f6f8d 100644 --- a/stdlib/source/library/lux/world/shell.lux +++ b/stdlib/source/library/lux/world/shell.lux @@ -19,7 +19,7 @@ [environment (.only Environment)]]] [data ["[0]" product] - ["[0]" text + ["[0]" text (.only) ["%" format (.only format)] [encoding ["[0]" utf8]]] |