diff options
Diffstat (limited to 'stdlib/source/test/lux/meta/type.lux')
| -rw-r--r-- | stdlib/source/test/lux/meta/type.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/meta/type.lux b/stdlib/source/test/lux/meta/type.lux index 59ca03061..86359c7de 100644 --- a/stdlib/source/test/lux/meta/type.lux +++ b/stdlib/source/test/lux/meta/type.lux @@ -100,7 +100,7 @@ expected_middle ..primitive expected_right ..primitive] (`` (all _.and - (~~ (with_template [<parser> <exception> <good_constructor> <bad_constructor>] + (,, (with_template [<parser> <exception> <good_constructor> <bad_constructor>] [(_.coverage [<parser> <exception>] (and (|> (\\parser.result (<parser> (all <>.and \\parser.any \\parser.any \\parser.any)) (<good_constructor> (list expected_left expected_middle expected_right))) @@ -282,7 +282,7 @@ (do [! random.monad] [expected ..primitive] (_.coverage [\\parser.empty_input] - (`` (and (~~ (with_template [<parser>] + (`` (and (,, (with_template [<parser>] [(|> (\\parser.result (do <>.monad [_ \\parser.any] <parser>) @@ -411,7 +411,7 @@ .let [(open "/#[0]") /.equivalence (open "list#[0]") (list.equivalence /.equivalence)]] (`` (all _.and - (~~ (with_template [<ctor> <dtor> <unit>] + (,, (with_template [<ctor> <dtor> <unit>] [(_.coverage [<ctor> <dtor>] (let [flat (|> members <ctor> <dtor>)] (or (list#= members flat) @@ -464,7 +464,7 @@ #1)))) .let [(open "/#[0]") /.equivalence]] (`` (all _.and - (~~ (with_template [<ctor> <dtor>] + (,, (with_template [<ctor> <dtor>] [(_.coverage [<ctor> <dtor>] (let [[flat_size flat_body] (|> body_type (<ctor> size) <dtor>)] (and (n.= size flat_size) |