aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/data
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/data')
-rw-r--r--stdlib/source/test/lux/data/binary.lux16
-rw-r--r--stdlib/source/test/lux/data/collection/list.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/set/multi.lux2
-rw-r--r--stdlib/source/test/lux/data/collection/set/ordered.lux4
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux2
-rw-r--r--stdlib/source/test/lux/data/color.lux6
-rw-r--r--stdlib/source/test/lux/data/color/named.lux6
-rw-r--r--stdlib/source/test/lux/data/format/json.lux6
-rw-r--r--stdlib/source/test/lux/data/format/tar.lux6
-rw-r--r--stdlib/source/test/lux/data/format/xml.lux4
-rw-r--r--stdlib/source/test/lux/data/text.lux12
-rw-r--r--stdlib/source/test/lux/data/text/encoding.lux6
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux4
-rw-r--r--stdlib/source/test/lux/data/text/regex.lux8
-rw-r--r--stdlib/source/test/lux/data/text/unicode/block.lux6
-rw-r--r--stdlib/source/test/lux/data/text/unicode/set.lux2
16 files changed, 46 insertions, 46 deletions
diff --git a/stdlib/source/test/lux/data/binary.lux b/stdlib/source/test/lux/data/binary.lux
index 4fde0e1f9..d3fcc968a 100644
--- a/stdlib/source/test/lux/data/binary.lux
+++ b/stdlib/source/test/lux/data/binary.lux
@@ -135,7 +135,7 @@
Test
(<| (_.for [\\parser.Size])
(`` (all _.and
- (~~ (with_template [<size> <parser> <format>]
+ (,, (with_template [<size> <parser> <format>]
[(do [! random.monad]
[expected (at ! each (i64.and (i64.mask <size>))
random.nat)]
@@ -155,7 +155,7 @@
(def binary
Test
(`` (all _.and
- (~~ (with_template [<parser> <format>]
+ (,, (with_template [<parser> <format>]
[(do [! random.monad]
[expected (at ! each (at utf8.codec encoded) (random.ascii ..segment_size))]
(_.coverage [<parser> <format>]
@@ -173,7 +173,7 @@
(def utf8
Test
(`` (all _.and
- (~~ (with_template [<parser> <format>]
+ (,, (with_template [<parser> <format>]
[(do [! random.monad]
[expected (random.ascii ..segment_size)]
(_.coverage [<parser> <format>]
@@ -192,7 +192,7 @@
(def sequence
Test
(`` (all _.and
- (~~ (with_template [<parser> <format>]
+ (,, (with_template [<parser> <format>]
[(do [! random.monad]
[expected (random.sequence ..segment_size random.nat)]
(_.coverage [<parser> <format>]
@@ -211,7 +211,7 @@
(def simple
Test
(`` (all _.and
- (~~ (with_template [<parser> <format> <random> <equivalence>]
+ (,, (with_template [<parser> <format> <random> <equivalence>]
[(do [! random.monad]
[expected <random>]
(_.coverage [<parser> <format>]
@@ -250,7 +250,7 @@
(def complex
Test
(`` (all _.and
- (~~ (with_template [<parser> <format> <random> <equivalence>]
+ (,, (with_template [<parser> <format> <random> <equivalence>]
[(do [! random.monad]
[expected <random>]
(_.coverage [<parser> <format>]
@@ -264,7 +264,7 @@
[\\parser.code \\format.code random_code code.equivalence]
[\\parser.type \\format.type random_type type.equivalence]
))
- (~~ (with_template [<parser_coverage> <parser> <coverage_format> <format> <random> <equivalence>]
+ (,, (with_template [<parser_coverage> <parser> <coverage_format> <format> <random> <equivalence>]
[(do [! random.monad]
[expected <random>]
(_.coverage [<parser_coverage> <coverage_format>]
@@ -494,7 +494,7 @@
(!.= (!.empty size) (!.empty size)))
(_.coverage [!.size]
(|> (!.empty size) !.size (n.= size)))
- (~~ (with_template [<power> <bytes/?> <has/?>]
+ (,, (with_template [<power> <bytes/?> <has/?>]
[(_.coverage [<bytes/?> <has/?>]
(let [bytes (i64.left_shifted <power> 1)
binary (!.empty bytes)
diff --git a/stdlib/source/test/lux/data/collection/list.lux b/stdlib/source/test/lux/data/collection/list.lux
index c90d09e27..2e5734c23 100644
--- a/stdlib/source/test/lux/data/collection/list.lux
+++ b/stdlib/source/test/lux/data/collection/list.lux
@@ -246,7 +246,7 @@
(_.coverage [/.member?]
(/.every? (/.member? n.equivalence sample)
sample))
- (~~ (with_template [<head> <tail> <pre>]
+ (,, (with_template [<head> <tail> <pre>]
[(all _.and
(_.coverage [<head>]
(case [(<pre> sample) (<head> sample)]
diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux
index a0dd01e06..64b07d09c 100644
--- a/stdlib/source/test/lux/data/collection/set/multi.lux
+++ b/stdlib/source/test/lux/data/collection/set/multi.lux
@@ -59,7 +59,7 @@
sample (..random diversity n.hash ..count random.nat)
another (..random diversity n.hash ..count random.nat)]
(`` (all _.and
- (~~ (with_template [<name> <composition>]
+ (,, (with_template [<name> <composition>]
[(_.coverage [<name>]
(let [|sample| (/.support sample)
|another| (/.support another)
diff --git a/stdlib/source/test/lux/data/collection/set/ordered.lux b/stdlib/source/test/lux/data/collection/set/ordered.lux
index 8827b719f..51688a128 100644
--- a/stdlib/source/test/lux/data/collection/set/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/set/ordered.lux
@@ -71,7 +71,7 @@
(|> setL
/.list (/.of_list n.order)
(/#= setL)))
- (~~ (with_template [<coverage> <comparison>]
+ (,, (with_template [<coverage> <comparison>]
[(_.coverage [<coverage>]
(case (<coverage> setL)
{.#Some value}
@@ -123,7 +123,7 @@
(and self!
empty!
symmetry!)))
- (~~ (with_template [<coverage> <relation> <empty?>]
+ (,, (with_template [<coverage> <relation> <empty?>]
[(_.coverage [<coverage>]
(let [self!
(at /.equivalence =
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index f03c2725f..aec7a93e5 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -171,7 +171,7 @@
(do [! random.monad]
[dummy random.nat]
(_.coverage [\\parser.cannot_move_further]
- (`` (and (~~ (with_template [<parser>]
+ (`` (and (,, (with_template [<parser>]
[(|> (\\parser.result <parser>
(/.leaf dummy))
(!expect (^.multi {try.#Failure error}
diff --git a/stdlib/source/test/lux/data/color.lux b/stdlib/source/test/lux/data/color.lux
index aa77f88f9..fa4d1f9d3 100644
--- a/stdlib/source/test/lux/data/color.lux
+++ b/stdlib/source/test/lux/data/color.lux
@@ -140,7 +140,7 @@
spread (at ! each (|>> f.abs (f.% spread_space) (f.+ min_spread))
random.safe_frac)]
(`` (all _.and
- (~~ (with_template [<brightness> <palette>]
+ (,, (with_template [<brightness> <palette>]
[(_.coverage [<palette>]
(let [eB <brightness>
expected (/.of_hsb [eH eS eB])
@@ -150,7 +150,7 @@
[+1.0 /.analogous]
[+0.5 /.monochromatic]
))
- (~~ (with_template [<palette>]
+ (,, (with_template [<palette>]
[(_.coverage [<palette>]
(let [expected (/.of_hsb [eH eS +0.5])
[c0 c1 c2] (<palette> expected)]
@@ -161,7 +161,7 @@
[/.triad]
[/.clash]
[/.split_complement]))
- (~~ (with_template [<palette>]
+ (,, (with_template [<palette>]
[(_.coverage [<palette>]
(let [expected (/.of_hsb [eH eS +0.5])
[c0 c1 c2 c3] (<palette> expected)]
diff --git a/stdlib/source/test/lux/data/color/named.lux b/stdlib/source/test/lux/data/color/named.lux
index 49aeb9f7f..d98340a31 100644
--- a/stdlib/source/test/lux/data/color/named.lux
+++ b/stdlib/source/test/lux/data/color/named.lux
@@ -201,10 +201,10 @@
/.yellow_green]]
)]
(def all_colors
- (list.together (`` (list (~~ (with_template [<definition> <by_letter>]
+ (list.together (`` (list (,, (with_template [<definition> <by_letter>]
[((is (-> Any (List //.Color))
(function (_ _)
- (`` (list (~~ (template.spliced <by_letter>))))))
+ (`` (list (,, (template.spliced <by_letter>))))))
123)]
<colors>))))))
@@ -228,7 +228,7 @@
Test
(<| (_.covering /._)
(`` (all _.and
- (~~ (with_template [<definition> <by_letter>]
+ (,, (with_template [<definition> <by_letter>]
[<definition>]
<colors>))
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 7177b268d..bfc2b7d89 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -77,7 +77,7 @@
(_.coverage [\\parser.null]
(|> (\\parser.result \\parser.null {/.#Null})
(!expect {try.#Success _})))
- (~~ (with_template [<query> <test> <check> <random> <json> <equivalence>]
+ (,, (with_template [<query> <test> <check> <random> <json> <equivalence>]
[(do [! random.monad]
[expected <random>
dummy (|> <random> (random.only (|>> (at <equivalence> = expected) not)))]
@@ -368,7 +368,7 @@
true)]]
(in (and can_find_known_key!
cannot_find_unknown_key!))))))
- (~~ (with_template [<type> <field> <tag> <random> <equivalence>]
+ (,, (with_template [<type> <field> <tag> <random> <equivalence>]
[(do random.monad
[key (random.alphabetic 1)
value <random>]
@@ -400,7 +400,7 @@
<key6> (string)]
(_.coverage [/.json]
(and (/#= {/.#Null} (/.json ()))
- (~~ (with_template [<tag> <value>]
+ (,, (with_template [<tag> <value>]
[(/#= {<tag> <value>} (/.json <value>))]
[/.#Boolean <boolean>]
diff --git a/stdlib/source/test/lux/data/format/tar.lux b/stdlib/source/test/lux/data/format/tar.lux
index 349149b22..4a4426fd9 100644
--- a/stdlib/source/test/lux/data/format/tar.lux
+++ b/stdlib/source/test/lux/data/format/tar.lux
@@ -166,7 +166,7 @@
text.together
(at utf8.codec encoded))]]
(`` (all _.and
- (~~ (with_template [<type> <tag>]
+ (,, (with_template [<type> <tag>]
[(_.coverage [<type>]
(|> (do try.monad
[expected_path (/.path expected_path)
@@ -187,7 +187,7 @@
))
(_.for [/.File /.Content /.content /.data]
(all _.and
- (~~ (with_template [<type> <tag>]
+ (,, (with_template [<type> <tag>]
[(_.coverage [<type>]
(|> (do try.monad
[expected_path (/.path expected_path)
@@ -268,7 +268,7 @@
_
false)))
(try.else false)))
- (~~ (with_template [<expected_mode>]
+ (,, (with_template [<expected_mode>]
[(_.coverage [<expected_mode>]
(|> (do try.monad
[path (/.path path)
diff --git a/stdlib/source/test/lux/data/format/xml.lux b/stdlib/source/test/lux/data/format/xml.lux
index a01fab3e8..dfdc7ac0e 100644
--- a/stdlib/source/test/lux/data/format/xml.lux
+++ b/stdlib/source/test/lux/data/format/xml.lux
@@ -47,7 +47,7 @@
(do [! random.monad]
[expected (random.alphabetic 1)]
(_.coverage [<exception>]
- (`` (and (~~ (with_template [<parser> <input>]
+ (`` (and (,, (with_template [<parser> <input>]
[(|> (\\parser.result <parser> (list <input>))
(!expect (^.multi {try.#Failure error}
(exception.match? <exception> error))))]
@@ -237,7 +237,7 @@
(do [! random.monad]
[(^.let symbol [namespace name]) ..symbol]
(`` (all _.and
- (~~ (with_template [<type> <format>]
+ (,, (with_template [<type> <format>]
[(_.coverage [<type> <format>]
(and (text#= name (<format> ["" name]))
(let [symbol (<format> symbol)]
diff --git a/stdlib/source/test/lux/data/text.lux b/stdlib/source/test/lux/data/text.lux
index 04c67ac15..ef8bf11ec 100644
--- a/stdlib/source/test/lux/data/text.lux
+++ b/stdlib/source/test/lux/data/text.lux
@@ -99,7 +99,7 @@
(def codec
Test
(`` (all _.and
- (~~ (with_template [<format> <codec> <random>]
+ (,, (with_template [<format> <codec> <random>]
[(do random.monad
[sample <random>]
(_.coverage [<format>]
@@ -165,7 +165,7 @@
(/#= (\\format.format left mid right)
(all "lux text concat" left mid right))))
..codec
- (~~ (with_template [<format> <alias> <random>]
+ (,, (with_template [<format> <alias> <random>]
[(do random.monad
[sample <random>]
(_.coverage [<format>]
@@ -651,7 +651,7 @@
.let [full (at /.monoid composite inner outer)
fake_index (-- 0)]]
(`` (all _.and
- (~~ (with_template [<affix> <predicate>]
+ (,, (with_template [<affix> <predicate>]
[(_.coverage [<affix> <predicate>]
(<predicate> outer (<affix> outer inner)))]
@@ -721,7 +721,7 @@
(all _.and
(_.for [/.Char /.of_char]
(`` (all _.and
- (~~ (with_template [<short> <long>]
+ (,, (with_template [<short> <long>]
[(_.coverage [<short> <long>]
(at /.equivalence = <short> <long>))]
@@ -755,8 +755,8 @@
{.#None}
false)))
(_.coverage [/.space /.space?]
- (`` (and (~~ (with_template [<char>]
- [(/.space? (`` (.char (~~ (static <char>)))))]
+ (`` (and (,, (with_template [<char>]
+ [(/.space? (`` (.char (,, (static <char>)))))]
[/.tab]
[/.vertical_tab]
diff --git a/stdlib/source/test/lux/data/text/encoding.lux b/stdlib/source/test/lux/data/text/encoding.lux
index 15c1b5bbb..47a1ddbb7 100644
--- a/stdlib/source/test/lux/data/text/encoding.lux
+++ b/stdlib/source/test/lux/data/text/encoding.lux
@@ -185,7 +185,7 @@
<named> (with_template [<definition> <by_letter>]
[((is (-> Any (List /.Encoding))
(function (_ _)
- (`` (list (~~ (template.spliced <by_letter>))))))
+ (`` (list (,, (template.spliced <by_letter>))))))
[])]
<encodings>)]
@@ -205,7 +205,7 @@
(with_template [<definition> <by_letter>]
[(def <definition>
Test
- (`` (_.coverage [/.name (~~ (template.spliced <by_letter>))]
+ (`` (_.coverage [/.name (,, (template.spliced <by_letter>))]
..verdict)))]
<encodings>)
@@ -222,7 +222,7 @@
(<| (_.covering /._)
(_.for [/.Encoding])
(`` (all _.and
- (~~ (with_template [<definition> <by_letter>]
+ (,, (with_template [<definition> <by_letter>]
[<definition>]
<encodings>))
diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux
index 94808d95b..da90e8f24 100644
--- a/stdlib/source/test/lux/data/text/escape.lux
+++ b/stdlib/source/test/lux/data/text/escape.lux
@@ -88,7 +88,7 @@
(do random.monad
[ascii ..ascii_range]
(_.coverage [/.escapable?]
- (`` (if (or (~~ (with_template [<char>]
+ (`` (if (or (,, (with_template [<char>]
[(n.= (debug.private <char>) ascii)]
[/.\0] [/.\a] [/.\b] [/.\t]
@@ -155,5 +155,5 @@
(!invalid code)))))
(_.coverage [/.literal]
(with_expansions [<example> (..static_sample)]
- (text#= <example> (`` (/.literal (~~ (..static_escaped <example>)))))))
+ (text#= <example> (`` (/.literal (,, (..static_escaped <example>)))))))
)))
diff --git a/stdlib/source/test/lux/data/text/regex.lux b/stdlib/source/test/lux/data/text/regex.lux
index 4d480632b..5dabc0a9b 100644
--- a/stdlib/source/test/lux/data/text/regex.lux
+++ b/stdlib/source/test/lux/data/text/regex.lux
@@ -60,13 +60,13 @@
regex <code>.any
input <code>.any])
(macro.with_symbols [g!message g!_]
- (in (list (` (|> (~ input)
- (<text>.result (~ regex))
+ (in (list (` (|> (, input)
+ (<text>.result (, regex))
(pipe.case
- (pattern {try.#Success (~ pattern)})
+ (pattern {try.#Success (, pattern)})
true
- (~ g!_)
+ (, g!_)
false))))))))
(def basics
diff --git a/stdlib/source/test/lux/data/text/unicode/block.lux b/stdlib/source/test/lux/data/text/unicode/block.lux
index ff4c5b773..7149a441c 100644
--- a/stdlib/source/test/lux/data/text/unicode/block.lux
+++ b/stdlib/source/test/lux/data/text/unicode/block.lux
@@ -149,14 +149,14 @@
<named> (with_template [<definition> <part>]
[((is (-> Any (List /.Block))
(function (_ _)
- (`` (list (~~ (template.spliced <part>))))))
+ (`` (list (,, (template.spliced <part>))))))
[])]
<blocks>)]
(with_template [<definition> <part>]
[(def <definition>
Test
- (`` (_.coverage [(~~ (template.spliced <part>))]
+ (`` (_.coverage [(,, (template.spliced <part>))]
(let [all (list.together (list <named>))
unique (set.of_list /.hash all)]
(n.= (list.size all)
@@ -205,7 +205,7 @@
(and (/.within? sample inside)
(not (/.within? sample (-- (/.start sample))))
(not (/.within? sample (++ (/.end sample))))))
- (~~ (with_template [<definition> <part>]
+ (,, (with_template [<definition> <part>]
[<definition>]
<blocks>))))
diff --git a/stdlib/source/test/lux/data/text/unicode/set.lux b/stdlib/source/test/lux/data/text/unicode/set.lux
index da4ea8e60..bdca45423 100644
--- a/stdlib/source/test/lux/data/text/unicode/set.lux
+++ b/stdlib/source/test/lux/data/text/unicode/set.lux
@@ -73,7 +73,7 @@
(n.= (n.max (block.end left)
(block.end right))
(/.end composed)))))
- (~~ (with_template [<set>]
+ (,, (with_template [<set>]
[(do random.monad
[char (random.char <set>)
.let [start (/.start <set>)
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 04:47:44 +0000