aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux.lux')
-rw-r--r--stdlib/source/test/lux.lux146
1 files changed, 73 insertions, 73 deletions
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 [<case>]
@@ -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\= <left_association>
+ (and (text#= <left_association>
<right_association>)
- (not (code\= (' <left_association>)
+ (not (code#= (' <left_association>)
(' <right_association>))))))))
(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!
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 01:40:01 +0000