From 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 12 Sep 2021 15:39:55 -0400 Subject: Re-named \ => # && \\ => ## --- stdlib/source/test/lux.lux | 146 ++++++++++++++++++++++----------------------- 1 file changed, 73 insertions(+), 73 deletions(-) (limited to 'stdlib/source/test/lux.lux') diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 46d467058..7500bb983 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -12,27 +12,27 @@ [monad {"+" [do]}]] [control ["[0]" io] - ["[0]" maybe ("[1]\[0]" functor)] + ["[0]" maybe ("[1]#[0]" functor)] [concurrency ["[0]" atom {"+" [Atom]}]] [parser ["<[0]>" code]]] [data ["[0]" product] - ["[0]" bit ("[1]\[0]" equivalence)] - ["[0]" text ("[1]\[0]" equivalence) + ["[0]" bit ("[1]#[0]" equivalence)] + ["[0]" text ("[1]#[0]" equivalence) ["%" format {"+" [format]}]] [collection - ["[0]" list ("[1]\[0]" functor)] - ["[0]" set {"+" [Set]} ("[1]\[0]" equivalence)] + ["[0]" list ("[1]#[0]" functor)] + ["[0]" set {"+" [Set]} ("[1]#[0]" equivalence)] [dictionary ["[0]" plist]]]] ["[0]" macro [syntax {"+" [syntax:]}] - ["[0]" code ("[1]\[0]" equivalence)] + ["[0]" code ("[1]#[0]" equivalence)] ["[0]" template]] ["[0]" math - ["[0]" random ("[1]\[0]" functor)] + ["[0]" random ("[1]#[0]" functor)] [number [i8 {"+" []}] [i16 {"+" []}] @@ -42,7 +42,7 @@ ["f" frac] ["[0]" i64]]] ["[0]" meta - ["[0]" location ("[1]\[0]" equivalence)]]]] + ["[0]" location ("[1]#[0]" equivalence)]]]] ... TODO: Must have 100% coverage on tests. ["[0]" / "_" ["[1][0]" abstract] @@ -133,8 +133,8 @@ (not (/.and /.true /.false)) (/.and /.true /.true))) (_.cover [/.not] - (and (bit\= /.true (/.not /.false)) - (bit\= /.false (/.not /.true)))) + (and (bit#= /.true (/.not /.false)) + (bit#= /.false (/.not /.true)))) (_.cover [/.cond] (and (n.= expected (/.cond /.true @@ -238,7 +238,7 @@ (def: static_return 123) -(/.open: "global\[0]" (..global_returner ..static_return)) +(/.open: "global#[0]" (..global_returner ..static_return)) (def: for_interface Test @@ -251,16 +251,16 @@ (_.for [/.Interface] ($_ _.and (_.cover [/.implementation:] - (n.= expected (\ (global_returner expected) return []))) + (n.= expected (# (global_returner expected) return []))) (_.cover [/.implementation] - (n.= expected (\ local_returner return []))) + (n.= expected (# local_returner return []))) (_.cover [/.open:] - (n.= static_return (global\return []))) + (n.= static_return (global#return []))) (_.cover [/.^open] - (let [(/.^open "local\[0]") local_returner] - (n.= expected (local\return [])))) - (_.cover [/.\] - (n.= expected (/.\ local_returner return []))) + (let [(/.^open "local#[0]") local_returner] + (n.= expected (local#return [])))) + (_.cover [/.#] + (n.= expected (/.# local_returner return []))) )))) (def: for_module @@ -268,8 +268,8 @@ ($_ _.and (let [[module short] (/.name_of .example)] (_.cover [/.name_of /.prelude_module] - (and (text\= /.prelude_module module) - (text\= short "example")))) + (and (text#= /.prelude_module module) + (text#= short "example")))) (let [[module short] (/.name_of ..example)] (_.cover [/.module_separator] (and (text.contains? /.module_separator module) @@ -310,28 +310,28 @@ (do random.monad [example_nat random.nat] (_.cover [/.'] - (and (code\= (code.nat 0) (/.' 0)) - (code\= (code.int -1) (/.' -1)) - (code\= (code.rev .2) (/.' .2)) - (code\= (code.frac +3.4) (/.' +3.4)) - (code\= (code.text "5") (/.' "5")) - (code\= (code.identifier ["" "example_identifier"]) + (and (code#= (code.nat 0) (/.' 0)) + (code#= (code.int -1) (/.' -1)) + (code#= (code.rev .2) (/.' .2)) + (code#= (code.frac +3.4) (/.' +3.4)) + (code#= (code.text "5") (/.' "5")) + (code#= (code.identifier ["" "example_identifier"]) (/.' example_identifier)) - (code\= (code.identifier [/.prelude_module "example_identifier"]) + (code#= (code.identifier [/.prelude_module "example_identifier"]) (/.' .example_identifier)) - (code\= (code.identifier [..current_module "example_identifier"]) + (code#= (code.identifier [..current_module "example_identifier"]) (/.' ..example_identifier)) - (code\= (code.form (list (code.nat 6) (code.int +7) (code.rev .8))) + (code#= (code.form (list (code.nat 6) (code.int +7) (code.rev .8))) (/.' (6 +7 .8))) - (code\= (code.variant (list (code.frac +9.0) + (code#= (code.variant (list (code.frac +9.0) (code.text "9") (code.identifier ["" "i8"]))) (/.' {+9.0 "9" i8})) - (code\= (code.tuple (list (code.frac +9.0) + (code#= (code.tuple (list (code.frac +9.0) (code.text "9") (code.identifier ["" "i8"]))) (/.' [+9.0 "9" i8])) - (not (code\= (code.nat example_nat) + (not (code#= (code.nat example_nat) (/.' (~ (code.nat example_nat))))) )))) @@ -340,28 +340,28 @@ (do random.monad [example_nat random.nat] (_.cover [/.`] - (and (code\= (code.nat 0) (/.` 0)) - (code\= (code.int -1) (/.` -1)) - (code\= (code.rev .2) (/.` .2)) - (code\= (code.frac +3.4) (/.` +3.4)) - (code\= (code.text "5") (/.` "5")) - (code\= (code.identifier [..current_module "example_identifier"]) + (and (code#= (code.nat 0) (/.` 0)) + (code#= (code.int -1) (/.` -1)) + (code#= (code.rev .2) (/.` .2)) + (code#= (code.frac +3.4) (/.` +3.4)) + (code#= (code.text "5") (/.` "5")) + (code#= (code.identifier [..current_module "example_identifier"]) (/.` example_identifier)) - (code\= (code.identifier [/.prelude_module "example_identifier"]) + (code#= (code.identifier [/.prelude_module "example_identifier"]) (/.` .example_identifier)) - (code\= (code.identifier [..current_module "example_identifier"]) + (code#= (code.identifier [..current_module "example_identifier"]) (/.` ..example_identifier)) - (code\= (code.form (list (code.nat 6) (code.int +7) (code.rev .8))) + (code#= (code.form (list (code.nat 6) (code.int +7) (code.rev .8))) (/.` (6 +7 .8))) - (code\= (code.variant (list (code.frac +9.0) + (code#= (code.variant (list (code.frac +9.0) (code.text "9") (code.identifier [..current_module "i8"]))) (/.` {+9.0 "9" i8})) - (code\= (code.tuple (list (code.frac +9.0) + (code#= (code.tuple (list (code.frac +9.0) (code.text "9") (code.identifier [..current_module "i8"]))) (/.` [+9.0 "9" i8])) - (code\= (code.nat example_nat) + (code#= (code.nat example_nat) (/.` (~ (code.nat example_nat)))))))) (def: for_code/`' @@ -369,28 +369,28 @@ (do random.monad [example_nat random.nat] (_.cover [/.`'] - (and (code\= (code.nat 0) (/.`' 0)) - (code\= (code.int -1) (/.`' -1)) - (code\= (code.rev .2) (/.`' .2)) - (code\= (code.frac +3.4) (/.`' +3.4)) - (code\= (code.text "5") (/.`' "5")) - (code\= (code.identifier ["" "example_identifier"]) + (and (code#= (code.nat 0) (/.`' 0)) + (code#= (code.int -1) (/.`' -1)) + (code#= (code.rev .2) (/.`' .2)) + (code#= (code.frac +3.4) (/.`' +3.4)) + (code#= (code.text "5") (/.`' "5")) + (code#= (code.identifier ["" "example_identifier"]) (/.`' example_identifier)) - (code\= (code.identifier [/.prelude_module "example_identifier"]) + (code#= (code.identifier [/.prelude_module "example_identifier"]) (/.`' .example_identifier)) - (code\= (code.identifier [..current_module "example_identifier"]) + (code#= (code.identifier [..current_module "example_identifier"]) (/.`' ..example_identifier)) - (code\= (code.form (list (code.nat 6) (code.int +7) (code.rev .8))) + (code#= (code.form (list (code.nat 6) (code.int +7) (code.rev .8))) (/.`' (6 +7 .8))) - (code\= (code.variant (list (code.frac +9.0) + (code#= (code.variant (list (code.frac +9.0) (code.text "9") (code.identifier ["" "i8"]))) (/.`' {+9.0 "9" i8})) - (code\= (code.tuple (list (code.frac +9.0) + (code#= (code.tuple (list (code.frac +9.0) (code.text "9") (code.identifier ["" "i8"]))) (/.`' [+9.0 "9" i8])) - (code\= (code.nat example_nat) + (code#= (code.nat example_nat) (/.`' (~ (code.nat example_nat)))))))) (def: for_code @@ -408,11 +408,11 @@ (_.cover [/.Ann] (|> example (value@ /.#meta) - (location\= location.dummy))) + (location#= location.dummy))) ))) (/.macro: (identity_macro tokens) - (\ meta.monad in tokens)) + (# meta.monad in tokens)) (def: crosshair "This is an arbitrary text whose only purpose is to be found, somewhere, in the source-code.") @@ -469,7 +469,7 @@ expected_left random.nat expected_right random.nat - .let [existential_type (\ ! each (|>> {.#Ex}) random.nat)] + .let [existential_type (# ! each (|>> {.#Ex}) random.nat)] expected/0 existential_type expected/1 existential_type] (<| (_.for [/.Type]) @@ -609,7 +609,7 @@ [0] [1] [2] )))] (and (n.= 3 (list.size bits)) - (list.every? (bit\= true) bits)))) + (list.every? (bit#= true) bits)))) (do random.monad [left random.nat right random.nat] @@ -617,7 +617,7 @@ (n.= (n.+ left right) (!n/+ left right)))) (do [! random.monad] - [sample (\ ! each (n.% 5) random.nat)] + [sample (# ! each (n.% 5) random.nat)] (_.cover [/.^template] (case sample (/.^template [] @@ -646,7 +646,7 @@ (_.cover [/.char] (|> (`` (/.char (~~ (/.static static_char)))) text.of_char - (text\= static_char))) + (text#= static_char))) ))) (type: Small @@ -759,9 +759,9 @@ left mid right)] - (and (text\= + (and (text#= ) - (not (code\= (' ) + (not (code#= (' ) (' )))))))) (def: for_expansion @@ -898,8 +898,8 @@ (def: for_case Test (do [! random.monad] - [expected_nat (\ ! each (n.% 1) random.nat) - expected_int (\ ! each (i.% +1) random.int) + [expected_nat (# ! each (n.% 1) random.nat) + expected_int (# ! each (i.% +1) random.int) expected_rev (random.either (in .5) (in .25)) expected_frac (random.either (in +0.5) @@ -1006,8 +1006,8 @@ Test ($_ _.and (do random.monad - [factor (random\each (|>> (n.% 10) (n.max 1)) random.nat) - iterations (random\each (n.% 10) random.nat) + [factor (random#each (|>> (n.% 10) (n.max 1)) random.nat) + iterations (random#each (n.% 10) random.nat) .let [expected (n.* factor iterations)]] (_.cover [/.loop] (n.= expected @@ -1090,8 +1090,8 @@ (_.cover [/.public /.private] (and /.public (not /.private))) (_.cover [/.global /.local] - (and (bit\= /.public /.global) - (bit\= /.private /.local))) + (and (bit#= /.public /.global) + (bit#= /.private /.local))) )) (for [@.old (as_is)] @@ -1115,12 +1115,12 @@ let/3)) actual_locals/2 (|> locals/2 (value@ .#mappings) - (list\each product.left) + (list#each product.left) (set.of_list text.hash)) correct_locals! (and (n.= 4 (value@ .#counter locals/2)) - (set\= expected_locals/2 + (set#= expected_locals/2 actual_locals/2)) captured/2 (value@ .#captured scope/2) @@ -1137,7 +1137,7 @@ (|> captured/2 (value@ .#mappings) (plist.value name) - (maybe\each (|>> product.right is?)) + (maybe#each (|>> product.right is?)) (maybe.else false)))) correct_closure! -- cgit v1.2.3