diff options
Diffstat (limited to 'stdlib/source/test/lux/tool/compiler')
55 files changed, 215 insertions, 215 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/arity.lux b/stdlib/source/test/lux/tool/compiler/arity.lux index ad89541f5..a1351e746 100644 --- a/stdlib/source/test/lux/tool/compiler/arity.lux +++ b/stdlib/source/test/lux/tool/compiler/arity.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" bit ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux index f620d1a10..a1f2e288c 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" static] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -12,7 +12,7 @@ ["[0]" function] ["[0]" maybe] ["[0]" try] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)] @@ -21,7 +21,7 @@ [macro ["[0]" template]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["f" frac]]] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux index 2a351ec37..f082131fe 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux @@ -1,18 +1,18 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux index 01d4e8481..bad488f9e 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/coverage.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] ["[0]" predicate] [\\specification ["$[0]" equivalence]]] [control ["[0]" pipe] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" Exception}]] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only Exception)]] [data ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] @@ -23,7 +23,7 @@ [macro ["^" pattern]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat ("[1]#[0]" interval)] ["i" int] @@ -34,7 +34,7 @@ ["/[1]" // "_" ["[1][0]" simple] ["[1][0]" complex] - ["[1][0]" pattern {"+" Pattern}]]]]) + ["[1][0]" pattern (.only Pattern)]]]]) (def: spread 16) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux index b35d2f857..cbbe77a67 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/inference.lux @@ -1,13 +1,13 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" Exception}]] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only Exception)]] [data ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] @@ -17,7 +17,7 @@ [macro ["[0]" code]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] [meta @@ -26,11 +26,11 @@ ["[0]" configuration "_" ["$[1]" \\test]]] ["[0]" type ("[1]#[0]" equivalence) - ["[0]" check {"+" Check}]]]] + ["[0]" check (.only Check)]]]] [\\library ["[0]" / ["/[1]" // - [evaluation {"+" Eval}] + [evaluation (.only Eval)] ["[1][0]" macro] ["[1][0]" type] ["[1][0]" module] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux index 18fc868ec..60a8b7249 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/macro.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -19,7 +19,7 @@ [macro ["[0]" code ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat]]] ["[0]" meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux index 96d27be9c..3fb7570f9 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/module.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] @@ -15,7 +15,7 @@ ["[0]" list] ["[0]" set]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] ["[0]" meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux index ac6ce0392..93d48bc89 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["f" frac]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux index 9de7bd8ec..5137bd082 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/scope.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" maybe ("[1]#[0]" functor)] @@ -14,7 +14,7 @@ [collection ["[0]" list]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] ["[0]" type "_" @@ -28,7 +28,7 @@ [/// ["[1][0]" phase ("[1]#[0]" monad)] [reference - ["[1][0]" variable {"+" Register Variable}]]]]]]] + ["[1][0]" variable (.only Register Variable)]]]]]]] ["$[0]" // "_" ["[1][0]" type]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux index ba3ba6096..d62fa8ebd 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/simple.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["f" frac]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux index b3634b2e8..a36f208c0 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/type.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)]] [data ["[0]" product]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [meta ["[0]" configuration "_" ["$[1]" \\test]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux index 7e0445312..ee5121040 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception]] @@ -27,8 +27,8 @@ ["[1]/[0]" analysis "_" ["[1]" lux]]] [// - ["/[1]" analysis {"+" Analysis Operation} - [evaluation {"+" Eval}] + ["/[1]" analysis (.only Analysis Operation) + [evaluation (.only Eval)] ["[1][0]" macro] ["[1][0]" scope] ["[1][0]" module] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux index a62410d37..0aa2bcefc 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control - ["[0]" try {"+" Try} ("[1]#[0]" functor)] + ["[0]" try (.only Try) ("[1]#[0]" functor)] ["[0]" exception]] [data ["[0]" product] @@ -26,7 +26,7 @@ ["[1]" lux]]] [// ["[1][0]" analysis - [evaluation {"+" Eval}] + [evaluation (.only Eval)] ["[2][0]" macro] ["[2][0]" scope] ["[2][0]" module] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux index cea405776..7bd276bf4 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/complex.lux @@ -1,19 +1,19 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" maybe ("[1]#[0]" functor)] - ["[0]" try {"+" Try} ("[1]#[0]" functor)] - ["[0]" exception {"+" Exception}]] + ["[0]" try (.only Try) ("[1]#[0]" functor)] + ["[0]" exception (.only Exception)]] [data ["[0]" product] ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list ("[1]#[0]" monad monoid)] ["[0]" set]]] @@ -21,7 +21,7 @@ ["^" pattern] ["[0]" code]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)] + ["[0]" random (.only Random) ("[1]#[0]" monad)] [number ["n" nat] ["f" frac]]] @@ -40,8 +40,8 @@ ["[1]/[0]" analysis "_" ["[1]" lux]]] [// - ["[1][0]" analysis {"+" Analysis} - [evaluation {"+" Eval}] + ["[1][0]" analysis (.only Analysis) + [evaluation (.only Eval)] ["[2][0]" macro] ["[2][0]" type] ["[2][0]" module] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux index 5f002867e..8ad5525f7 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/function.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" function] ["[0]" try ("[1]#[0]" functor)] @@ -34,8 +34,8 @@ ["[1]/[0]" analysis "_" ["[1]" lux]]] [// - ["[1][0]" analysis {"+" Analysis} - [evaluation {"+" Eval}] + ["[1][0]" analysis (.only Analysis) + [evaluation (.only Eval)] ["[2][0]" macro] ["[2][0]" module] ["[2][0]" type diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux index ff0b55372..7b33ea14e 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/reference.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux index dceaee0b2..a96e09627 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/simple.lux @@ -1,10 +1,10 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] ["[0]" type ("[1]#[0]" equivalence)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try]] @@ -20,7 +20,7 @@ [/// ["[1][0]" extension] [// - ["[1][0]" analysis {"+" Analysis Operation} + ["[1][0]" analysis (.only Analysis Operation) ["[2][0]" type] ["[2][0]" module]] [/// diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux index 3833dfa63..460162144 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}] + ["[0]" monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -14,12 +14,12 @@ [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" dictionary] ["[0]" list ("[1]#[0]" mix)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat] ["i" int]]]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux index 712eaad17..5d4dc57f2 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux @@ -1,14 +1,14 @@ (.using [lux {"-" i64 int primitive} [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data - ["%" text/format {"+" format}]] - ["r" math/random {"+" Random}] - ["_" test {"+" Test}] + ["%" text/format (.only format)]] + ["r" math/random (.only Random)] + ["_" test (.only Test)] [control + [io (.only IO)] ["[0]" pipe] - [io {"+" IO}] ["[0]" try] [concurrency ["[0]" atom]]] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux index e64b9540a..9281ed4d6 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis.lux @@ -1,6 +1,6 @@ (.using [lux "*" - ["_" test {"+" Test}]] + ["_" test (.only Test)]] ["[0]" / "_" ["[1][0]" primitive] ["[1][0]" structure] diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux index ee7bdec19..45587fb90 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux @@ -1,16 +1,16 @@ (.using [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [hash {"+" Hash}] - ["[0]" monad {"+" do}]] + [hash (.only Hash)] + ["[0]" monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)]] [data ["[0]" sum] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [number ["n" nat] ["[0]" int] @@ -20,7 +20,7 @@ ["[0]" list ("[1]#[0]" functor mix monoid)] ["[0]" set]]] [math - ["[0]" random {"+" Random}]]] + ["[0]" random (.only Random)]]] ["[0]" // "_" ["[1][0]" primitive]] [\\ @@ -30,11 +30,11 @@ [extension ["[1][0]" bundle]] ["/[1]" // - ["[0]" analysis {"+" Branch Match Analysis}] - ["[0]" synthesis {"+" Path Synthesis}] + ["[0]" analysis (.only Branch Match Analysis)] + ["[0]" synthesis (.only Path Synthesis)] [/// ["[1][0]" reference - [variable {"+" Register}]] + [variable (.only Register)]] ["[0]" phase] [meta ["[0]" archive]]]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux index 51f9d87b9..dda9657be 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux @@ -1,24 +1,24 @@ (.using [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [control ["[0]" try]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [number ["n" nat]] [collection ["[0]" list ("[1]#[0]" functor mix monoid)] - ["[0]" dictionary {"+" Dictionary}] + ["[0]" dictionary (.only Dictionary)] ["[0]" set]]] [macro ["^" pattern]] [math - ["[0]" random {"+" Random}]]] + ["[0]" random (.only Random)]]] ["[0]" // "_" ["[1][0]" primitive]] [\\ @@ -28,12 +28,12 @@ [extension ["[1][0]" bundle]] ["/[1]" // - ["[0]" analysis {"+" Analysis}] - ["[0]" synthesis {"+" Synthesis}] + ["[0]" analysis (.only Analysis)] + ["[0]" synthesis (.only Synthesis)] [/// - [arity {"+" Arity}] + [arity (.only Arity)] ["[0]" reference - ["[0]" variable {"+" Variable}]] + ["[0]" variable (.only Variable)]] ["[0]" phase] [meta ["[0]" archive]]]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux index 2a6cb934b..22581ad24 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/loop.lux @@ -1,8 +1,8 @@ (.using [lux {"-" structure loop function} - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception]] @@ -12,16 +12,16 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]] [\\ ["[0]" / [//// - ["[0]" analysis {"+" Environment}] - ["/[1]" synthesis {"+" Member Path Synthesis}] + ["[0]" analysis (.only Environment)] + ["/[1]" synthesis (.only Member Path Synthesis)] [/// - [arity {"+" Arity}] - ["[0]" reference {"+" Constant} - ["[0]" variable {"+" Register Variable}]]]]]]) + [arity (.only Arity)] + ["[0]" reference (.only Constant) + ["[0]" variable (.only Register Variable)]]]]]]) (type: (Scenario a) (-> Register Arity Register (Random [Register [a a]]))) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux index 327a799ef..4987fd68e 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/primitive.lux @@ -1,17 +1,17 @@ (.using [lux {"-" primitive} - [abstract ["[0]" monad {"+" do}]] + [abstract ["[0]" monad (.only do)]] [control ["[0]" pipe] ["[0]" try]] [data - ["%" text/format {"+" format}] + ["%" text/format (.only format)] [number ["n" nat]] [collection ["[0]" list]]] - ["r" math/random {"+" Random} ("[1]#[0]" monad)] - ["_" test {"+" Test}] + ["r" math/random (.only Random) ("[1]#[0]" monad)] + ["_" test (.only Test)] [meta ["[0]" symbol]]] [\\ @@ -21,8 +21,8 @@ [extension ["[1][0]" bundle]] ["/[1]" // - ["[1][0]" analysis {"+" Analysis}] - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" analysis (.only Analysis)] + ["[1][0]" synthesis (.only Synthesis)] [/// ["[0]" phase] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux index 5cfb0ecd6..2824d8bb2 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/structure.lux @@ -1,11 +1,11 @@ (.using [lux "*" [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [data - ["%" text/format {"+" format}]] - ["r" math/random {"+" Random}] - ["_" test {"+" Test}] + ["%" text/format (.only format)]] + ["r" math/random (.only Random)] + ["_" test (.only Test)] [control ["[0]" pipe] ["[0]" try]] @@ -27,8 +27,8 @@ [extension ["[1][0]" bundle]] ["/[1]" // - ["[1][0]" analysis {"+" Analysis}] - ["[1][0]" synthesis {"+" Synthesis}] + ["[1][0]" analysis (.only Analysis)] + ["[1][0]" synthesis (.only Synthesis)] [/// ["[0]" phase] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux index ee364756a..6f28d4c7a 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux @@ -1,28 +1,28 @@ (.using [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - ["[0]" monad {"+" do}]] + ["[0]" monad (.only do)]] [math - ["[0]" random {"+" Random}]] + ["[0]" random (.only Random)]] [control ["[0]" try]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [number ["n" nat]] [collection ["[0]" list ("[1]#[0]" functor mix)] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["^" pattern]]] [\\ ["[0]" / [//// ["[0]" analysis] - ["[0]" synthesis {"+" Side Member Path Synthesis}] + ["[0]" synthesis (.only Side Member Path Synthesis)] [/// [reference ["[0]" variable]]]]]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux index 21a76beb9..a3012d280 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux @@ -1,12 +1,12 @@ (.using [lux "*" - [abstract/monad {"+" do}] + [abstract/monad (.only do)] [data - ["%" text/format {"+" format}] + ["%" text/format (.only format)] [number ["n" nat]]] - ["r" math/random {"+" Random} ("[1]#[0]" monad)] - ["_" test {"+" Test}] + ["r" math/random (.only Random) ("[1]#[0]" monad)] + ["_" test (.only Test)] [control ["[0]" try] [parser @@ -15,7 +15,7 @@ ["[0]" text] [collection ["[0]" list] - ["[0]" dictionary {"+" Dictionary}]]] + ["[0]" dictionary (.only Dictionary)]]] [macro ["[0]" code]] [meta diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux index c828ed855..8af03a066 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}]]] + ["_" test (.only Test)]]] ["[0]" / "_" ["[1][0]" side] ["[1][0]" member]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux index ecd3cd328..7ac145e97 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/member.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -11,7 +11,7 @@ ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux index f9156206e..260723bce 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/access/side.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -11,7 +11,7 @@ ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux index 2a6910daa..1b17d8092 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -11,7 +11,7 @@ ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/archive.lux index 1d0851bbf..113ce4c0d 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive.lux @@ -1,22 +1,22 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception]] [data ["[0]" product] ["[0]" text - ["%" format {"+" format}]] + ["%" format (.only format)]] [collection ["[0]" list] ["[0]" set ("[1]#[0]" equivalence)] ["[0]" sequence]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [meta diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux index e87df01d3..1988b08ae 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] ["[0]" / "_" ["[1][0]" category]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux index 82722ddcb..6b9121203 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/artifact/category.lux @@ -1,12 +1,12 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux index ff80c5289..76c0f4d7d 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/key.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math ["[0]" random]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux index 5251a1c86..b0b4b82c6 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module.lux @@ -1,11 +1,11 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux index 446a91717..c5ac2ce20 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/descriptor.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -15,7 +15,7 @@ [format ["[0]" binary]]] [math - ["[0]" random {"+" Random} ("[1]#[0]" monad)]]]] + ["[0]" random (.only Random) ("[1]#[0]" monad)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux index 289ab40fd..8fe22754c 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/module/document.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux index 1e8c54fba..a17aef45c 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" functor)] @@ -13,13 +13,13 @@ ["[0]" product] ["[0]" text] [collection - ["[0]" sequence {"+" Sequence}] - ["[0]" set {"+" Set}] + ["[0]" sequence (.only Sequence)] + ["[0]" set (.only Set)] ["[0]" list ("[1]#[0]" mix functor)]] [format ["[0]" binary]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux index 7321e07da..c8742968f 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -16,7 +16,7 @@ [format ["[0]F" binary]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]] ["[0]" //// "_" diff --git a/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux b/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux index fedec7da6..6b61c719a 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/unit.lux @@ -1,7 +1,7 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract [\\specification ["$[0]" equivalence] @@ -10,7 +10,7 @@ [collection ["[0]" set]]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache.lux b/stdlib/source/test/lux/tool/compiler/meta/cache.lux index 27e3c1ded..714ea920a 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] [concurrency diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux index 061dda399..3f8162726 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try ("[1]#[0]" functor)] [concurrency diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux index 319a19d7a..359af8fa4 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux @@ -1,18 +1,18 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) ("[1]#[0]" monad)]]] [data ["[0]" binary ("[1]#[0]" equivalence) ["$[1]" \\test]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux index 7923e4929..439195dd2 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux @@ -1,14 +1,14 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception] [concurrency - ["[0]" async {"+" Async} ("[1]#[0]" monad)]]] + ["[0]" async (.only Async) ("[1]#[0]" monad)]]] [math ["[0]" random]] [world diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux index 419b247c1..3b14ddc2f 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" try] ["[0]" exception] @@ -19,7 +19,7 @@ ["[0]" sequence] ["[0]" set]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux index 657015461..a2f07b465 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] @@ -15,7 +15,7 @@ [collection ["[0]" list ("[1]#[0]" monoid monad)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [meta @@ -25,7 +25,7 @@ ["$[1]" \\test]]]]] [\\library ["[0]" / - ["[1][0]" compiler {"+" Compiler}]]] + ["[1][0]" compiler (.only Compiler)]]] ["$[0]" / "_" ["[1][0]" compiler]]) diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux index accb94da5..37632c8a6 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence]]] [control @@ -11,7 +11,7 @@ ["<>" parser ["<[0]>" text]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [meta diff --git a/stdlib/source/test/lux/tool/compiler/meta/context.lux b/stdlib/source/test/lux/tool/compiler/meta/context.lux index 954f34791..2787c89c9 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/context.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/context.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" text] [collection ["[0]" set] ["[0]" list ("[1]#[0]" functor)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library diff --git a/stdlib/source/test/lux/tool/compiler/meta/export.lux b/stdlib/source/test/lux/tool/compiler/meta/export.lux index c2fb768b2..7e9c33b6f 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/export.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/export.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] @@ -13,18 +13,18 @@ ["<[0]>" binary]]] [data ["[0]" product] - ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)] ["[0]" bit ("[1]#[0]" equivalence)] [format ["[0]" tar]] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" sequence]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world diff --git a/stdlib/source/test/lux/tool/compiler/meta/import.lux b/stdlib/source/test/lux/tool/compiler/meta/import.lux index 1c59ed494..75bda2a9f 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/import.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/import.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [control ["[0]" maybe ("[1]#[0]" functor)] ["[0]" try ("[1]#[0]" functor)] @@ -14,20 +14,20 @@ ["<[0]>" binary]]] [data ["[0]" product] - ["[0]" binary {"+" Binary} ("[1]#[0]" equivalence)] + ["[0]" binary (.only Binary) ("[1]#[0]" equivalence)] ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" format "_" - ["[0]" tar {"+" Tar}] + ["[0]" tar (.only Tar)] ["[1]" binary]] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}] + ["%" format (.only format)] [encoding ["[0]" utf8]]] [collection ["[0]" sequence] ["[0]" dictionary]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [world diff --git a/stdlib/source/test/lux/tool/compiler/phase.lux b/stdlib/source/test/lux/tool/compiler/phase.lux index dd956f90f..fab36b2ae 100644 --- a/stdlib/source/test/lux/tool/compiler/phase.lux +++ b/stdlib/source/test/lux/tool/compiler/phase.lux @@ -1,19 +1,19 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification - ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" functor (.only Injection Comparison)] ["$[0]" monad]]] [control ["[0]" pipe] ["[0]" try ("[1]#[0]" functor)] - ["[0]" exception {"+" exception:}]] + ["[0]" exception (.only exception:)]] [data ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math ["[0]" random] [number diff --git a/stdlib/source/test/lux/tool/compiler/reference.lux b/stdlib/source/test/lux/tool/compiler/reference.lux index e29fc64bf..61beee2c4 100644 --- a/stdlib/source/test/lux/tool/compiler/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/reference.lux @@ -1,9 +1,9 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] @@ -11,14 +11,14 @@ ["[0]" text ("[1]#[0]" equivalence) ["%" format]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]] [meta ["[0]" symbol ("[1]#[0]" equivalence)]]]] [\\library ["[0]" / - ["[0]" variable {"+" Register}]]] + ["[0]" variable (.only Register)]]] ["[0]" / "_" ["[1][0]" variable]]) diff --git a/stdlib/source/test/lux/tool/compiler/reference/variable.lux b/stdlib/source/test/lux/tool/compiler/reference/variable.lux index 69db9b255..603975f04 100644 --- a/stdlib/source/test/lux/tool/compiler/reference/variable.lux +++ b/stdlib/source/test/lux/tool/compiler/reference/variable.lux @@ -1,16 +1,16 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}] + [monad (.only do)] [\\specification ["$[0]" equivalence] ["$[0]" hash]]] [data ["[0]" text ("[1]#[0]" equivalence)]] [math - ["[0]" random {"+" Random}]]]] + ["[0]" random (.only Random)]]]] [\\library ["[0]" /]]) diff --git a/stdlib/source/test/lux/tool/compiler/version.lux b/stdlib/source/test/lux/tool/compiler/version.lux index f76f8651d..0e3028654 100644 --- a/stdlib/source/test/lux/tool/compiler/version.lux +++ b/stdlib/source/test/lux/tool/compiler/version.lux @@ -1,15 +1,15 @@ (.using [library [lux "*" - ["_" test {"+" Test}] + ["_" test (.only Test)] [abstract - [monad {"+" do}]] + [monad (.only do)]] [data ["[0]" bit ("[1]#[0]" equivalence)] ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] + ["%" format (.only format)]]] [math - ["[0]" random {"+" Random}] + ["[0]" random (.only Random)] [number ["n" nat]]]]] [\\library |