diff options
Diffstat (limited to 'stdlib/source/test/lux/control')
| -rw-r--r-- | stdlib/source/test/lux/control/concurrency/stm.lux | 54 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/parser.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/parser/analysis.lux | 24 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/parser/code.lux | 40 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/parser/json.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/parser/synthesis.lux | 20 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/parser/text.lux | 6 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/parser/type.lux | 6 |
8 files changed, 80 insertions, 80 deletions
diff --git a/stdlib/source/test/lux/control/concurrency/stm.lux b/stdlib/source/test/lux/control/concurrency/stm.lux index d3298ae86..ca55f2364 100644 --- a/stdlib/source/test/lux/control/concurrency/stm.lux +++ b/stdlib/source/test/lux/control/concurrency/stm.lux @@ -1,29 +1,29 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}] - [abstract - ["[0]" monad {"+" Monad do}] - [\\specification - ["$[0]" functor {"+" Injection Comparison}] - ["$[0]" apply] - ["$[0]" monad]]] - [control - ["[0]" io {"+" IO}]] - [data - ["[0]" product] - [collection - ["[0]" list ("[1]#[0]" functor)]]] - [math - ["[0]" random] - [number - ["n" nat]]]]] - [\\library - ["[0]" / - [// - ["[0]" atom {"+" Atom atom}] - ["[0]" async] - ["[0]" frp {"+" Channel}]]]]) + [library + [lux "*" + ["_" test {"+" Test}] + [abstract + ["[0]" monad {"+" Monad do}] + [\\specification + ["$[0]" functor {"+" Injection Comparison}] + ["$[0]" apply] + ["$[0]" monad]]] + [control + ["[0]" io {"+" IO}]] + [data + ["[0]" product] + [collection + ["[0]" list ("[1]#[0]" functor)]]] + [math + ["[0]" random] + [number + ["n" nat]]]]] + [\\library + ["[0]" / + [// + ["[0]" atom {"+" Atom atom}] + ["[0]" async] + ["[0]" frp {"+" Channel}]]]]) (def: injection (Injection /.STM) @@ -81,13 +81,13 @@ output)))) (in (do async.monad [.let [box (/.var dummy) - [follower sink] (io.run! (/.follow! box))] + [follower sink] (io.run! (/.changes box))] _ (/.commit! (/.write expected box)) _ (/.commit! (/.update (n.* 2) box)) _ (async.future (# sink close)) _ (/.commit! (/.update (n.* 3) box)) changes (frp.list follower)] - (_.cover' [/.follow!] + (_.cover' [/.changes] (# (list.equivalence n.equivalence) = (list expected (n.* 2 expected)) changes)))) diff --git a/stdlib/source/test/lux/control/parser.lux b/stdlib/source/test/lux/control/parser.lux index 8941a8137..5733b780c 100644 --- a/stdlib/source/test/lux/control/parser.lux +++ b/stdlib/source/test/lux/control/parser.lux @@ -235,7 +235,7 @@ actual))))) (_.cover [/.separated_by] (|> (list.interposed (code.text separator) (list#each code.nat expected+)) - (/.result (/.separated_by (<code>.this! (code.text separator)) <code>.nat)) + (/.result (/.separated_by (<code>.this (code.text separator)) <code>.nat)) (match actual (# (list.equivalence n.equivalence) = expected+ diff --git a/stdlib/source/test/lux/control/parser/analysis.lux b/stdlib/source/test/lux/control/parser/analysis.lux index 074115336..32d758505 100644 --- a/stdlib/source/test/lux/control/parser/analysis.lux +++ b/stdlib/source/test/lux/control/parser/analysis.lux @@ -83,15 +83,15 @@ (/.result (<check> expected)) (!expect {try.#Success _}))))] - [/.bit /.bit! random.bit analysis.bit bit#=] - [/.nat /.nat! random.nat analysis.nat n.=] - [/.int /.int! random.int analysis.int i.=] - [/.frac /.frac! random.safe_frac analysis.frac f.=] - [/.rev /.rev! random.rev analysis.rev r.=] - [/.text /.text! (random.unicode 10) analysis.text text#=] - [/.local /.local! random.nat analysis.local n.=] - [/.foreign /.foreign! random.nat analysis.foreign n.=] - [/.constant /.constant! ..constant analysis.constant symbol#=] + [/.bit /.this_bit random.bit analysis.bit bit#=] + [/.nat /.this_nat random.nat analysis.nat n.=] + [/.int /.this_int random.int analysis.int i.=] + [/.frac /.this_frac random.safe_frac analysis.frac f.=] + [/.rev /.this_rev random.rev analysis.rev r.=] + [/.text /.this_text (random.unicode 10) analysis.text text#=] + [/.local /.this_local random.nat analysis.local n.=] + [/.foreign /.this_foreign random.nat analysis.foreign n.=] + [/.constant /.this_constant ..constant analysis.constant symbol#=] )) (do [! random.monad] [expected random.bit] @@ -117,10 +117,10 @@ (!expect {try.#Success #0}))))) (do [! random.monad] [dummy random.bit] - (_.cover [/.end!] - (and (|> (/.result /.end! (list)) + (_.cover [/.end] + (and (|> (/.result /.end (list)) (!expect {try.#Success _})) - (|> (/.result /.end! (list (analysis.bit dummy))) + (|> (/.result /.end (list (analysis.bit dummy))) (!expect {try.#Failure _}))))) (do [! random.monad] [expected random.bit] diff --git a/stdlib/source/test/lux/control/parser/code.lux b/stdlib/source/test/lux/control/parser/code.lux index 62030c6bd..0063541c4 100644 --- a/stdlib/source/test/lux/control/parser/code.lux +++ b/stdlib/source/test/lux/control/parser/code.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux {"-" local global} ["_" test {"+" Test}] [abstract [monad {"+" do}]] @@ -36,11 +36,11 @@ _ false)]) -(def: local_symbol +(def: local (Random Text) (random.ascii/lower 1)) -(def: global_symbol +(def: global (Random Symbol) ($_ random.and (random.ascii/lower 1) @@ -51,8 +51,8 @@ (Random Symbol) ($_ random.either (random#each (|>> [""]) - ..local_symbol) - ..global_symbol + ..local) + ..global )) (def: .public test @@ -83,16 +83,16 @@ (!expect {try.#Failure _})))) ))] - [/.any /.this! (# ! each code.bit random.bit) function.identity code.equivalence] - [/.bit /.bit! random.bit code.bit bit.equivalence] - [/.nat /.nat! random.nat code.nat nat.equivalence] - [/.int /.int! random.int code.int int.equivalence] - [/.rev /.rev! random.rev code.rev rev.equivalence] - [/.frac /.frac! random.safe_frac code.frac frac.equivalence] - [/.text /.text! (random.unicode 1) code.text text.equivalence] - [/.local_symbol /.local_symbol! ..local_symbol code.local_symbol text.equivalence] - [/.global_symbol /.global_symbol! ..global_symbol code.symbol symbol.equivalence] - [/.symbol /.symbol! ..any_symbol code.symbol symbol.equivalence] + [/.any /.this (# ! each code.bit random.bit) function.identity code.equivalence] + [/.bit /.this_bit random.bit code.bit bit.equivalence] + [/.nat /.this_nat random.nat code.nat nat.equivalence] + [/.int /.this_int random.int code.int int.equivalence] + [/.rev /.this_rev random.rev code.rev rev.equivalence] + [/.frac /.this_frac random.safe_frac code.frac frac.equivalence] + [/.text /.this_text (random.unicode 1) code.text text.equivalence] + [/.local /.this_local ..local code.local text.equivalence] + [/.global /.this_global ..global code.symbol symbol.equivalence] + [/.symbol /.this_symbol ..any_symbol code.symbol symbol.equivalence] )) (~~ (template [<query> <code>] [(do [! random.monad] @@ -113,8 +113,8 @@ (do [! random.monad] [expected_local random.nat expected_global random.int] - (_.cover [/.local] - (|> (/.result (<>.and (/.local (list (code.nat expected_local)) /.nat) + (_.cover [/.locally] + (|> (/.result (<>.and (/.locally (list (code.nat expected_local)) /.nat) /.int) (list (code.int expected_global))) (!expect (^.multi {try.#Success [actual_local actual_global]} @@ -134,10 +134,10 @@ verdict))))) (do [! random.monad] [dummy (# ! each code.bit random.bit)] - (_.cover [/.end!] - (and (|> (/.result /.end! (list)) + (_.cover [/.end] + (and (|> (/.result /.end (list)) (!expect {try.#Success []})) - (|> (/.result /.end! (list dummy)) + (|> (/.result /.end (list dummy)) (!expect {try.#Failure _}))))) (do [! random.monad] [expected (# ! each code.bit random.bit)] diff --git a/stdlib/source/test/lux/control/parser/json.lux b/stdlib/source/test/lux/control/parser/json.lux index ea42e6178..873001415 100644 --- a/stdlib/source/test/lux/control/parser/json.lux +++ b/stdlib/source/test/lux/control/parser/json.lux @@ -76,9 +76,9 @@ (|> (/.result (<check> expected) {<json> dummy}) (!expect {try.#Failure _}))))))] - [/.boolean /.boolean? /.boolean! random.bit json.#Boolean bit.equivalence] - [/.number /.number? /.number! ..safe_frac json.#Number frac.equivalence] - [/.string /.string? /.string! (random.unicode 1) json.#String text.equivalence] + [/.boolean /.boolean? /.this_boolean random.bit json.#Boolean bit.equivalence] + [/.number /.number? /.this_number ..safe_frac json.#Number frac.equivalence] + [/.string /.string? /.this_string (random.unicode 1) json.#String text.equivalence] )) (do [! random.monad] [expected (random.unicode 1) @@ -91,7 +91,7 @@ [expected (random.unicode 1) dummy (|> (random.unicode 1) (random.only (|>> (# text.equivalence = expected) not)))] (_.cover [/.value_mismatch] - (|> (/.result (/.string! expected) {json.#String dummy}) + (|> (/.result (/.this_string expected) {json.#String dummy}) (!expect (^.multi {try.#Failure error} (exception.match? /.value_mismatch error)))))) (do [! random.monad] diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux index 97d6934ed..0341837ee 100644 --- a/stdlib/source/test/lux/control/parser/synthesis.lux +++ b/stdlib/source/test/lux/control/parser/synthesis.lux @@ -80,13 +80,13 @@ (exception.match? /.cannot_parse error)))))) ))] - [/.bit /.bit! random.bit synthesis.bit bit.equivalence] - [/.i64 /.i64! random.i64 synthesis.i64 i64.equivalence] - [/.f64 /.f64! random.safe_frac synthesis.f64 frac.equivalence] - [/.text /.text! (random.unicode 1) synthesis.text text.equivalence] - [/.local /.local! random.nat synthesis.variable/local n.equivalence] - [/.foreign /.foreign! random.nat synthesis.variable/foreign n.equivalence] - [/.constant /.constant! ..random_constant synthesis.constant symbol.equivalence] + [/.bit /.this_bit random.bit synthesis.bit bit.equivalence] + [/.i64 /.this_i64 random.i64 synthesis.i64 i64.equivalence] + [/.f64 /.this_f64 random.safe_frac synthesis.f64 frac.equivalence] + [/.text /.this_text (random.unicode 1) synthesis.text text.equivalence] + [/.local /.this_local random.nat synthesis.variable/local n.equivalence] + [/.foreign /.this_foreign random.nat synthesis.variable/foreign n.equivalence] + [/.constant /.this_constant ..random_constant synthesis.constant symbol.equivalence] )) ))) @@ -183,10 +183,10 @@ (exception.match? /.unconsumed_input error)))))) (do [! random.monad] [dummy (# ! each (|>> synthesis.i64) random.i64)] - (_.cover [/.end! /.expected_empty_input] - (and (|> (/.result /.end! (list)) + (_.cover [/.end /.expected_empty_input] + (and (|> (/.result /.end (list)) (!expect {try.#Success _})) - (|> (/.result /.end! (list dummy)) + (|> (/.result /.end (list dummy)) (!expect (^.multi {try.#Failure error} (exception.match? /.expected_empty_input error))))))) (do [! random.monad] diff --git a/stdlib/source/test/lux/control/parser/text.lux b/stdlib/source/test/lux/control/parser/text.lux index 0c49e8043..6c4b3b2ff 100644 --- a/stdlib/source/test/lux/control/parser/text.lux +++ b/stdlib/source/test/lux/control/parser/text.lux @@ -299,11 +299,11 @@ ($_ _.and (do [! random.monad] [sample (random.unicode 1)] - (_.cover [/.result /.end!] - (and (|> (/.result /.end! + (_.cover [/.result /.end] + (and (|> (/.result /.end "") (!expect {try.#Success _})) - (|> (/.result /.end! + (|> (/.result /.end sample) (!expect {try.#Failure _}))))) (do [! random.monad] diff --git a/stdlib/source/test/lux/control/parser/type.lux b/stdlib/source/test/lux/control/parser/type.lux index 93020e506..b006b0018 100644 --- a/stdlib/source/test/lux/control/parser/type.lux +++ b/stdlib/source/test/lux/control/parser/type.lux @@ -172,14 +172,14 @@ (_.cover [/.wrong_parameter] (|> (/.result (<| (/.with_extension quantification) (/.with_extension argument) - (/.parameter! 1)) + (/.this_parameter 1)) {.#Parameter 0}) (!expect (^.multi {try.#Failure error} (exception.match? /.wrong_parameter error))))) - (_.cover [/.parameter!] + (_.cover [/.this_parameter] (|> (/.result (<| (/.with_extension quantification) (/.with_extension argument) - (/.parameter! 0)) + (/.this_parameter 0)) {.#Parameter 0}) (!expect {try.#Success [quantification##binding argument##binding _]}))) ))) |