diff options
| author | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
| commit | 56d2835d35093e2d92c5e8a4371aa322b55e037b (patch) | |
| tree | 1c7949355baeae92e2f6e02f9104739ddb10ff73 /stdlib/source/library/lux/tool/compiler | |
| parent | f2172051a91bbb2578918dc784a053a321849b63 (diff) | |
Extensible import syntax [Part 6]
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler')
126 files changed, 227 insertions, 227 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/default/init.lux b/stdlib/source/library/lux/tool/compiler/default/init.lux index 1b91c925c..6ddca02cf 100644 --- a/stdlib/source/library/lux/tool/compiler/default/init.lux +++ b/stdlib/source/library/lux/tool/compiler/default/init.lux @@ -11,13 +11,13 @@ [data [binary (.only Binary)] ["[0]" product] - ["[0]" text ("[1]#[0]" hash) + ["[0]" text (.open: "[1]#[0]" hash) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary] ["[0]" set] - ["[0]" sequence ("[1]#[0]" functor)]]] + ["[0]" sequence (.open: "[1]#[0]" functor)]]] [meta ["[0]" configuration (.only Configuration)] ["[0]" version]] diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux index 72504779c..680a6a759 100644 --- a/stdlib/source/library/lux/tool/compiler/default/platform.lux +++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux @@ -9,22 +9,22 @@ [control ["[0]" function] ["[0]" maybe] - ["[0]" try (.only Try) ("[1]#[0]" monad)] + ["[0]" try (.only Try) (.open: "[1]#[0]" monad)] ["[0]" exception (.only exception:)] [concurrency - ["[0]" async (.only Async Resolver) ("[1]#[0]" monad)] + ["[0]" async (.only Async Resolver) (.open: "[1]#[0]" monad)] ["[0]" stm (.only Var STM)]]] [data ["[0]" binary (.only Binary)] ["[0]" bit] ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection ["[0]" dictionary (.only Dictionary)] - ["[0]" sequence (.only Sequence) ("[1]#[0]" mix)] + ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" mix)] ["[0]" set (.only Set)] - ["[0]" list ("[1]#[0]" monoid functor mix)]] + ["[0]" list (.open: "[1]#[0]" monoid functor mix)]] [format ["_" binary (.only Writer)]]] ["[0]" meta (.only) 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 d79a962ca..0c8e86526 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux @@ -14,11 +14,11 @@ ["<[0]>" code]]] [data ["[0]" product] - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only Format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro [syntax (.only syntax:)]] [math 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 633d8868b..65c8db0cb 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 @@ -5,11 +5,11 @@ [equivalence (.only Equivalence)] [hash (.only Hash)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text (.only) ["%" format (.only Format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math [number ["n" nat]]]]]) 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 0a13c9c40..4573ad571 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 @@ -5,23 +5,23 @@ [equivalence (.except)] ["[0]" monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" monoid monad)] + ["[0]" maybe (.open: "[1]#[0]" monoid monad)] ["[0]" try (.only Try)] ["[0]" exception (.only exception:)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] ["[0]" text (.only) ["%" format]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)] - ["[0]" set (.only Set) ("[1]#[0]" equivalence)]]] + ["[0]" set (.only Set) (.open: "[1]#[0]" equivalence)]]] [macro ["^" pattern] ["[0]" template]] [math [number - ["n" nat ("[1]#[0]" interval)] + ["n" nat (.open: "[1]#[0]" interval)] ["i" int] ["r" rev] ["f" frac]]]]] 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 8b3ec93ca..7ac9ebff8 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 @@ -13,7 +13,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor monoid)]]] + ["[0]" list (.open: "[1]#[0]" functor monoid)]]] [macro ["^" pattern] ["[0]" template]] @@ -28,7 +28,7 @@ [phase ["[0]" extension]] [/// - ["[0]" phase ("[1]#[0]" monad)] + ["[0]" phase (.open: "[1]#[0]" monad)] [meta [archive (.only Archive)]]]]]) 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 46ac4596a..9aabc7d10 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 @@ -8,10 +8,10 @@ ["[0]" try] ["[0]" exception (.only exception:)]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" mix functor)] + ["[0]" list (.open: "[1]#[0]" mix functor)] [dictionary ["[0]" plist]]]] ["[0]" meta]]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux index 970c62d7c..bf221d35b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/scope.lux @@ -4,14 +4,14 @@ [abstract [monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" monad)] + ["[0]" maybe (.open: "[1]#[0]" monad)] ["[0]" try] ["[0]" exception (.only exception:)]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] ["[0]" product] [collection - ["[0]" list ("[1]#[0]" functor mix monoid)] + ["[0]" list (.open: "[1]#[0]" functor mix monoid)] [dictionary ["[0]" plist]]]]]] ["/" // (.only Environment Operation Phase) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux index ff3deb58d..4907be964 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/simple.lux @@ -4,8 +4,8 @@ [abstract [equivalence (.only Equivalence)]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only Format)]]] [macro ["^" pattern]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux index 39e1fae5d..7f1c5d418 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/directive.lux @@ -7,7 +7,7 @@ ["[0]" try]] [data [collection - ["[0]" list ("[1]#[0]" monoid)]]]]] + ["[0]" list (.open: "[1]#[0]" monoid)]]]]] [// ["[0]" analysis] ["[0]" synthesis] 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 829cbb4a4..1499d8081 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux @@ -10,11 +10,11 @@ [data [binary (.only Binary)] ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection ["[0]" sequence (.only Sequence)] - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set (.only Set)]]] [macro ["^" pattern] 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 7fd1b74a9..70dd51a99 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 @@ -13,7 +13,7 @@ [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" mix monoid monad)]]] + ["[0]" list (.open: "[1]#[0]" mix monoid monad)]]] [math [number ["n" nat]]] 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 411440e41..eeb30664f 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 @@ -11,10 +11,10 @@ ["[0]" state]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" monad)] + ["[0]" list (.open: "[1]#[0]" monad)] ["[0]" dictionary (.only Dictionary)]]] [macro ["[0]" code]] @@ -35,7 +35,7 @@ ["[1][0]" type] ["[1][0]" inference]] [/// - ["[1]" phase ("[1]#[0]" monad)] + ["[1]" phase (.open: "[1]#[0]" monad)] [meta [archive (.only Archive)]]]]]]) 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 57dfe4a2f..19e415b29 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 @@ -13,7 +13,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" monoid monad)]]] + ["[0]" list (.open: "[1]#[0]" monoid monad)]]] [math [number ["n" nat]]] @@ -27,7 +27,7 @@ ["[1][0]" inference] ["[1][0]" scope]] [/// - ["[1]" phase ("[1]#[0]" functor)] + ["[1]" phase (.open: "[1]#[0]" functor)] [reference (.only) [variable (.only)]]]]]) 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 0bbb089ce..cea38091d 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 @@ -7,7 +7,7 @@ [control ["[0]" exception (.only exception:)]] [data - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [macro ["^" pattern]]]] 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 a007bdb45..be4a0fd6f 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 @@ -11,7 +11,7 @@ [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" mix monoid)]]]]] + ["[0]" list (.open: "[1]#[0]" mix monoid)]]]]] ["[0]" // ["[1][0]" extension] ["[1][0]" analysis] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux index ed854b3cb..493776886 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux @@ -11,7 +11,7 @@ ["[0]" exception (.only exception:)]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" order) + ["[0]" text (.open: "[1]#[0]" order) ["%" format (.only Format format)]] [collection ["[0]" list] 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 49ac7d0fd..b7feef155 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 @@ -8,8 +8,8 @@ ["[0]" predicate]] [control ["[0]" pipe] - ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try (.only Try) ("[1]#[0]" monad)] + ["[0]" maybe (.open: "[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" monad)] ["[0]" exception (.only exception:)] ["<>" parser (.only) ["<[0]>" code (.only Parser)] @@ -17,10 +17,10 @@ [data [binary (.only Binary)] ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" mix monad monoid)] + ["[0]" list (.open: "[1]#[0]" mix monad monoid)] ["[0]" array] ["[0]" dictionary (.only Dictionary)] ["[0]" sequence]] @@ -36,8 +36,8 @@ [target ["[0]" jvm ["[0]!" reflection] - ["_" bytecode (.only Bytecode) ("[1]#[0]" monad)] - ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["_" bytecode (.only Bytecode) (.open: "[1]#[0]" monad)] + ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)] ["[0]" attribute] ["[0]" field] ["[0]" version] @@ -47,7 +47,7 @@ ["[0]" pool (.only Resource)]] [encoding ["[0]" name (.only External)]] - ["[1]" type (.only Type Argument Typed) ("[1]#[0]" equivalence) + ["[1]" type (.only Type Argument Typed) (.open: "[1]#[0]" equivalence) ["[0]" category (.only Void Value' Value Return' Return Primitive Object Class Array Var Parameter Method)] ["[0]" box] ["[0]" reflection] @@ -57,7 +57,7 @@ ["[0]" alias (.only Aliasing)] ["[0]T" lux (.only Mapping)]]]] ["[0]" type (.only) - ["[0]" check (.only Check) ("[1]#[0]" monad)]]]] + ["[0]" check (.only Check) (.open: "[1]#[0]" monad)]]]] ["[0]" // ["[1][0]" lux (.only custom)] ["/[1]" // (.only) @@ -78,7 +78,7 @@ ["[0]A" type] ["[0]" scope]] [/// - ["[0]" phase ("[1]#[0]" monad)] + ["[0]" phase (.open: "[1]#[0]" monad)] [meta [archive (.only Archive) [module 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 3f973aadb..76f36e336 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 @@ -13,7 +13,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]] 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 7929f2f83..b770c31cc 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 @@ -7,7 +7,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary (.only Dictionary)]]]]] [// (.only Handler Bundle)]) diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux index 4bf7e260c..025e863d3 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 @@ -6,9 +6,9 @@ ["[0]" monad (.only do)]] [control ["[0]" pipe] - ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] ["[0]" exception] - ["<>" parser ("[1]#[0]" monad) + ["<>" parser (.open: "[1]#[0]" monad) ["<[0]>" code (.only Parser)] ["<[0]>" text] ["<[0]>" synthesis]]] @@ -18,7 +18,7 @@ [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" dictionary] ["[0]" sequence] ["[0]" set (.only Set)]] @@ -33,8 +33,8 @@ ["[0]" i32]]] [target [jvm - ["_" bytecode (.only Bytecode) ("[1]#[0]" monad)] - ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["_" bytecode (.only Bytecode) (.open: "[1]#[0]" monad)] + ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)] ["[0]" attribute] ["[0]" field] ["[0]" version] 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 b8302f85c..b66e2cc05 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 @@ -7,7 +7,7 @@ ["[0]" monad (.only do)]] [control [io (.only IO)] - ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] ["[0]" try] ["[0]" exception (.only exception:)] ["<>" parser (.only) @@ -20,7 +20,7 @@ [collection ["[0]" dictionary] ["[0]" array] - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set (.only Set)]]] [macro ["^" pattern] @@ -28,7 +28,7 @@ [math [number ["n" nat]]] - ["[0]" type (.only sharing) ("[1]#[0]" equivalence) + ["[0]" type (.only sharing) (.open: "[1]#[0]" equivalence) ["[0]" check]]]] ["[0]" /// (.only Extender) ["[1][0]" bundle] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/common_lisp/common.lux index 49681e787..355dd5182 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 @@ -15,7 +15,7 @@ [collection ["[0]" dictionary] ["[0]" set] - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math [number ["f" frac]]] 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 b12fc2949..f9ad9a81e 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 @@ -10,7 +10,7 @@ [data ["[0]" product] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary]]] [macro ["^" pattern]] @@ -37,7 +37,7 @@ [// ["[0]" synthesis (.only %synthesis)] [/// - ["[1]" phase ("[1]#[0]" monad)]]]]]) + ["[1]" phase (.open: "[1]#[0]" monad)]]]]]) (def: .public (custom [parser handler]) (All (_ s) 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 2da6d5756..cbae57e3c 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 @@ -11,7 +11,7 @@ [data ["[0]" product] [collection - ["[0]" list ("[1]#[0]" monad)] + ["[0]" list (.open: "[1]#[0]" monad)] ["[0]" dictionary]]] [math [number @@ -19,7 +19,7 @@ ["[0]" i32]]] [target [jvm - ["_" bytecode (.only Label Bytecode) ("[1]#[0]" monad)] + ["_" bytecode (.only Label Bytecode) (.open: "[1]#[0]" monad)] [encoding ["[0]" signed (.only S4)]] ["[0]" type (.only Type) 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 eaf40a8ee..4e60e6693 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 @@ -4,17 +4,17 @@ [abstract ["[0]" monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] ["[0]" exception (.only exception:)] ["<>" parser (.only) ["<[0]>" text] ["<[0]>" synthesis (.only Parser)]]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format]] [collection - ["[0]" list ("[1]#[0]" monad mix monoid)] + ["[0]" list (.open: "[1]#[0]" monad mix monoid)] ["[0]" dictionary (.only Dictionary)] ["[0]" set (.only Set)] ["[0]" sequence]] @@ -30,14 +30,14 @@ [target [jvm ["[0]" version] - ["[0]" modifier ("[1]#[0]" monoid)] + ["[0]" modifier (.open: "[1]#[0]" monoid)] ["[0]" method (.only Method)] ["[0]" class (.only Class)] [constant [pool (.only Resource)]] [encoding ["[0]" name]] - ["_" bytecode (.only Bytecode) ("[1]#[0]" monad) + ["_" bytecode (.only Bytecode) (.open: "[1]#[0]" monad) ["__" instruction (.only Primitive_Array_Type)]] ["[0]" type (.only Type Typed Argument) ["[0]" category (.only Void Value' Value Return' Return Primitive Object Array Var Parameter)] 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 f06cab2c6..834d3448c 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 @@ -14,7 +14,7 @@ ["%" format (.only format)]] [collection ["[0]" dictionary] - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro ["^" pattern]] [math @@ -41,7 +41,7 @@ ["[0]" synthesis (.only %synthesis)] ["[0]" generation] [/// - ["[1]" phase ("[1]#[0]" monad)]]]]]) + ["[1]" phase (.open: "[1]#[0]" monad)]]]]]) (def: .public (custom [parser handler]) (All (_ s) 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 25eeba0bc..ef05fe70f 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 @@ -15,7 +15,7 @@ [collection ["[0]" dictionary] ["[0]" set] - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math [number ["f" frac]]] 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 b7219747b..22ffda36e 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 @@ -14,7 +14,7 @@ ["%" format (.only format)]] [collection ["[0]" dictionary] - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro ["^" pattern]] [math @@ -43,7 +43,7 @@ ["[0]" synthesis (.only %synthesis)] ["[0]" generation] [/// - ["[1]" phase ("[1]#[0]" monad)]]]]]) + ["[1]" phase (.open: "[1]#[0]" monad)]]]]]) (def: .public (statement expression archive synthesis) Phase! 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 afd160be3..35e433e8e 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 @@ -15,7 +15,7 @@ [collection ["[0]" dictionary] ["[0]" set] - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math [number ["f" frac]]] 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 c0bfdf7ed..e7395899b 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 @@ -14,7 +14,7 @@ ["%" format (.only format)]] [collection ["[0]" dictionary] - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro ["^" pattern]] [math @@ -41,7 +41,7 @@ ["[0]" synthesis (.only %synthesis)] ["[0]" generation] [/// - ["[1]" phase ("[1]#[0]" monad)]]]]]) + ["[1]" phase (.open: "[1]#[0]" monad)]]]]]) (def: .public (custom [parser handler]) (All (_ s) 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 8d445eb3c..9dbea2892 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 @@ -15,7 +15,7 @@ [collection ["[0]" dictionary] ["[0]" set] - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math [number ["f" frac]]] 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 f88c04f0a..33572414f 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 @@ -21,7 +21,7 @@ [analysis (.only)] ["[1][0]" synthesis] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[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 6f93eb386..7a5c774c4 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 @@ -9,7 +9,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix monoid)] + ["[0]" list (.open: "[1]#[0]" functor mix monoid)] ["[0]" set]]] [macro ["^" pattern]] @@ -33,7 +33,7 @@ ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [meta [archive (.only Archive)]]]]]]]) 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 412bf27b7..77569b17e 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 @@ -10,7 +10,7 @@ [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [target ["_" common_lisp (.only Expression Var/1)]]]] ["[0]" // @@ -25,7 +25,7 @@ ["[1][0]" generation (.only Context)] ["//[1]" /// [arity (.only Arity)] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [reference [variable (.only Register Variable)]]]]]]) 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 d80a015e6..287d9a6c3 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 @@ -8,7 +8,7 @@ [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math [number ["n" nat]]] 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 efbf5c321..e9bbd9a5c 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 @@ -10,11 +10,11 @@ ["<[0]>" code]]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" hash) + ["[0]" text (.open: "[1]#[0]" hash) ["%" format (.only format)] ["[0]" encoding]] [collection - ["[0]" list ("[1]#[0]" functor monoid)] + ["[0]" list (.open: "[1]#[0]" functor monoid)] ["[0]" sequence]]] ["[0]" macro (.only) [syntax (.only syntax:)] 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 4498fdb1f..b14e852b1 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 @@ -12,7 +12,7 @@ [analysis (.only Variant Tuple)] ["[1][0]" synthesis (.only Synthesis)] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)]]]]) + ["[1][0]" phase (.open: "[1]#[0]" monad)]]]]) (def: .public (tuple expression archive elemsS+) (Generator (Tuple Synthesis)) 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 5bfe69fea..317114afc 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 @@ -8,7 +8,7 @@ ["<[0]>" code]]] [data [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] ["[0]" meta] ["[0]" macro (.only with_symbols) ["[0]" code] 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 dde4dcea2..02540a965 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 @@ -28,7 +28,7 @@ [analysis (.only)] ["[0]" synthesis] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[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 13d1ed400..9afe42e0c 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 @@ -8,7 +8,7 @@ [data ["[0]" text] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [macro ["^" pattern]] [math @@ -32,7 +32,7 @@ ["//[1]" /// [reference [variable (.only Register)]] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [meta [archive (.only Archive)]]]]]]]) 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 69db5cdd4..69b575162 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 @@ -8,7 +8,7 @@ [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [target ["_" js (.only Expression Computation Var Statement)]]]] ["[0]" // @@ -23,7 +23,7 @@ ["[1][0]" generation] ["//[1]" /// [arity (.only Arity)] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [reference [variable (.only Register Variable)]] [meta 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 32823cd17..9849f3981 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 @@ -8,7 +8,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [math [number ["n" nat]]] 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 5605d56ee..12359b713 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 @@ -10,12 +10,12 @@ ["<[0]>" code]]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" hash) + ["[0]" text (.open: "[1]#[0]" hash) ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" sequence]]] ["[0]" macro (.only) [syntax (.only syntax:)] 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 b57b4b344..14e911912 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 @@ -13,7 +13,7 @@ [analysis [complex (.only Variant Tuple)]] ["//[1]" /// (.only) - ["[1][0]" phase ("[1]#[0]" monad)]]]]) + ["[1][0]" phase (.open: "[1]#[0]" monad)]]]]) (def: .public (tuple generate archive elemsS+) (Generator (Tuple Synthesis)) 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 73c286f0c..c4b026541 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 @@ -19,7 +19,7 @@ ["[0]" synthesis] [/// ["[0]" reference] - ["[1]" phase ("[1]#[0]" monad)]]]]]) + ["[1]" phase (.open: "[1]#[0]" monad)]]]]]) (def: .public (generate archive synthesis) Phase 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 e718b504d..8fb2dcd0c 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 @@ -7,8 +7,8 @@ ["[0]" function]] [data [collection - ["[0]" list ("[1]#[0]" mix)]] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" list (.open: "[1]#[0]" mix)]] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]]] [macro ["^" pattern]] @@ -18,7 +18,7 @@ ["[0]" i32]]] [target [jvm - ["_" bytecode (.only Label Bytecode) ("[1]#[0]" monad) + ["_" bytecode (.only Label Bytecode) (.open: "[1]#[0]" monad) [environment [limit ["[0]" stack]]]] 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 b89b43d67..28e90a032 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 @@ -6,7 +6,7 @@ [data ["[0]" product] [collection - ["[0]" list ("[1]#[0]" monoid functor)] + ["[0]" list (.open: "[1]#[0]" monoid functor)] ["[0]" sequence]] ["[0]" format ["[1]" binary]]] @@ -17,10 +17,10 @@ [target [jvm ["[0]" version] - ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)] ["[0]" field (.only Field)] ["[0]" method (.only Method)] - ["_" bytecode (.only Label Bytecode) ("[1]#[0]" monad)] + ["_" bytecode (.only Label Bytecode) (.open: "[1]#[0]" monad)] ["[0]" class (.only Class)] ["[0]" type (.only Type) [category (.only Return' Value')] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux index 7d2ad1f85..4aea4dc4f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/field/constant.lux @@ -7,7 +7,7 @@ [target [jvm ["[0]" field (.only Field)] - ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)] [type (.only Type) [category (.only Value)]] [constant 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 2a0bc8cd9..737c6ac4b 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 @@ -3,11 +3,11 @@ [lux (.except Type type) [data [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" sequence]]] [target [jvm - ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)] ["[0]" field (.only Field)] ["_" bytecode (.only Bytecode)] [type (.only Type) 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 810ce179e..1684e6f8c 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 @@ -5,14 +5,14 @@ ["[0]" monad]] [data [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math [number ["n" nat]]] [target [jvm ["[0]" field (.only Field)] - ["_" bytecode (.only Bytecode) ("[1]#[0]" monad)] + ["_" bytecode (.only Bytecode) (.open: "[1]#[0]" monad)] [type (.only Type) [category (.only Class)]] [constant diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux index 83a14abc9..1301e055c 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/function/method.lux @@ -3,7 +3,7 @@ [lux (.except) [target [jvm - ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)] ["[0]" method (.only Method)]]]]]) (def: .public modifier 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 19f568571..69e7d5332 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 @@ -7,7 +7,7 @@ ["[0]" try]] [data [collection - ["[0]" list ("[1]#[0]" monoid functor)]]] + ["[0]" list (.open: "[1]#[0]" monoid functor)]]] [math [number ["n" nat] @@ -15,7 +15,7 @@ ["[0]" i32]]] [target [jvm - ["_" bytecode (.only Label Bytecode) ("[1]#[0]" monad)] + ["_" bytecode (.only Label Bytecode) (.open: "[1]#[0]" monad)] ["[0]" method (.only Method)] [constant [pool (.only Resource)]] 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 53f43707d..e7e970d87 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 @@ -9,7 +9,7 @@ ["n" nat]]] [target [jvm - ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)] ["[0]" method (.only Method)] ["_" bytecode (.only Label Bytecode)] [constant 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 da0d00cb2..32a1e4de8 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 @@ -7,7 +7,7 @@ ["[0]" try]] [data [collection - ["[0]" list ("[1]#[0]" monoid functor)]]] + ["[0]" list (.open: "[1]#[0]" monoid functor)]]] [math [number ["n" nat]]] 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 f52b7d682..51ceaf844 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 @@ -3,7 +3,7 @@ [lux (.except Type type) [data [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [target [jvm ["[0]" method (.only Method)] 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 dc28346dc..ebd1008a1 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 @@ -14,7 +14,7 @@ [data [binary (.only Binary)] ["[0]" product] - ["[0]" text ("[1]#[0]" hash) + ["[0]" text (.open: "[1]#[0]" hash) ["%" format (.only format)]] [collection ["[0]" array] @@ -26,7 +26,7 @@ [jvm ["_" bytecode (.only Bytecode)] ["[0]" loader (.only Library)] - ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)] ["[0]" field (.only Field)] ["[0]" method (.only Method)] ["[0]" version] 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 a0d7cffbc..f06d37da3 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 @@ -8,13 +8,13 @@ [data ["[0]" product] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math [number ["n" nat]]] [target [jvm - ["_" bytecode (.only Bytecode) ("[1]#[0]" monad)]]]]] + ["_" bytecode (.only Bytecode) (.open: "[1]#[0]" monad)]]]]] ["[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/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/program.lux index 94df434f2..6f9aa8aa3 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 @@ -13,7 +13,7 @@ [target [jvm ["_" bytecode (.only Bytecode)] - ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)] ["[0]" method (.only Method)] ["[0]" version] ["[0]" class (.only Class)] 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 9ff51ff95..d923ea65d 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 @@ -10,7 +10,7 @@ [binary (.only Binary)] ["[0]" product] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" sequence]] ["[0]" format ["[1]" binary]] @@ -26,7 +26,7 @@ [target ["[0]" jvm ["_" bytecode (.only Label Bytecode)] - ["[0]" modifier (.only Modifier) ("[1]#[0]" monoid)] + ["[0]" modifier (.only Modifier) (.open: "[1]#[0]" monoid)] ["[0]" field (.only Field)] ["[0]" method (.only Method)] ["[1]/[0]" version] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux index d2fdbb1cc..a415f60fa 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/value.lux @@ -4,7 +4,7 @@ [target [jvm ["_" bytecode (.only Bytecode)] - ["[0]" type (.only Type) ("[1]#[0]" equivalence) + ["[0]" type (.only Type) (.open: "[1]#[0]" equivalence) [category (.only Primitive)] ["[0]" box]]]]]]) 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 859c60b50..8d861e382 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 @@ -28,7 +28,7 @@ [analysis (.only)] ["[0]" synthesis] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[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 59d0fa42d..c65093838 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 @@ -7,7 +7,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] [macro ["^" pattern]] @@ -30,7 +30,7 @@ ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [meta [archive (.only Archive)]]]]]]]) 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 d2907e282..a8757090a 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 @@ -8,7 +8,7 @@ [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [target ["_" lua (.only Var Expression Label Statement)]]]] ["[0]" // @@ -23,7 +23,7 @@ ["[1][0]" generation] ["//[1]" /// [arity (.only Arity)] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [meta [archive ["[0]" unit]] 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 66b05a97e..c79123870 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 @@ -8,7 +8,7 @@ [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" set]]] [math [number 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 4f31dd592..9b72bdf74 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 @@ -10,12 +10,12 @@ ["<[0]>" code]]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" hash) + ["[0]" text (.open: "[1]#[0]" hash) ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" sequence]]] ["[0]" macro (.only) [syntax (.only syntax:)] 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 1b8610f2b..65ed33699 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 @@ -13,7 +13,7 @@ [analysis [complex (.only Variant Tuple)]] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)]]]]) + ["[1][0]" phase (.open: "[1]#[0]" monad)]]]]) (def: .public (tuple phase archive elemsS+) (Generator (Tuple Synthesis)) 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 38c06a8c2..3d2107867 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 @@ -25,7 +25,7 @@ [analysis (.only)] ["[1][0]" synthesis] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[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 03c82f322..9815d9e3e 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 @@ -8,7 +8,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] [macro ["^" pattern]] @@ -32,7 +32,7 @@ ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [meta [archive (.only Archive)]]]]]]]) 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 e304677d2..b6c9d1ab2 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 @@ -10,7 +10,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [target ["_" php (.only Var Global Expression Argument Label Statement)]]]] ["[0]" // @@ -25,7 +25,7 @@ ["[1][0]" generation (.only Context)] ["//[1]" /// [arity (.only Arity)] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [reference [variable (.only Register Variable)]]]]]]) 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 5fab85e16..633b2c724 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 @@ -8,7 +8,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set (.only Set)]]] [math [number 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 68b9671b1..649463554 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 @@ -10,12 +10,12 @@ ["<[0]>" code]]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" hash) + ["[0]" text (.open: "[1]#[0]" hash) ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" sequence]]] ["[0]" macro (.only) [syntax (.only syntax:)] 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 e843e0676..d7a945e58 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 @@ -15,7 +15,7 @@ [analysis (.only Variant Tuple)] ["[1][0]" synthesis (.only Synthesis)] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)]]]]) + ["[1][0]" phase (.open: "[1]#[0]" monad)]]]]) (def: .public (tuple expression archive elemsS+) (Generator (Tuple Synthesis)) 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 96a5ebc4e..f3e8d85b8 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 @@ -28,7 +28,7 @@ [analysis (.only)] ["[1][0]" synthesis] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[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 cbf957e34..dbb669dd8 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 @@ -7,7 +7,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] [macro ["^" pattern]] @@ -34,7 +34,7 @@ ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [meta [archive (.only Archive)] ["[0]" cache 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 ee09d8060..feb8d0c26 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 @@ -8,7 +8,7 @@ [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [target ["_" python (.only SVar Expression Statement)]]]] ["[0]" // 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 d48bad978..d4e202ffc 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 @@ -8,7 +8,7 @@ [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] [math [number 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 135f8db40..bc10a524b 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 @@ -9,12 +9,12 @@ ["<[0]>" code]]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" hash) + ["[0]" text (.open: "[1]#[0]" hash) ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" sequence]]] ["[0]" macro (.only) [syntax (.only syntax:)] 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 d8e397694..560fb1c49 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 @@ -13,7 +13,7 @@ [complex (.only Variant Tuple)]] ["[1][0]" synthesis (.only Synthesis)] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)]]]]) + ["[1][0]" phase (.open: "[1]#[0]" monad)]]]]) (def: .public (tuple generate archive elemsS+) (Generator (Tuple Synthesis)) 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 8c8ec4fea..3e4cf4f0e 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 @@ -23,7 +23,7 @@ [analysis (.only)] ["[1][0]" synthesis] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[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 60f553909..1ad75fe08 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 @@ -8,7 +8,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] [macro ["^" pattern] @@ -33,7 +33,7 @@ ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [meta [archive (.only Archive)]]]]]]]) 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 a523fc621..59b92e776 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 @@ -10,7 +10,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [target ["_" r (.only Expression SVar)]]]] ["[0]" // @@ -25,7 +25,7 @@ ["[1][0]" generation (.only Context)] ["//[1]" /// [arity (.only Arity)] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [reference [variable (.only Register Variable)]] [meta 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 c71e536d2..f3756aad8 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 @@ -8,7 +8,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" set (.only Set)]]] [math [number 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 9bee4f953..e430bfaff 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 @@ -10,12 +10,12 @@ ["<[0]>" code]]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" hash) + ["[0]" text (.open: "[1]#[0]" hash) ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" sequence]]] ["[0]" macro (.only) [syntax (.only syntax:)] @@ -23,7 +23,7 @@ [math [number (.only hex) ["n" nat] - ["i" int ("[1]#[0]" interval)] + ["i" int (.open: "[1]#[0]" interval)] ["[0]" i64]]] ["@" target (.only) ["_" r (.only SVar Expression)]]]] 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 82dc15ca4..f41b3268d 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 @@ -15,7 +15,7 @@ [analysis (.only Variant Tuple)] ["[1][0]" synthesis (.only Synthesis)] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)]]]]) + ["[1][0]" phase (.open: "[1]#[0]" monad)]]]]) (def: .public (tuple expression archive elemsS+) (Generator (Tuple Synthesis)) 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 0c7d531b9..f93648d04 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 @@ -10,7 +10,7 @@ ["[0]" //// ["[1][0]" generation] ["//[1]" /// - ["[0]" phase ("[1]#[0]" monad)] + ["[0]" phase (.open: "[1]#[0]" monad)] ["[0]" reference (.only Reference) ["[0]" variable (.only Register Variable)]] [meta 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 218c8f226..f0e8638e4 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 @@ -28,7 +28,7 @@ [analysis (.only)] ["[1][0]" synthesis] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[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 bf7a4bc42..0f805e277 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 @@ -9,7 +9,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] [macro ["^" pattern]] @@ -36,7 +36,7 @@ ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [meta [archive (.only Archive)]]]]]]]) 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 c32ea1cc3..d0ff811b2 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 @@ -8,7 +8,7 @@ [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)]]] + ["[0]" list (.open: "[1]#[0]" functor mix)]]] [target ["_" ruby (.only LVar GVar Expression Statement)]]]] ["[0]" // 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 e5acb087a..3686ad6d9 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 @@ -8,7 +8,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] [math [number 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 bb811fc61..e309396f2 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 @@ -10,12 +10,12 @@ ["<[0]>" code]]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" hash) + ["[0]" text (.open: "[1]#[0]" hash) ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" sequence]]] ["[0]" macro (.only) [syntax (.only syntax:)] @@ -23,7 +23,7 @@ [math [number (.only hex) ["[0]" i64] - ["[0]" int ("[1]#[0]" interval)]]] + ["[0]" int (.open: "[1]#[0]" interval)]]] ["@" target (.only) ["_" ruby (.only Expression LVar Computation Literal Statement)]]]] ["[0]" /// 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 4ebe22359..791f06d76 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 @@ -13,7 +13,7 @@ [complex (.only Variant Tuple)]] ["[1][0]" synthesis (.only Synthesis)] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)]]]]) + ["[1][0]" phase (.open: "[1]#[0]" monad)]]]]) (def: .public (tuple generate archive elemsS+) (Generator (Tuple Synthesis)) 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 3e9b76aa3..061a5c26c 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 @@ -23,7 +23,7 @@ [analysis (.only)] ["[1][0]" synthesis] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[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 d111d7349..0c5465e96 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 @@ -8,7 +8,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] [macro ["^" pattern] @@ -33,7 +33,7 @@ ["//[1]" /// [reference ["[1][0]" variable (.only Register)]] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [meta [archive (.only Archive)]]]]]]]) 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 fe13c1aa2..f74911bc3 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 @@ -13,7 +13,7 @@ [number (.only hex) ["f" frac]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["dict" dictionary (.only Dictionary)]]] ["[0]" macro (.only with_symbols) ["[0]" code] 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 baf83633b..c937c11e7 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 @@ -10,7 +10,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [target ["_" scheme (.only Expression Computation Var)]]]] ["[0]" // @@ -25,7 +25,7 @@ ["[1][0]" generation (.only Context)] ["//[1]" /// [arity (.only Arity)] - ["[1][0]" phase ("[1]#[0]" monad)] + ["[1][0]" phase (.open: "[1]#[0]" monad)] [reference [variable (.only Register Variable)]]]]]]) 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 0f7a9c50a..6796a3944 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 @@ -8,7 +8,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" set (.only Set)]]] [math [number 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 c60d67bd1..94b77f919 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 @@ -10,12 +10,12 @@ ["<[0]>" code]]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" hash) + ["[0]" text (.open: "[1]#[0]" hash) ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" sequence]]] ["[0]" macro (.only) [syntax (.only syntax:)] 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 2c90b2010..ec1611ddf 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 @@ -15,7 +15,7 @@ [analysis (.only Variant Tuple)] ["[1][0]" synthesis (.only Synthesis)] ["//[1]" /// - ["[1][0]" phase ("[1]#[0]" monad)]]]]) + ["[1][0]" phase (.open: "[1]#[0]" monad)]]]]) (def: .public (tuple expression archive elemsS+) (Generator (Tuple Synthesis)) 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 0600ba9c0..99db4589b 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 @@ -8,7 +8,7 @@ ["[0]" try]] [data [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]]]] @@ -25,7 +25,7 @@ ["[2][0]" simple] ["[2][0]" complex]] [/// - ["[0]" phase ("[1]#[0]" monad)] + ["[0]" phase (.open: "[1]#[0]" monad)] [reference (.only) [variable (.only)]]]]]]) 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 5890ab241..bdbcdeb02 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 @@ -8,10 +8,10 @@ ["[0]" pipe]] [data ["[0]" product] - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection - ["[0]" list ("[1]#[0]" functor mix monoid)] + ["[0]" list (.open: "[1]#[0]" functor mix monoid)] ["[0]" set (.only Set)]]] [macro ["^" pattern]] @@ -31,7 +31,7 @@ ["[2][0]" side] ["[2][0]" member (.only Member)]]] [/// - ["[1]" phase ("[1]#[0]" monad)] + ["[1]" phase (.open: "[1]#[0]" monad)] ["[1][0]" reference (.only) ["[1]/[0]" variable (.only Register Variable)]] [meta 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 f1e08702f..dec9a0177 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 @@ -6,13 +6,13 @@ ["[0]" enum]] [control ["[0]" pipe] - ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] ["[0]" exception (.only exception:)]] [data [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor monoid)]]] + ["[0]" list (.open: "[1]#[0]" functor monoid)]]] [macro ["^" pattern]] [math @@ -26,7 +26,7 @@ ["/" synthesis (.only Path Abstraction Synthesis Operation Phase)] [/// [arity (.only Arity)] - ["[0]" phase ("[1]#[0]" monad)] + ["[0]" phase (.open: "[1]#[0]" monad)] ["[1][0]" reference (.only) ["[1]/[0]" variable (.only Register Variable)]]]]]) 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 e8388ed17..b3cb4d704 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 @@ -4,7 +4,7 @@ [abstract ["[0]" monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" monad)]] + ["[0]" maybe (.open: "[1]#[0]" monad)]] [data [collection ["[0]" list]]] 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 f774ddb6d..584612bbb 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 @@ -4,7 +4,7 @@ [abstract ["[0]" monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] ["[0]" try (.only Try)] ["[0]" exception (.only exception:)]] [data @@ -13,7 +13,7 @@ ["%" format]] [collection ["[0]" dictionary (.only Dictionary)] - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" set]]] [macro ["^" pattern]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux index 30276425b..11d63955b 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux @@ -12,7 +12,7 @@ [text ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)]]]]] + ["[0]" list (.open: "[1]#[0]" functor)]]]]] [//// [meta ["[0]" archive (.only Archive) 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 fbc202680..d1cad0503 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux @@ -11,11 +11,11 @@ [data ["[0]" sum] ["[0]" product] - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only Format format)]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]] diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux index f925aa95c..17419d58f 100644 --- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis/simple.lux @@ -7,14 +7,14 @@ [control ["[0]" pipe]] [data - ["[0]" bit ("[1]#[0]" equivalence)] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" bit (.open: "[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format]]] [macro ["^" pattern]] [math [number - ["[0]" i64 ("[1]#[0]" equivalence)] + ["[0]" i64 (.open: "[1]#[0]" equivalence)] ["n" nat] ["i" int] ["f" frac]]]]]) diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux index 41d12fdc2..b88b57053 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux @@ -19,13 +19,13 @@ [format ["[0]" binary (.only Writer)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)] ["[0]" set] ["[0]" sequence (.only Sequence)]]] [math [number - ["n" nat ("[1]#[0]" equivalence)]]] + ["n" nat (.open: "[1]#[0]" equivalence)]]] [type [primitive (.except)]]]] [/ diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux index 085e3d001..146b2d12d 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact/category.lux @@ -7,7 +7,7 @@ ["[0]" maybe]] [data ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence)]] + ["[0]" text (.open: "[1]#[0]" equivalence)]] [macro ["^" pattern]] [math 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 7daff5d95..7f0f4faeb 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 @@ -16,7 +16,7 @@ [type (.only sharing) [primitive (.except)]]]] [/// - ["[0]" signature (.only Signature) ("[1]#[0]" equivalence)] + ["[0]" signature (.only Signature) (.open: "[1]#[0]" equivalence)] ["[0]" key (.only Key)]]) (exception: .public (invalid_signature [expected Signature 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 56586bd2e..3b849a479 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux @@ -5,7 +5,7 @@ [monad (.only do)]] [control ["[0]" pipe] - ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] ["[0]" exception (.only exception:)] ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] @@ -16,7 +16,7 @@ [collection [set (.only Set)] ["[0]" list] - ["[0]" sequence (.only Sequence) ("[1]#[0]" functor mix)] + ["[0]" sequence (.only Sequence) (.open: "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)]] [format ["[0]" binary (.only Writer)]]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux index 18a6165f6..8008fe5a6 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/dependency/artifact.lux @@ -8,7 +8,7 @@ [data ["[0]" product] [collection - ["[0]" list ("[1]#[0]" monoid mix monad)] + ["[0]" list (.open: "[1]#[0]" monoid mix monad)] ["[0]" set (.only Set)] ["[0]" dictionary (.only Dictionary)] ["[0]" sequence]]] 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 fb2fa3ab8..b1d64ebb5 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 @@ -4,7 +4,7 @@ [abstract ["[0]" monad (.only do)]] [control - ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] ["[0]" try (.only Try)] ["[0]" state] [function @@ -13,7 +13,7 @@ ["[0]" text (.only) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)] ["[0]" set (.only Set)]]]]] [//// 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 35cb42cac..9a4ed2e1b 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux @@ -11,10 +11,10 @@ [data [binary (.only Binary)] ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary (.only Dictionary)]]] [world ["[0]" file]]]] 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 8cb425843..6ccdcdd56 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cache/purge.lux @@ -5,13 +5,13 @@ [predicate (.only Predicate)] ["[0]" monad (.only Monad do)]] [control - ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] [concurrency ["[0]" async (.only Async)]]] [data - ["[0]" text ("[1]#[0]" equivalence)] + ["[0]" text (.open: "[1]#[0]" equivalence)] [collection - ["[0]" list ("[1]#[0]" mix functor)] + ["[0]" list (.open: "[1]#[0]" mix functor)] ["[0]" dictionary (.only Dictionary)] ["[0]" set]]] [math diff --git a/stdlib/source/library/lux/tool/compiler/meta/cli.lux b/stdlib/source/library/lux/tool/compiler/meta/cli.lux index a3e631d17..d611dde33 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cli.lux @@ -14,7 +14,7 @@ ["[0]" text (.only) ["%" format]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [macro ["^" pattern]] [math 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 bdd1e8714..1d37314b6 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/cli/compiler.lux @@ -12,7 +12,7 @@ ["[0]" text (.only) ["%" format]] [collection - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [math [number (.only hex)]] [meta diff --git a/stdlib/source/library/lux/tool/compiler/meta/export.lux b/stdlib/source/library/lux/tool/compiler/meta/export.lux index e5391b566..21c75e46c 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/export.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/export.lux @@ -4,9 +4,9 @@ [abstract ["[0]" monad (.only do)]] [control - ["[0]" try (.only Try) ("[1]#[0]" monad)] + ["[0]" try (.only Try) (.open: "[1]#[0]" monad)] [concurrency - ["[0]" async (.only Async) ("[1]#[0]" functor)]]] + ["[0]" async (.only Async) (.open: "[1]#[0]" functor)]]] [data ["[0]" text (.only) ["%" format (.only format)]] 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 d5aadcdd9..435a8d3fb 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux @@ -7,17 +7,17 @@ [control ["[0]" try (.only Try)] [concurrency - ["[0]" async (.only Async) ("[1]#[0]" monad)]] + ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]] ["<>" parser (.only) ["<[0]>" binary (.only Parser)]]] [data [binary (.only Binary)] ["[0]" product] - ["[0]" text ("[1]#[0]" equivalence) + ["[0]" text (.open: "[1]#[0]" equivalence) ["%" format (.only format)]] [collection [set (.only Set)] - ["[0]" list ("[1]#[0]" mix)] + ["[0]" list (.open: "[1]#[0]" mix)] ["[0]" dictionary (.only Dictionary)] ["[0]" sequence (.only Sequence)]]] [macro 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 06c7fb4f8..96e91fbd6 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux @@ -10,10 +10,10 @@ ["[0]" try (.only Try)] ["[0]" exception (.only exception:)] [concurrency - ["[0]" async (.only Async) ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) (.open: "[1]#[0]" monad)]]] [data [binary (.only Binary)] - ["[0]" text ("[1]#[0]" hash) + ["[0]" text (.open: "[1]#[0]" hash) ["%" format (.only format)] [encoding ["[0]" utf8]]] diff --git a/stdlib/source/library/lux/tool/compiler/meta/packager.lux b/stdlib/source/library/lux/tool/compiler/meta/packager.lux index a45d43772..1543e082f 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager.lux @@ -9,7 +9,7 @@ [collection [dictionary (.only Dictionary)] ["[0]" sequence] - ["[0]" list ("[1]#[0]" functor)]]] + ["[0]" list (.open: "[1]#[0]" functor)]]] [world ["[0]" file]]]] [// 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 197d404b8..63df754f0 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/jvm.lux @@ -5,7 +5,7 @@ [abstract ["[0]" monad (.only Monad do)]] [control - ["[0]" maybe ("[1]#[0]" functor)] + ["[0]" maybe (.open: "[1]#[0]" functor)] ["[0]" try (.only Try)]] [data ["[0]" binary (.only Binary)] @@ -13,7 +13,7 @@ ["%" format (.only format)]] [collection ["[0]" sequence] - ["[0]" list ("[1]#[0]" functor)] + ["[0]" list (.open: "[1]#[0]" functor)] ["[0]" dictionary] ["[0]" set (.only Set)]]] [math 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 a1b7bb6a3..1fbd7ddc9 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/ruby.lux @@ -15,7 +15,7 @@ ["[0]" utf8]]] [collection ["[0]" sequence] - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)] ["[0]" set (.only Set)]]] [math 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 5c6ba160e..d99635b00 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/scheme.lux @@ -14,7 +14,7 @@ ["[0]" encoding]] [collection ["[0]" sequence] - ["[0]" list ("[1]#[0]" functor mix)] + ["[0]" list (.open: "[1]#[0]" functor mix)] ["[0]" dictionary (.only Dictionary)] ["[0]" set]] [format 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 4503723f9..9c140909d 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/packager/script.lux @@ -16,7 +16,7 @@ [collection ["[0]" sequence] ["[0]" set (.only Set)] - ["[0]" list ("[1]#[0]" functor)]]]]] + ["[0]" list (.open: "[1]#[0]" functor)]]]]] ["[0]" // (.only Packager) [// ["[0]" archive (.only Output) diff --git a/stdlib/source/library/lux/tool/compiler/phase.lux b/stdlib/source/library/lux/tool/compiler/phase.lux index 35e8215f6..213d40339 100644 --- a/stdlib/source/library/lux/tool/compiler/phase.lux +++ b/stdlib/source/library/lux/tool/compiler/phase.lux @@ -6,7 +6,7 @@ [monad (.only Monad do)]] [control ["[0]" state] - ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" try (.only Try) (.open: "[1]#[0]" functor)] ["[0]" exception (.only Exception)] ["[0]" io]] [data |