diff options
Diffstat (limited to 'stdlib/source/test/lux/tool/compiler')
38 files changed, 218 insertions, 218 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/arity.lux b/stdlib/source/test/lux/tool/compiler/arity.lux index 7ba4457d0..a53ca8c6d 100644 --- a/stdlib/source/test/lux/tool/compiler/arity.lux +++ b/stdlib/source/test/lux/tool/compiler/arity.lux @@ -18,7 +18,7 @@ (<| (_.covering /._) (_.for [/.Arity]) (do [! random.monad] - [arity (# ! each (n.% 3) random.nat)] + [arity (at ! each (n.% 3) random.nat)] (all _.and (_.coverage [/.nullary?] (bit#= (n.= 0 arity) (/.nullary? arity))) 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 a1f45b42d..c8d3a3c6d 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux @@ -478,7 +478,7 @@ (_.for [/.State+] ..test|state) (_.coverage [/.format] - (bit#= (# /.equivalence = left right) + (bit#= (at /.equivalence = left right) (text#= (/.format left) (/.format right)))) /complex.test 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 6b10cb6ea..0943b9cdf 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 @@ -21,8 +21,8 @@ (def: test|tag Test (do [! random.monad] - [multiplicity (# ! each (n.max 2) random.nat) - tag (# ! each (n.% multiplicity) random.nat) + [multiplicity (at ! each (n.max 2) random.nat) + tag (at ! each (n.% multiplicity) random.nat) lefts random.nat right? random.bit] (all _.and @@ -71,6 +71,6 @@ [left random right random] (_.coverage [/.format] - (bit#= (# (/.equivalence n.equivalence) = left right) + (bit#= (at (/.equivalence n.equivalence) = left right) (text#= (/.format %.nat left) (/.format %.nat right))))) )))) 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 362d94927..21c47404c 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 @@ -61,8 +61,8 @@ cases (random.set n.hash cases ..random_tag)] (|> cases set.list - (monad.each ! (function (_ case) (# ! each (|>> [case]) again))) - (# ! each (dictionary.of_list n.hash)))) + (monad.each ! (function (_ case) (at ! each (|>> [case]) again))) + (at ! each (dictionary.of_list n.hash)))) ) (random.and again again) (random.and again again) @@ -98,7 +98,7 @@ )) (do [! random.monad] - [tag (# ! each ++ ..random_tag) + [tag (at ! each ++ ..random_tag) right? random.bit .let [lefts (//complex.lefts right? tag)] [sub_coverage sub_pattern] again] @@ -205,7 +205,7 @@ [[expected/0 pattern/0] ..random_partial_pattern [expected/1 pattern/1] (random.only (|>> product.left (/#= expected/0) not) ..random_partial_pattern) - expected_maximum (# ! each (n.+ 2) ..random_tag) + expected_maximum (at ! each (n.+ 2) ..random_tag) .let [random_tag (random#each (n.% expected_maximum) random.nat)] tag/0 random_tag tag/1 (random.only (|>> (n.= tag/0) not) random_tag) @@ -252,7 +252,7 @@ frac random.frac text (random.unicode 1) - arity (# ! each (n.+ 2) ..random_tag) + arity (at ! each (n.+ 2) ..random_tag) .let [random_tag (random#each (n.% arity) random.nat)] tag/0 random_tag tag/1 (random.only (|>> (n.= tag/0) not) random_tag)] 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 f7acc50f8..f69dd6382 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 @@ -105,7 +105,7 @@ expected ..primitive name ($symbol.random 1 1) [type/0 term/0] ..simple_parameter - arity (# ! each (n.% 10) random.nat) + arity (at ! each (n.% 10) random.nat) nats (random.list arity random.nat)] (all _.and (_.coverage [/.general] @@ -125,9 +125,9 @@ (/phase.result state) (try#each (function (_ [actual analysis/*]) (and (type#= expected actual) - (# (list.equivalence //.equivalence) = - (list#each (|>> //.nat) nats) - analysis/*)))) + (at (list.equivalence //.equivalence) = + (list#each (|>> //.nat) nats) + analysis/*)))) (try.else false)) (|> (/.general archive.empty ..analysis (type (-> type/0 expected)) @@ -218,12 +218,12 @@ .let [state [/extension.#bundle (/extension/analysis.bundle ..eval) /extension.#state lux]] name ($symbol.random 1 1) - arity (# ! each (|>> (n.% 5) (n.+ 2)) random.nat) + arity (at ! each (|>> (n.% 5) (n.+ 2)) random.nat) [type/0 term/0] ..simple_parameter [type/1 term/1] (random.only (|>> product.left (same? type/0) not) ..simple_parameter) types/*,terms/* (random.list arity ..simple_parameter) - tag (# ! each (n.% arity) random.nat) + tag (at ! each (n.% arity) random.nat) .let [[lefts right?] (//complex.choice arity tag)] arbitrary_right? random.bit] (all _.and @@ -327,7 +327,7 @@ .let [state [/extension.#bundle (/extension/analysis.bundle ..eval) /extension.#state lux]] name ($symbol.random 1 1) - arity (# ! each (|>> (n.% 5) (n.+ 2)) random.nat) + arity (at ! each (|>> (n.% 5) (n.+ 2)) random.nat) [type/0 term/0] ..simple_parameter [type/1 term/1] (random.only (|>> product.left (same? type/0) not) ..simple_parameter) @@ -404,7 +404,7 @@ [type/0 term/0] ..simple_parameter [type/1 term/1] (random.only (|>> product.left (same? type/0) not) ..simple_parameter) - lefts (# ! each (n.% 10) random.nat) + lefts (at ! each (n.% 10) random.nat) right? random.bit] (all _.and ..test|general 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 684873614..ff54e0902 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 @@ -51,10 +51,10 @@ (<| (_.covering /._) (_.for [/.Expander]) (do [! random.monad] - [multiplicity (# ! each (|>> (n.% 8) (n.+ 2)) - random.nat) - choice (# ! each (n.% multiplicity) - random.nat) + [multiplicity (at ! each (|>> (n.% 8) (n.+ 2)) + random.nat) + choice (at ! each (n.% multiplicity) + random.nat) expected_error (random.upper_case 5) name ($symbol.random 2 2) @@ -81,8 +81,8 @@ (_.coverage [/.expansion] (|> (/.expansion ..expander name multiple (list mono)) (meta.result lux) - (try#each (# (list.equivalence code.equivalence) = - (list.repeated multiplicity mono))) + (try#each (at (list.equivalence code.equivalence) = + (list.repeated multiplicity mono))) (try.else false))) (_.coverage [/.expansion_failed] (|> (/.expansion ..expander name singular (list)) 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 ef24e378b..9f641f906 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 @@ -209,13 +209,13 @@ public? random.bit def_type ..primitive - arity (# ! each (|>> (n.% 10) ++) random.nat) + arity (at ! each (|>> (n.% 10) ++) random.nat) labels|head (random.lower_case 1) labels|tail (|> (random.lower_case 1) (random.only (|>> (text#= labels|head) not)) (random.set text.hash (-- arity)) - (# ! each set.list)) - index (# ! each (n.% arity) random.nat) + (at ! each set.list)) + index (at ! each (n.% arity) random.nat) .let [definition {.#Definition [public? def_type []]} alias {.#Alias [module_name def_name]}]] (all _.and @@ -281,12 +281,12 @@ public? random.bit def_type ..primitive - arity (# ! each (|>> (n.% 10) ++) random.nat) + arity (at ! each (|>> (n.% 10) ++) random.nat) labels|head (random.lower_case 1) labels|tail (|> (random.lower_case 1) (random.only (|>> (text#= labels|head) not)) (random.set text.hash (-- arity)) - (# ! each set.list))] + (at ! each set.list))] (all _.and (_.coverage [/.declare_labels] (`` (and (~~ (template [<side> <record?> <query> <on_success>] 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 b78881b03..b45859c4f 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 @@ -52,7 +52,7 @@ ($equivalence.spec /.equivalence ..random)) (_.coverage [/.format] - (bit#= (# /.equivalence = left right) + (bit#= (at /.equivalence = left right) (text#= (/.format left) (/.format right)))) (_.coverage [/.unit] (case (/.unit) 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 a918dc13c..656722030 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 @@ -40,6 +40,6 @@ [left ..random right ..random] (_.coverage [/.format] - (bit#= (# /.equivalence = left right) + (bit#= (at /.equivalence = left right) (text#= (/.format left) (/.format right))))) ))) 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 67c097440..9d7d2abc2 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 @@ -917,10 +917,10 @@ @left (random.lower_case 9) @right (random.lower_case 10) - $abstraction/0 (# ! each code.local (random.lower_case 11)) - $parameter/0 (# ! each code.local (random.lower_case 12)) - $abstraction/1 (# ! each code.local (random.lower_case 13)) - $parameter/1 (# ! each code.local (random.lower_case 14))]) + $abstraction/0 (at ! each code.local (random.lower_case 11)) + $parameter/0 (at ! each code.local (random.lower_case 12)) + $abstraction/1 (at ! each code.local (random.lower_case 13)) + $parameter/1 (at ! each code.local (random.lower_case 14))]) (all _.and (_.coverage [/.phase] (and (..can_analyse_unit! lux module/0) 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 f69c47c4c..f8be52465 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 @@ -59,13 +59,13 @@ .let [state [//extension.#bundle (//extension/analysis.bundle ..eval) //extension.#state lux]] module/0 (random.lower_case 1) - name/0 (# ! each (|>> [module/0]) (random.lower_case 2)) + name/0 (at ! each (|>> [module/0]) (random.lower_case 2)) [input/0 simple/0] $//inference.simple_parameter [input/1 simple/1] $//inference.simple_parameter [input/2 simple/2] $//inference.simple_parameter - $binding/0 (# ! each code.local (random.lower_case 3)) - $binding/1 (# ! each code.local (random.lower_case 4)) - $binding/2 (# ! each code.local (random.lower_case 5))] + $binding/0 (at ! each code.local (random.lower_case 3)) + $binding/1 (at ! each code.local (random.lower_case 4)) + $binding/2 (at ! each code.local (random.lower_case 5))] (all _.and (_.coverage [/.tuple] (let [tuple? (is (-> Type Type Bit) @@ -508,10 +508,10 @@ [output/0 body/0] $//inference.simple_parameter [output/1 body/1] (random.only (|>> product.left (same? output/0) not) $//inference.simple_parameter) - $binding/0 (# ! each code.local (random.lower_case 3)) - $binding/1 (# ! each code.local (random.lower_case 4)) - $binding/2 (# ! each code.local (random.lower_case 5)) - extension/0 (# ! each code.text (random.lower_case 6)) + $binding/0 (at ! each code.local (random.lower_case 3)) + $binding/1 (at ! each code.local (random.lower_case 4)) + $binding/2 (at ! each code.local (random.lower_case 5)) + extension/0 (at ! each code.text (random.lower_case 6)) bit/0 random.bit nat/0 random.nat] (all _.and 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 669d747ff..314dc7e6a 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 @@ -134,9 +134,9 @@ .let [state [//extension.#bundle (//extension/analysis.bundle ..eval) //extension.#state lux]] name ($symbol.random 1 1) - arity (# ! each (|>> (n.% 5) (n.+ 2)) random.nat) + arity (at ! each (|>> (n.% 5) (n.+ 2)) random.nat) types/*,terms/* (random.list arity ..simple_parameter) - tag (# ! each (n.% arity) random.nat) + tag (at ! each (n.% arity) random.nat) .let [[lefts right?] (//complex.choice arity tag) [tagT tagC] (|> types/*,terms/* (list.item tag) @@ -217,13 +217,13 @@ .let [state [//extension.#bundle (//extension/analysis.bundle ..eval) //extension.#state lux]] name ($symbol.random 1 1) - arity (# ! each (|>> (n.% 5) (n.+ 2)) random.nat) + arity (at ! each (|>> (n.% 5) (n.+ 2)) random.nat) types/*,terms/* (random.list arity ..simple_parameter) - tag (# ! each (n.% arity) random.nat) + tag (at ! each (n.% arity) random.nat) .let [[lefts right?] (//complex.choice arity tag)] tags (|> (random.lower_case 1) (random.set text.hash arity) - (# ! each set.list)) + (at ! each set.list)) .let [module (product.left name) sumT (type.variant (list#each product.left types/*,terms/*)) variantT {.#Named name sumT} @@ -290,7 +290,7 @@ .let [state [//extension.#bundle (//extension/analysis.bundle ..eval) //extension.#state lux]] name ($symbol.random 1 1) - arity (# ! each (|>> (n.% 5) (n.+ 2)) random.nat) + arity (at ! each (|>> (n.% 5) (n.+ 2)) random.nat) types/*,terms/* (random.list arity ..simple_parameter) [type/0 term/0] ..simple_parameter [type/1 term/1] ..simple_parameter @@ -434,8 +434,8 @@ .let [state [//extension.#bundle (//extension/analysis.bundle ..eval) //extension.#state lux]] name ($symbol.random 1 1) - arity (# ! each (|>> (n.% 5) (n.+ 2)) random.nat) - slice (# ! each (|>> (n.% (-- arity)) ++) random.nat) + arity (at ! each (|>> (n.% 5) (n.+ 2)) random.nat) + slice (at ! each (|>> (n.% (-- arity)) ++) random.nat) [type/0 term/0] ..simple_parameter slot/0 (random.lower_case 1) types/*,terms/* (random.list arity ..simple_parameter) @@ -513,7 +513,7 @@ (pipe.case {try.#Success {.#Some [actual_arity actual_tuple actual_type]}} (and (n.= arity actual_arity) - (# code.equivalence = (code.tuple tuple) (code.tuple actual_tuple)) + (at code.equivalence = (code.tuple tuple) (code.tuple actual_tuple)) (type#= :record: actual_type)) _ @@ -634,11 +634,11 @@ [lux ..random_state .let [state [//extension.#bundle (//extension/analysis.bundle ..eval) //extension.#state lux]] - arity (# ! each (|>> (n.% 5) (n.+ 2)) random.nat) + arity (at ! each (|>> (n.% 5) (n.+ 2)) random.nat) types/*,terms/* (random.list arity ..simple_parameter) [type/0 term/0] ..simple_parameter [type/1 term/1] ..simple_parameter - tag (# ! each (n.% arity) random.nat) + tag (at ! each (n.% arity) random.nat) .let [[lefts right?] (//complex.choice arity tag)]] (all _.and ..test|sum 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 05ddfaaff..ca35902cd 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 @@ -47,7 +47,7 @@ (_.coverage [/.read] (|> (is (/.Operation Int Nat Nat Text) (/.read %.int)) - (# phase.functor each (text#= (%.int state))) + (at phase.functor each (text#= (%.int state))) (phase.result [/.#bundle /.empty /.#state state]) (try.else false))) @@ -56,7 +56,7 @@ (do phase.monad [_ (/.update ++)] (/.read %.int))) - (# phase.functor each (text#= (%.int (++ state)))) + (at phase.functor each (text#= (%.int (++ state)))) (phase.result [/.#bundle /.empty /.#state state]) (try.else false))) @@ -66,7 +66,7 @@ [|state'| (/.temporary ++ (/.read %.int)) |state| (/.read %.int)] (in (format |state'| " " |state|)))) - (# phase.functor each (text#= (format (%.int (++ state)) " " (%.int state)))) + (at phase.functor each (text#= (format (%.int (++ state)) " " (%.int state)))) (phase.result [/.#bundle /.empty /.#state state]) (try.else false))) @@ -74,7 +74,7 @@ (|> (is (/.Operation Int Nat Nat Text) (/.with_state state (/.read %.int))) - (# phase.functor each (text#= (%.int state))) + (at phase.functor each (text#= (%.int state))) (phase.result [/.#bundle /.empty /.#state dummy]) (try.else false))) @@ -87,8 +87,8 @@ (/.read %.int)) |state'| (/.read %.int)] (in (format |state'| " " |state|)))) - (# phase.functor each (text#= (format (%.int (i.+ +2 state)) - " " (%.int (i.+ +1 state))))) + (at phase.functor each (text#= (format (%.int (i.+ +2 state)) + " " (%.int (i.+ +1 state))))) (phase.result [/.#bundle /.empty /.#state state]) (try.else false)))) @@ -101,12 +101,12 @@ (def: handler/0 (/.Handler Int Nat Nat) (function (_ @self phase archive inputs) - (# phase.monad in (list#mix n.+ 0 inputs)))) + (at phase.monad in (list#mix n.+ 0 inputs)))) (def: handler/1 (/.Handler Int Nat Nat) (function (_ @self phase archive inputs) - (# phase.monad in (list#mix n.* 1 inputs)))) + (at phase.monad in (list#mix n.* 1 inputs)))) (def: test|name Test @@ -130,7 +130,7 @@ false))) (_.coverage [/.unknown] (|> (/.apply archive.empty (function (_ archive input) - (# phase.monad in (++ input))) + (at phase.monad in (++ input))) [extension (list left right)]) (phase.result [/.#bundle /.empty /.#state state]) @@ -146,7 +146,7 @@ Test (let [phase (is (/.Phase Int Nat Nat) (function (_ archive input) - (# phase.monad in (++ input))))] + (at phase.monad in (++ input))))] (do [! random.monad] [state random.int @@ -162,7 +162,7 @@ (|> (do phase.monad [_ (/.install extender extension handler/0)] (/.apply archive.empty phase [extension (list left right)])) - (# phase.functor each (n.= (n.+ left right))) + (at phase.functor each (n.= (n.+ left right))) (phase.result [/.#bundle /.empty /.#state state]) (try.else false))) @@ -172,11 +172,11 @@ (let [! phase.monad] (|> inputs (monad.each ! (phase archive)) - (# ! each (list#mix n.+ 0))))))] + (at ! each (list#mix n.+ 0))))))] (|> (do phase.monad [_ (/.install extender extension handler)] (/.apply archive.empty phase [extension (list left right)])) - (# phase.functor each (n.= (n.+ (++ left) (++ right)))) + (at phase.functor each (n.= (n.+ (++ left) (++ right)))) (phase.result [/.#bundle /.empty /.#state state]) (try.else false)))) @@ -184,9 +184,9 @@ (|> (do phase.monad [_ (/.with extender (dictionary.of_list text.hash (list [extension handler/1])))] (/.apply archive.empty (function (_ archive input) - (# phase.monad in (++ input))) + (at phase.monad in (++ input))) [extension (list left right)])) - (# phase.functor each (n.= (n.* left right))) + (at phase.functor each (n.= (n.* left right))) (phase.result [/.#bundle /.empty /.#state state]) (try.else false))) @@ -248,7 +248,7 @@ (/.lifted (do phase.monad [] (in expected)))) - (# phase.functor each (same? expected)) + (at phase.functor each (same? expected)) (phase.result [/.#bundle /.empty /.#state state]) (try.else false)) @@ -269,7 +269,7 @@ (is (/.Operation Int Nat Nat Nat)) /.up (is (phase.Operation Int Nat)) - (# phase.functor each (same? expected)) + (at phase.functor each (same? expected)) (phase.result state) (try.else false))) )) 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 c7d2ba84e..b2e9131ca 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 @@ -75,9 +75,9 @@ (def: i64 Test (do [! r.monad] - [subjectC (|> r.nat (# ! each code.nat)) - signedC (|> r.int (# ! each code.int)) - paramC (|> r.nat (# ! each code.nat))] + [subjectC (|> r.nat (at ! each code.nat)) + signedC (|> r.int (at ! each code.int)) + paramC (|> r.nat (at ! each code.nat))] (all _.and (_.property "i64 'and'." (check_success+ "lux i64 and" (list paramC subjectC) Nat)) @@ -102,8 +102,8 @@ (def: int Test (do [! r.monad] - [subjectC (|> r.int (# ! each code.int)) - paramC (|> r.int (# ! each code.int))] + [subjectC (|> r.int (at ! each code.int)) + paramC (|> r.int (at ! each code.int))] (all _.and (_.property "Can multiply integers." (check_success+ "lux i64 *" (list paramC subjectC) Int)) @@ -122,9 +122,9 @@ (def: frac Test (do [! r.monad] - [subjectC (|> r.safe_frac (# ! each code.frac)) - paramC (|> r.safe_frac (# ! each code.frac)) - encodedC (|> r.safe_frac (# ! each (|>> %.frac code.text)))] + [subjectC (|> r.safe_frac (at ! each code.frac)) + paramC (|> r.safe_frac (at ! each code.frac)) + encodedC (|> r.safe_frac (at ! each (|>> %.frac code.text)))] (all _.and (_.property "Can add frac numbers." (check_success+ "lux f64 +" (list paramC subjectC) Frac)) @@ -157,11 +157,11 @@ (def: text Test (do [! r.monad] - [subjectC (|> (r.unicode 5) (# ! each code.text)) - paramC (|> (r.unicode 5) (# ! each code.text)) - replacementC (|> (r.unicode 5) (# ! each code.text)) - fromC (|> r.nat (# ! each code.nat)) - toC (|> r.nat (# ! each code.nat))] + [subjectC (|> (r.unicode 5) (at ! each code.text)) + paramC (|> (r.unicode 5) (at ! each code.text)) + replacementC (|> (r.unicode 5) (at ! each code.text)) + fromC (|> r.nat (at ! each code.nat)) + toC (|> r.nat (at ! each code.nat))] (all _.and (_.property "Can test text equivalence." (check_success+ "lux text =" (list paramC subjectC) Bit)) @@ -182,8 +182,8 @@ (def: io Test (do [! r.monad] - [logC (|> (r.unicode 5) (# ! each code.text)) - exitC (|> r.int (# ! each code.int))] + [logC (|> (r.unicode 5) (at ! each code.text)) + exitC (|> r.int (at ! each code.int))] (all _.and (_.property "Can log messages to standard output." (check_success+ "lux io log" (list logC) Any)) 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 351098c03..11cadf681 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 @@ -43,7 +43,7 @@ Test (do [! random.monad] [maskedA //primitive.primitive - temp (|> random.nat (# ! each (n.% 100))) + temp (|> random.nat (at ! each (n.% 100))) .let [maskA (analysis.case [maskedA [[{analysis.#Bind temp} @@ -112,7 +112,7 @@ (def: random_member (Random synthesis.Member) (do [! random.monad] - [lefts (|> random.nat (# ! each (n.% 10))) + [lefts (|> random.nat (at ! each (n.% 10))) right? random.bit] (in (if right? {.#Right lefts} @@ -121,7 +121,7 @@ (def: random_path (Random (analysis.Tuple synthesis.Member)) (do [! random.monad] - [size_1 (|> random.nat (# ! each (|>> (n.% 10) ++)))] + [size_1 (|> random.nat (at ! each (|>> (n.% 10) ++)))] (random.list size_1 ..random_member))) (def: (get_pattern path) @@ -148,9 +148,9 @@ Test (do [! random.monad] [recordA (|> random.nat - (# ! each (|>> analysis.nat)) + (at ! each (|>> analysis.nat)) (random.list 10) - (# ! each (|>> analysis.tuple))) + (at ! each (|>> analysis.tuple))) pathA ..random_path [pattern @member] (get_pattern pathA) .let [getA (analysis.case [recordA [[pattern @@ -162,7 +162,7 @@ (phase.result [///bundle.empty synthesis.init]) (pipe.case (pattern {try.#Success (synthesis.branch/get [pathS recordS])}) - (and (# (list.equivalence (sum.equivalence n.= n.=)) = pathA pathS) + (and (at (list.equivalence (sum.equivalence n.= n.=)) = pathA pathS) (//primitive.corresponds? recordA recordS)) _ @@ -187,13 +187,13 @@ (All (_ a) (-> (Hash a) (Random a) (Random [a a a a a]))) (|> random_element (random.set hash 5) - (# random.monad each (|>> set.list - (pipe.case - (pattern (list s0 s1 s2 s3 s4)) - [s0 s1 s2 s3 s4] + (at random.monad each (|>> set.list + (pipe.case + (pattern (list s0 s1 s2 s3 s4)) + [s0 s1 s2 s3 s4] - _ - (undefined)))))) + _ + (undefined)))))) (template [<name> <hash> <random> <path> <synthesis> <pattern> <analysis>] [(def: <name> @@ -266,7 +266,7 @@ (def: random_tuple (Random [Path Match]) (do [! random.monad] - [mid_size (# ! each (n.% 4) random.nat) + [mid_size (at ! each (n.% 4) random.nat) value/first (random.unicode 1) value/mid (random.list mid_size (random.unicode 1)) @@ -332,15 +332,15 @@ (def: case_test Test (do [! random.monad] - [expected_input (# ! each (|>> .i64 synthesis.i64) random.nat) + [expected_input (at ! each (|>> .i64 synthesis.i64) random.nat) [expected_path match] ..random_case] (_.coverage [/.synthesize_case] (|> (/.synthesize_case //.phase archive.empty expected_input match) (phase.result [///bundle.empty synthesis.init]) (pipe.case (pattern {try.#Success (synthesis.branch/case [actual_input actual_path])}) - (and (# synthesis.equivalence = expected_input actual_input) - (# synthesis.path_equivalence = expected_path actual_path)) + (and (at synthesis.equivalence = expected_input actual_input) + (at synthesis.path_equivalence = expected_path actual_path)) _ false))))) 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 8ab54be6f..9ec225645 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 @@ -82,10 +82,10 @@ (def: (random_unit output?) Scenario - (# random.monad in - [true - (synthesis.text synthesis.unit) - (analysis.unit)])) + (at random.monad in + [true + (synthesis.text synthesis.unit) + (analysis.unit)])) (template [<name> <random> <synthesis> <analysis>] [(def: (<name> output?) @@ -149,7 +149,7 @@ (def: (random_variable arity output?) (-> Arity Scenario) (do [! random.monad] - [register (# ! each (|>> (n.% arity) ++) random.nat)] + [register (at ! each (|>> (n.% arity) ++) random.nat)] (in [(not (n.= 0 register)) (synthesis.variable/local register) (if (n.= arity register) @@ -179,7 +179,7 @@ text_test (random.unicode 1) [loop?_input expected_input actual_input] (random_value false) [loop?_output expected_output actual_output] (random_value output?) - lefts (|> random.nat (# ! each (n.% 10))) + lefts (|> random.nat (at ! each (n.% 10))) right? random.bit .let [side|member (if right? {.#Right lefts} @@ -281,7 +281,7 @@ (def: (random_get random_value output?) (-> Scenario Scenario) (do [! random.monad] - [lefts (|> random.nat (# ! each (n.% 10))) + [lefts (|> random.nat (at ! each (n.% 10))) right? random.bit [loop?_record expected_record actual_record] (random_value false)] (in [loop?_record @@ -345,7 +345,7 @@ Scenario (do [! random.monad] [[loop?_output expected_output actual_output] (..random_nat output?) - arity (|> random.nat (# ! each (|>> (n.% 5) ++))) + arity (|> random.nat (at ! each (|>> (n.% 5) ++))) .let [environment (all list#composite (list#each (|>> {variable.#Foreign}) (list.indices arity)) @@ -365,7 +365,7 @@ (-> Scenario Scenario) (do [! random.monad] [[loop?_abstraction expected_abstraction actual_abstraction] (..random_nat output?) - arity (|> random.nat (# ! each (|>> (n.% 5) ++))) + arity (|> random.nat (at ! each (|>> (n.% 5) ++))) inputs (random.list arity (random_value false))] (in [(list#mix (function (_ new old) (and new old)) @@ -421,7 +421,7 @@ (def: random_abstraction (Random [Synthesis Analysis]) (do [! random.monad] - [arity (|> random.nat (# ! each (|>> (n.% 5) ++))) + [arity (|> random.nat (at ! each (|>> (n.% 5) ++))) [loop? expected_body actual_body] (random_body arity true)] (in [(..n_function loop? arity expected_body) (..n_abstraction arity actual_body)]))) @@ -435,12 +435,12 @@ (//.phase archive.empty) (phase.result [///bundle.empty synthesis.init]) (!expect (^.multi {try.#Success actual} - (# synthesis.equivalence = expected actual))))))) + (at synthesis.equivalence = expected actual))))))) (def: application Test (do [! random.monad] - [arity (|> random.nat (# ! each (|>> (n.% 10) (n.max 1)))) + [arity (|> random.nat (at ! each (|>> (n.% 10) (n.max 1)))) funcA //primitive.primitive argsA (random.list arity //primitive.primitive)] (_.coverage [/.apply] 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 96c5116be..6c17b1883 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 @@ -31,13 +31,13 @@ (`` (all random.either (~~ (template [<synthesis> <random>] [(do [! random.monad] - [example (# ! each (|>> <synthesis>) <random>)] + [example (at ! each (|>> <synthesis>) <random>)] (in [next [example example]]))] [//.bit random.bit] - [//.i64 (# ! each .i64 random.nat)] + [//.i64 (at ! each .i64 random.nat)] [//.f64 random.frac] [//.text (random.unicode 1)] )) @@ -55,7 +55,7 @@ (def: (variable offset arity next) (Scenario Variable) (let [local (do [! random.monad] - [register (# ! each (|>> (n.% arity) ++) random.nat)] + [register (at ! each (|>> (n.% arity) ++) random.nat)] (in [next [{variable.#Local (/.register_optimization offset register)} {variable.#Local register}]]))] @@ -64,7 +64,7 @@ _ (all random.either local (do [! random.monad] - [foreign (# ! each (n.% offset) random.nat)] + [foreign (at ! each (n.% offset) random.nat)] (in [next [{variable.#Local foreign} {variable.#Foreign foreign}]])))))) @@ -117,21 +117,21 @@ //.path/pop]]) (~~ (template [<path> <random>] [(do [! random.monad] - [example (# ! each (|>> <path>) <random>)] + [example (at ! each (|>> <path>) <random>)] (in [next [example example]]))] [//.path/bit random.bit] - [//.path/i64 (# ! each .i64 random.nat)] + [//.path/i64 (at ! each .i64 random.nat)] [//.path/f64 random.frac] [//.path/text (random.unicode 1)] )) (~~ (template [<path>] [(do [! random.monad] - [example (# ! each (|>> <path>) - (random.or random.nat - random.nat))] + [example (at ! each (|>> <path>) + (random.or random.nat + random.nat))] (in [next [example example]]))] @@ -182,7 +182,7 @@ (all random.either (do [! random.monad] [[next [recordE recordA]] (..reference offset arity next) - path_length (# ! each (|>> (n.% 5) ++) random.nat) + path_length (at ! each (|>> (n.% 5) ++) random.nat) path (random.list path_length random_member)] (in [next [(//.branch/get [path recordE]) @@ -219,7 +219,7 @@ (do [! random.monad] [[next [firstE firstA]] (..variable offset arity next) [next [secondE secondA]] (..variable offset arity next) - arity (# ! each (n.max 1) random.nat) + arity (at ! each (n.max 1) random.nat) [next [bodyE bodyA]] (..primitive 0 arity next)] (in [next [(//.function/abstraction @@ -266,10 +266,10 @@ (<| (_.covering /._) (all _.and (do [! random.monad] - [expected_offset (# ! each (|>> (n.% 5) (n.+ 2)) random.nat) - arity (# ! each (|>> (n.% 5) ++) random.nat) + [expected_offset (at ! each (|>> (n.% 5) (n.+ 2)) random.nat) + arity (at ! each (|>> (n.% 5) ++) random.nat) expected_inits (|> random.nat - (# ! each (|>> .i64 //.i64)) + (at ! each (|>> .i64 //.i64)) (random.list arity)) [_ [expected iteration]] (..scenario expected_offset arity 0)] (_.coverage [/.Transform /.optimization /.register_optimization] @@ -283,10 +283,10 @@ actual])}) (and (n.= expected_offset actual_offset) - (# (list.equivalence //.equivalence) = - expected_inits - actual_inits) - (# //.equivalence = expected actual)) + (at (list.equivalence //.equivalence) = + expected_inits + actual_inits) + (at //.equivalence = expected actual)) _ false))) 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 954818c48..237a877a4 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 @@ -37,8 +37,8 @@ (def: variant Test (do [! r.monad] - [size (|> r.nat (# ! each (|>> (n.% 10) (n.+ 2)))) - tagA (|> r.nat (# ! each (n.% size))) + [size (|> r.nat (at ! each (|>> (n.% 10) (n.+ 2)))) + tagA (|> r.nat (at ! each (n.% size))) .let [right? (n.= (-- size) tagA) lefts (if right? (-- tagA) @@ -61,7 +61,7 @@ (def: tuple Test (do [! r.monad] - [size (|> r.nat (# ! each (|>> (n.% 10) (n.max 2)))) + [size (|> r.nat (at ! each (|>> (n.% 10) (n.max 2)))) membersA (r.list size //primitive.primitive)] (_.property "Can synthesize tuple." (|> (////analysis.tuple membersA) 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 006790ba4..4f3d1de26 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 @@ -51,7 +51,7 @@ (<synthesis> value)])))] [bit_scenario synthesis.bit random.bit] - [i64_scenario synthesis.i64 (# ! each .i64 random.nat)] + [i64_scenario synthesis.i64 (at ! each .i64 random.nat)] [f64_scenario synthesis.f64 random.frac] [text_scenario synthesis.text (random.unicode 1)] ) @@ -97,9 +97,9 @@ (def: (tuple_scenario context) (Scenario Synthesis) (let [registers (dictionary.entries (the #necessary context))] - (# random.monad in - [(synthesis.tuple (list#each (|>> product.left synthesis.variable/local) registers)) - (synthesis.tuple (list#each (|>> product.right synthesis.variable/local) registers))]))) + (at random.monad in + [(synthesis.tuple (list#each (|>> product.left synthesis.variable/local) registers)) + (synthesis.tuple (list#each (|>> product.right synthesis.variable/local) registers))]))) (def: (structure_scenario context) (Scenario Synthesis) @@ -144,7 +144,7 @@ (def: (get_scenario scenario context) (-> (Scenario Synthesis) (Scenario Synthesis)) (do [! random.monad] - [length (# ! each (|>> (n.% 5) ++) random.nat) + [length (at ! each (|>> (n.% 5) ++) random.nat) path (random.list length ..random_member) [expected_record actual_record] (scenario context)] (in [(synthesis.branch/get [path expected_record]) @@ -188,7 +188,7 @@ {synthesis.#Then actual_then}}]))] [synthesis.#Bit random.bit] - [synthesis.#I64 (# ! each .i64 random.nat)] + [synthesis.#I64 (at ! each .i64 random.nat)] [synthesis.#F64 random.frac] [synthesis.#Text (random.unicode 1)] ))) @@ -284,9 +284,9 @@ (def: (apply_scenario scenario context) (-> (Scenario Synthesis) (Scenario Synthesis)) (do [! random.monad] - [abstraction (# ! each (|>> synthesis.constant) - (random.and (random.unicode 1) - (random.unicode 1))) + [abstraction (at ! each (|>> synthesis.constant) + (random.and (random.unicode 1) + (random.unicode 1))) inputs (random.list ..scope_arity (scenario context))] (in [(synthesis.function/apply [abstraction (list#each product.left inputs)]) (synthesis.function/apply [abstraction (list#each product.right inputs)])]))) @@ -332,5 +332,5 @@ (_.coverage [/.optimization] (|> (/.optimization input) (!expect (^.multi {try.#Success actual} - (# synthesis.equivalence = expected actual)))))) + (at synthesis.equivalence = expected actual)))))) ))) 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 7e92f65ae..19ae703cb 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/syntax.lux @@ -27,7 +27,7 @@ (def: symbol_part^ (Random Text) (do [! r.monad] - [size (|> r.nat (# ! each (|>> (n.% 20) (n.max 1))))] + [size (|> r.nat (at ! each (|>> (n.% 20) (n.max 1))))] (r.lower_case_alpha size))) (def: symbol^ @@ -84,7 +84,7 @@ false {.#Right [_ parsed]} - (# code.equivalence = parsed sample))) + (at code.equivalence = parsed sample))) (do ! [other code^] (_.property "Can parse multiple Lux code nodes." @@ -102,8 +102,8 @@ false {.#Right [_ =other]} - (and (# code.equivalence = sample =sample) - (# code.equivalence = other =other))))))) + (and (at code.equivalence = sample =sample) + (at code.equivalence = other =other))))))) ))) (def: comment_text^ @@ -134,7 +134,7 @@ false {.#Right [_ parsed]} - (# code.equivalence = parsed sample))) + (at code.equivalence = parsed sample))) ))) (def: .public test 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 fec861dfd..5ff10e052 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 @@ -36,6 +36,6 @@ ($hash.spec /.hash ..random)) (_.coverage [/.format] - (bit#= (# /.equivalence = left right) + (bit#= (at /.equivalence = left right) (text#= (/.format left) (/.format right)))) )))) 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 61080fd2c..4d3d12bad 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 @@ -36,6 +36,6 @@ ($hash.spec /.hash ..random)) (_.coverage [/.format] - (bit#= (# /.equivalence = left right) + (bit#= (at /.equivalence = left right) (text#= (/.format left) (/.format right)))) )))) 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 cd422dccc..3fc98a592 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 @@ -41,5 +41,5 @@ (_.coverage [/.format] (bit#= (text#= (/.format left) (/.format right)) - (# /.equivalence = left right))) + (at /.equivalence = left right))) )))) 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 b62b50e3c..1b6e2af50 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 @@ -54,6 +54,6 @@ (|> expected (binary.result /.writer) (<binary>.result /.parser) - (try#each (|>> (# /.equivalence = (has /.#state {.#Cached} expected)))) + (try#each (|>> (at /.equivalence = (has /.#state {.#Cached} expected)))) (try.else false))) ))) 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 7305277cb..8fa2fc9e6 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/registry.lux @@ -57,10 +57,10 @@ mandatory? random.bit expected_dependencies (..random_dependencies 5) - expected_amount (# ! each (n.% 10) random.nat) + expected_amount (at ! each (n.% 10) random.nat) expected_names (|> (random.lower_case 1) (random.set text.hash expected_amount) - (# ! each set.list))] + (at ! each set.list))] (`` (all _.and (_.coverage [/.empty] (|> /.empty @@ -147,7 +147,7 @@ (list.every? (function (_ [@it [it dependencies]]) (same? @it (the artifact.#id it))) (list.zipped_2 (sequence.list ids) (sequence.list it))) - (# (list.equivalence <equivalence>) = expected/* (<query> registry))))] + (at (list.equivalence <equivalence>) = expected/* (<query> registry))))] [/.definition /.definitions category.definition_equivalence (is (-> Text category.Definition) (function (_ it) 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 23a2d62c9..f127d86e5 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/archive/signature.lux @@ -43,7 +43,7 @@ [left ..random right ..random] (_.coverage [/.description] - (bit#= (# /.equivalence = left right) + (bit#= (at /.equivalence = left right) (text#= (/.description left) (/.description right))))) (do random.monad [expected ..random] @@ -51,6 +51,6 @@ (|> expected (binaryF.result /.writer) (<binary>.result /.parser) - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false)))) ))) diff --git a/stdlib/source/test/lux/tool/compiler/meta/cache.lux b/stdlib/source/test/lux/tool/compiler/meta/cache.lux index c970fbe07..c2ba9e659 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache.lux @@ -31,10 +31,10 @@ context $//context.random] (all _.and (in (do [! async.monad] - [pre/0 (# fs directory? (/.path fs context)) + [pre/0 (at fs directory? (/.path fs context)) pre/1 (/.enabled? fs context) outcome (/.enable! ! fs context) - post/0 (# fs directory? (/.path fs context)) + post/0 (at fs directory? (/.path fs context)) post/1 (/.enabled? fs context)] (_.coverage' [/.path /.enabled? /.enable!] (and (not pre/0) 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 3d42ef1e1..b93c34577 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/archive.lux @@ -67,11 +67,11 @@ try.trusted)]] (all _.and (in (do [! async.monad] - [pre/0 (# fs file? (/.descriptor fs context)) + [pre/0 (at fs file? (/.descriptor fs context)) enabled? (//.enable! ! fs context) cached? (/.cache! fs context archive) - actual (# fs read (/.descriptor fs context)) - post/0 (# fs file? (/.descriptor fs context))] + actual (at fs read (/.descriptor fs context)) + post/0 (at fs file? (/.descriptor fs context))] (_.coverage' [/.descriptor /.cache!] (and (not pre/0) (|> (do try.monad 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 de5344cf1..2fcbf2246 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/artifact.lux @@ -36,10 +36,10 @@ expected ($binary.random 1)] (all _.and (in (do [! async.monad] - [pre (# fs file? (/.path fs context @module @artifact)) + [pre (at fs file? (/.path fs context @module @artifact)) _ (//module.enable! ! fs context @module) write! (/.cache! fs context @module @artifact expected) - post (# fs file? (/.path fs context @module @artifact)) + post (at fs file? (/.path fs context @module @artifact)) read! (/.cache fs context @module @artifact)] (_.coverage' [/.path /.cache! /.cache] (and (not pre) 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 8091e33c8..3975036e0 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/module.lux @@ -23,7 +23,7 @@ (~~ (template [<name>] [(def: <name> - (# it <name>))] + (at it <name>))] [separator] [file?] @@ -55,10 +55,10 @@ (in (do [! async.monad] [.let [/ "/" fs (file.mock /)] - pre/0 (# fs directory? (/.path fs context @module)) + pre/0 (at fs directory? (/.path fs context @module)) pre/1 (/.enabled? fs context @module) outcome (/.enable! ! fs context @module) - post/0 (# fs directory? (/.path fs context @module)) + post/0 (at fs directory? (/.path fs context @module)) post/1 (/.enabled? fs context @module)] (_.coverage' [/.path /.enabled? /.enable!] (and (not pre/0) @@ -73,10 +73,10 @@ (in (do [! async.monad] [.let [/ "/" fs (file.mock /)] - pre/0 (# fs directory? (/.path fs context @module)) + pre/0 (at fs directory? (/.path fs context @module)) pre/1 (/.enabled? fs context @module) outcome (/.enable! ! (..bad fs) context @module) - post/0 (# fs directory? (/.path fs context @module)) + post/0 (at fs directory? (/.path fs context @module)) post/1 (/.enabled? fs context @module)] (_.coverage' [/.cannot_enable] (and (not pre/0) 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 bf231eba5..209f97b16 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cache/purge.lux @@ -52,8 +52,8 @@ content/0 ($binary.random 1) name/1 (random.lower_case 2) module/1 (|> ($module.random random.nat) - (# ! each (has [module.#descriptor descriptor.#references] - (set.of_list text.hash (list name/0))))) + (at ! each (has [module.#descriptor descriptor.#references] + (set.of_list text.hash (list name/0))))) content/1 ($binary.random 2) .let [id/0 (the module.#id module/0) id/1 (the module.#id module/1) @@ -119,18 +119,18 @@ .let [dir (//module.path fs context id/0) file/0 (%.format dir / name/0) file/1 (%.format dir / name/1)] - _ (# fs write file/0 content/0) - _ (# fs write file/1 content/1) - pre (# fs directory_files dir) + _ (at fs write file/0 content/0) + _ (at fs write file/1 content/1) + pre (at fs directory_files dir) _ (/.purge! fs context id/0) - post (# fs directory_files dir)] + post (at fs directory_files dir)] (_.coverage' [/.purge!] (<| (try.else false) (do try.monad [pre pre] - (in (and (# set.equivalence = - (set.of_list text.hash pre) - (set.of_list text.hash (list file/0 file/1))) + (in (and (at set.equivalence = + (set.of_list text.hash pre) + (set.of_list text.hash (list file/0 file/1))) (case post {try.#Failure error} (exception.match? file.cannot_find_directory error) diff --git a/stdlib/source/test/lux/tool/compiler/meta/cli.lux b/stdlib/source/test/lux/tool/compiler/meta/cli.lux index 6df5fc3dd..cc1951950 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli.lux @@ -33,7 +33,7 @@ (_.for [/.Service /.service]) (let [(open "list#[0]") (list.equivalence text.equivalence)]) (do [! random.monad] - [amount (# ! each (|>> (n.% 5) ++) random.nat) + [amount (at ! each (|>> (n.% 5) ++) random.nat) sources (random.list amount (random.lower_case 1)) host_dependencies (random.list amount (random.lower_case 2)) libraries (random.list amount (random.lower_case 3)) @@ -71,7 +71,7 @@ [/.Host_Dependency /.#host_dependencies (list#= host_dependencies)] [/.Library /.#libraries (list#= libraries)] - [/compiler.Compiler /.#compilers (# (list.equivalence /compiler.equivalence) = compilers)] + [/compiler.Compiler /.#compilers (at (list.equivalence /compiler.equivalence) = compilers)] [/.Source /.#sources (list#= sources)] [/.Target /.#target (same? target)] [/.Module /.#module (same? module)] @@ -94,7 +94,7 @@ [/.#host_dependencies (list#= host_dependencies)] [/.#libraries (list#= libraries)] - [/.#compilers (# (list.equivalence /compiler.equivalence) = compilers)] + [/.#compilers (at (list.equivalence /compiler.equivalence) = compilers)] [/.#sources (list#= sources)] [/.#target (same? target)] [/.#module (same? module)] 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 988227519..1a7aacc6d 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/cli/compiler.lux @@ -24,7 +24,7 @@ (Random /.Compiler) (do [! random.monad] [definition ($symbol.random 1 1) - amount (# ! each (n.% 5) random.nat) + amount (at ! each (n.% 5) random.nat) parameters (random.list amount (random.lower_case 2))] (in [/.#definition definition /.#parameters parameters]))) @@ -43,6 +43,6 @@ (|> expected /.format (<text>.result /.parser) - (try#each (# /.equivalence = expected)) + (try#each (at /.equivalence = expected)) (try.else false))) )))) diff --git a/stdlib/source/test/lux/tool/compiler/meta/context.lux b/stdlib/source/test/lux/tool/compiler/meta/context.lux index 46d9c6343..9c993c22a 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/context.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/context.lux @@ -25,7 +25,7 @@ (in /.lua) (in /.python) (in /.ruby))] - (# ! each context (random.lower_case 1)))) + (at ! each context (random.lower_case 1)))) (def: .public test Test diff --git a/stdlib/source/test/lux/tool/compiler/meta/export.lux b/stdlib/source/test/lux/tool/compiler/meta/export.lux index eccebdfe0..c8e9fcb06 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/export.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/export.lux @@ -45,34 +45,34 @@ target (random.lower_case 3) .let [random_file (is (Random file.Path) - (# ! each (text.suffix io.lux_extension) (random.lower_case 4)))] + (at ! each (text.suffix io.lux_extension) (random.lower_case 4)))] file/0' random_file .let [file/0 (format source/0 / file/0')] dir/0 (random.lower_case 5) - file/1' (# ! each (|>> (format dir/0 /)) random_file) + file/1' (at ! each (|>> (format dir/0 /)) random_file) .let [file/1 (format source/1 / file/1')] .let [random_content (is (Random Binary) - (# ! each (|>> %.nat (# utf8.codec encoded)) random.nat))] + (at ! each (|>> %.nat (at utf8.codec encoded)) random.nat))] content/0 random_content content/1 random_content] (all _.and (in (do [! async.monad] [it (do (try.with !) [.let [fs (file.mock /)] - _ (# fs make_directory source/0) - _ (# fs write file/0 content/0) + _ (at fs make_directory source/0) + _ (at fs write file/0 content/0) - _ (# fs make_directory source/1) - _ (# fs make_directory (format source/1 / dir/0)) - _ (# fs write file/1 content/1) + _ (at fs make_directory source/1) + _ (at fs make_directory (format source/1 / dir/0)) + _ (at fs write file/1 content/1) - _ (# fs make_directory target) + _ (at fs make_directory target) library_tar (/.library fs (list source/0 source/1)) _ (/.export fs [(list source/0 source/1) target]) - export_tar (# fs read (format target / /.file)) - export_tar (# ! in (<binary>.result tar.parser export_tar))] + export_tar (at fs read (format target / /.file)) + export_tar (at ! in (<binary>.result tar.parser export_tar))] (in [library_tar export_tar]))] (all _.and' (_.coverage' [/.library /.mode /.ownership] diff --git a/stdlib/source/test/lux/tool/compiler/meta/import.lux b/stdlib/source/test/lux/tool/compiler/meta/import.lux index a055d3408..552be6616 100644 --- a/stdlib/source/test/lux/tool/compiler/meta/import.lux +++ b/stdlib/source/test/lux/tool/compiler/meta/import.lux @@ -49,14 +49,14 @@ .let [/ .module_separator random_file (is (Random file.Path) - (# ! each (text.suffix io.lux_extension) (random.lower_case 3)))] + (at ! each (text.suffix io.lux_extension) (random.lower_case 3)))] file/0 random_file dir/0 (random.lower_case 4) - file/1 (# ! each (|>> (format dir/0 /)) random_file) + file/1 (at ! each (|>> (format dir/0 /)) random_file) .let [random_content (is (Random Binary) - (# ! each (|>> %.nat (# utf8.codec encoded)) random.nat))] + (at ! each (|>> %.nat (at utf8.codec encoded)) random.nat))] now random.instant content/0 random_content content/1 random_content @@ -112,12 +112,12 @@ (in (do [! async.monad] [it/0 (do (try.with !) [.let [fs (file.mock /)] - _ (# fs write library/0 library_content)] + _ (at fs write library/0 library_content)] (/.import fs (list library/0))) it/1 (do (try.with !) [.let [fs (file.mock /)] - _ (# fs write library/0 library_content/0) - _ (# fs write library/1 library_content/1)] + _ (at fs write library/0 library_content/0) + _ (at fs write library/1 library_content/1)] (/.import fs (list library/0 library/1)))] (_.coverage' [/.import] (and (|> it/0 @@ -129,7 +129,7 @@ (in (do [! async.monad] [it (do (try.with !) [.let [fs (file.mock /)] - _ (# fs write library/0 library_content) + _ (at fs write library/0 library_content) _ (/.import fs (list library/0 library/0))] (in false))] (_.coverage' [/.duplicate] @@ -137,17 +137,17 @@ (in (do [! async.monad] [it/0 (do (try.with !) [.let [fs (file.mock /)] - _ (# fs write library/0 library_content/-0) + _ (at fs write library/0 library_content/-0) _ (/.import fs (list library/0))] (in false)) it/1 (do (try.with !) [.let [fs (file.mock /)] - _ (# fs write library/0 library_content/-1) + _ (at fs write library/0 library_content/-1) _ (/.import fs (list library/0))] (in false)) it/2 (do (try.with !) [.let [fs (file.mock /)] - _ (# fs write library/0 library_content/-2) + _ (at fs write library/0 library_content/-2) _ (/.import fs (list library/0))] (in false))] (_.coverage' [/.useless_tar_entry] diff --git a/stdlib/source/test/lux/tool/compiler/phase.lux b/stdlib/source/test/lux/tool/compiler/phase.lux index 6fa17a691..b5d392112 100644 --- a/stdlib/source/test/lux/tool/compiler/phase.lux +++ b/stdlib/source/test/lux/tool/compiler/phase.lux @@ -68,7 +68,7 @@ _ false)) (|> (/.lifted {try.#Success expected}) - (# /.functor each (same? expected)) + (at /.functor each (same? expected)) (/.result state) (try.else false)))) (_.coverage [/.except] @@ -105,24 +105,24 @@ (all _.and (_.coverage [/.state] (|> /.state - (# /.functor each (same? state)) + (at /.functor each (same? state)) (/.result state) (try.else false))) (_.coverage [/.with] (|> (do /.monad [_ (/.with state)] /.state) - (# /.functor each (same? state)) + (at /.functor each (same? state)) (/.result dummy) (try.else false))) (_.coverage [/.sub] - (|> (/.sub [(# n.hex encoded) + (|> (/.sub [(at n.hex encoded) (function (_ new old) - (|> new (# n.hex decoded) (try.else dummy)))] + (|> new (at n.hex decoded) (try.else dummy)))] (do /.monad [state/hex /.state] (in (|> state - (# n.hex encoded) + (at n.hex encoded) (text#= state/hex))))) (/.result' state) (pipe.case {try.#Success [state' verdict]} @@ -145,7 +145,7 @@ ($monad.spec ..injection (..comparison state) /.monad)) (_.coverage [/.result] - (|> (# /.monad in expected) + (|> (at /.monad in expected) (/.result state) (pipe.case {try.#Success actual} (same? expected actual) @@ -153,7 +153,7 @@ _ false))) (_.coverage [/.result'] - (|> (# /.monad in expected) + (|> (at /.monad in expected) (/.result' state) (pipe.case {try.#Success [state' actual]} (and (same? state state') @@ -180,10 +180,10 @@ (_.coverage [/.composite] (let [phase (/.composite (is (/.Phase Nat Int Frac) (function (_ archive input) - (# /.monad in (i.frac input)))) + (at /.monad in (i.frac input)))) (is (/.Phase Rev Frac Text) (function (_ archive input) - (# /.monad in (%.frac input)))))] + (at /.monad in (%.frac input)))))] (|> (phase archive.empty expected) (/.result' [state/0 state/1]) (pipe.case {try.#Success [[state/0' state/1'] actual]} diff --git a/stdlib/source/test/lux/tool/compiler/reference.lux b/stdlib/source/test/lux/tool/compiler/reference.lux index 37e61b319..183e872ff 100644 --- a/stdlib/source/test/lux/tool/compiler/reference.lux +++ b/stdlib/source/test/lux/tool/compiler/reference.lux @@ -63,7 +63,7 @@ )) (_.coverage [/.variable /.self] - (and (# /.equivalence = (/.self) (/.variable (variable.self))) + (and (at /.equivalence = (/.self) (/.variable (variable.self))) (case (/.self) (pattern (/.self)) true |