aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/meta.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/test/lux/meta.lux104
1 files changed, 52 insertions, 52 deletions
diff --git a/stdlib/source/test/lux/meta.lux b/stdlib/source/test/lux/meta.lux
index 87823e85a..9c162b1fe 100644
--- a/stdlib/source/test/lux/meta.lux
+++ b/stdlib/source/test/lux/meta.lux
@@ -77,12 +77,12 @@
.#host []]]]
(all _.and
(_.coverage [/.result]
- (|> (# /.monad in expected)
+ (|> (at /.monad in expected)
(/.result expected_lux)
(!expect (^.multi {try.#Success actual}
(n.= expected actual)))))
(_.coverage [/.result']
- (|> (# /.monad in expected)
+ (|> (at /.monad in expected)
(/.result' expected_lux)
(!expect (^.multi {try.#Success [actual_lux actual]}
(and (same? expected_lux actual_lux)
@@ -152,7 +152,7 @@
(!expect (^.multi {try.#Failure actual_error}
(text#= expected_error actual_error))))))
(_.coverage [/.either]
- (and (|> (/.either (# /.monad in expected)
+ (and (|> (/.either (at /.monad in expected)
(is (Meta Nat)
(/.failure expected_error)))
(/.result expected_lux)
@@ -160,7 +160,7 @@
(n.= expected actual))))
(|> (/.either (is (Meta Nat)
(/.failure expected_error))
- (# /.monad in expected))
+ (at /.monad in expected))
(/.result expected_lux)
(!expect (^.multi {try.#Success actual}
(n.= expected actual))))
@@ -172,8 +172,8 @@
(!expect (^.multi {try.#Failure actual_error}
(text#= (location.with location.dummy expected_error)
actual_error))))
- (|> (/.either (# /.monad in expected)
- (# /.monad in dummy))
+ (|> (/.either (at /.monad in expected)
+ (at /.monad in dummy))
(/.result expected_lux)
(!expect (^.multi {try.#Success actual}
(n.= expected actual))))
@@ -184,7 +184,7 @@
(!expect (^.multi {try.#Success {try.#Failure actual_error}}
(text#= (location.with location.dummy expected_error)
actual_error))))
- (|> (/.try (# /.monad in expected))
+ (|> (/.try (at /.monad in expected))
(/.result expected_lux)
(!expect (^.multi {try.#Success {try.#Success actual}}
(same? expected actual))))))
@@ -272,13 +272,13 @@
(_.coverage [/.imported_modules]
(and (|> (/.imported_modules expected_current_module)
(/.result expected_lux)
- (try#each (# (list.equivalence text.equivalence) =
- (list imported_module_name)))
+ (try#each (at (list.equivalence text.equivalence) =
+ (list imported_module_name)))
(try.else false))
(|> (/.imported_modules imported_module_name)
(/.result expected_lux)
- (try#each (# (list.equivalence text.equivalence) =
- (list)))
+ (try#each (at (list.equivalence text.equivalence) =
+ (list)))
(try.else false))))
(_.coverage [/.imported_by?]
(|> (/.imported_by? imported_module_name expected_current_module)
@@ -314,9 +314,9 @@
version (random.upper_case 1)
source_code (random.upper_case 1)
expected_current_module (random.upper_case 1)
- expected_type (# ! each (function (_ name)
- {.#Primitive name (list)})
- (random.upper_case 1))
+ expected_type (at ! each (function (_ name)
+ {.#Primitive name (list)})
+ (random.upper_case 1))
expected_seed random.nat
expected random.nat
dummy (random.only (|>> (n.= expected) not) random.nat)
@@ -379,9 +379,9 @@
expected_macro_module (random.only (|>> (text#= expected_current_module) not)
(random.upper_case 1))
expected_short (random.upper_case 1)
- expected_type (# ! each (function (_ name)
- {.#Primitive name (list)})
- (random.upper_case 1))
+ expected_type (at ! each (function (_ name)
+ {.#Primitive name (list)})
+ (random.upper_case 1))
expected_value (random.either (in .def:)
(in .macro:))
.let [expected_lux
@@ -495,9 +495,9 @@
expected_macro_module (random.only (|>> (text#= expected_current_module) not)
(random.upper_case 1))
expected_short (random.upper_case 1)
- expected_type (# ! each (function (_ name)
- {.#Primitive name (list)})
- (random.upper_case 1))
+ expected_type (at ! each (function (_ name)
+ {.#Primitive name (list)})
+ (random.upper_case 1))
expected_value (random.either (in .def:)
(in .macro:))
.let [expected_lux
@@ -672,15 +672,15 @@
name_1 (random.only (|>> (text#= name_0) not)
(random.upper_case 1))
- .let [random_tag (# ! each (|>> [label_module])
- (random.upper_case 1))
+ .let [random_tag (at ! each (|>> [label_module])
+ (random.upper_case 1))
random_labels (is (Random [Text (List Text)])
(do !
[head (random.lower_case 5)]
(|> (random.lower_case 5)
(random.only (|>> (text#= head) not))
(random.set text.hash 3)
- (# ! each set.list)
+ (at ! each set.list)
(random.and (in head)))))]
tags_0 random_labels
tags_1 (let [set/0 (set.of_list text.hash {.#Item tags_0})]
@@ -740,15 +740,15 @@
type.equivalence))]
(|> (/.tag_lists label_module)
(/.result expected_lux)
- (try#each (# equivalence = (list [(list#each (|>> [label_module]) {.#Item tags_0})
- type_0]
- [(list#each (|>> [label_module]) {.#Item tags_1})
- type_1])))
+ (try#each (at equivalence = (list [(list#each (|>> [label_module]) {.#Item tags_0})
+ type_0]
+ [(list#each (|>> [label_module]) {.#Item tags_1})
+ type_1])))
(try.else false))))
(_.coverage [/.tags_of]
(|> (/.tags_of [label_module name_1])
(/.result expected_lux)
- (try#each (# (maybe.equivalence (list.equivalence symbol.equivalence)) = {.#Some (list#each (|>> [label_module]) {.#Item tags_1})}))
+ (try#each (at (maybe.equivalence (list.equivalence symbol.equivalence)) = {.#Some (list#each (|>> [label_module]) {.#Item tags_1})}))
(try.else false)))
(_.coverage [/.tag]
(|> {.#Item tags_0}
@@ -763,9 +763,9 @@
actual_index)
correct_tags!
- (# (list.equivalence symbol.equivalence) =
- (list#each (|>> [label_module]) {.#Item tags_0})
- actual_tags)
+ (at (list.equivalence symbol.equivalence) =
+ (list#each (|>> [label_module]) {.#Item tags_0})
+ actual_tags)
correct_type!
(type#= type_0
@@ -787,9 +787,9 @@
actual_index)
correct_tags!
- (# (list.equivalence symbol.equivalence) =
- (list#each (|>> [label_module]) {.#Item tags_1})
- actual_tags)
+ (at (list.equivalence symbol.equivalence) =
+ (list#each (|>> [label_module]) {.#Item tags_1})
+ actual_tags)
correct_type!
(type#= type_1
@@ -806,7 +806,7 @@
[current_module (random.upper_case 1)
[name_0 name_1 name_2 name_3 name_4] (|> (random.upper_case 1)
(random.set text.hash 5)
- (# ! each set.list)
+ (at ! each set.list)
(random.one (function (_ values)
(case values
(pattern (list name_0 name_1 name_2 name_3 name_4))
@@ -878,57 +878,57 @@
type.equivalence))))]
(|> /.locals
(/.result expected_lux)
- (try#each (# equivalence = (list (list [name_3 type_3])
- (list [name_1 type_1]
- [name_2 type_2]))))
+ (try#each (at equivalence = (list (list [name_3 type_3])
+ (list [name_1 type_1]
+ [name_2 type_2]))))
(try.else false))))
(_.coverage [/.var_type]
(and (|> (/.var_type name_0)
(/.result expected_lux)
- (try#each (# type.equivalence = type_0))
+ (try#each (at type.equivalence = type_0))
(try.else false))
(|> (/.var_type name_1)
(/.result expected_lux)
- (try#each (# type.equivalence = type_1))
+ (try#each (at type.equivalence = type_1))
(try.else false))
(|> (/.var_type name_2)
(/.result expected_lux)
- (try#each (# type.equivalence = type_2))
+ (try#each (at type.equivalence = type_2))
(try.else false))
(|> (/.var_type name_3)
(/.result expected_lux)
- (try#each (# type.equivalence = type_3))
+ (try#each (at type.equivalence = type_3))
(try.else false))))
(_.coverage [/.type]
(and (|> (/.type ["" name_0])
(/.result expected_lux)
- (try#each (# type.equivalence = type_0))
+ (try#each (at type.equivalence = type_0))
(try.else false))
(|> (/.type ["" name_1])
(/.result expected_lux)
- (try#each (# type.equivalence = type_1))
+ (try#each (at type.equivalence = type_1))
(try.else false))
(|> (/.type ["" name_2])
(/.result expected_lux)
- (try#each (# type.equivalence = type_2))
+ (try#each (at type.equivalence = type_2))
(try.else false))
(|> (/.type ["" name_3])
(/.result expected_lux)
- (try#each (# type.equivalence = type_3))
+ (try#each (at type.equivalence = type_3))
(try.else false))
(|> (/.type [current_module name_4])
(/.result expected_lux)
- (try#each (# type.equivalence = type_4))
+ (try#each (at type.equivalence = type_4))
(try.else false))
(|> (/.type ["" name_4])
(/.result expected_lux)
- (try#each (# type.equivalence = type_4))
+ (try#each (at type.equivalence = type_4))
(try.else false))))
)))
(def: injection
(Injection Meta)
- (# /.monad in))
+ (at /.monad in))
(def: (comparison init)
(-> Lux (Comparison Meta))
@@ -951,9 +951,9 @@
version (random.upper_case 1)
source_code (random.upper_case 1)
expected_current_module (random.upper_case 1)
- expected_type (# ! each (function (_ name)
- {.#Primitive name (list)})
- (random.upper_case 1))
+ expected_type (at ! each (function (_ name)
+ {.#Primitive name (list)})
+ (random.upper_case 1))
expected_seed random.nat
expected random.nat
dummy (random.only (|>> (n.= expected) not) random.nat)
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 01:58:30 +0000