diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type.lux | 6 | ||||
-rw-r--r-- | stdlib/source/test/lux/type/check.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux/type/dynamic.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux/type/implicit.lux | 4 | ||||
-rw-r--r-- | stdlib/source/test/lux/type/resource.lux | 4 |
5 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index 6840807f7..c3931c331 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -1,6 +1,6 @@ (.module: [lux (#- type) - data/text/format + ["%" data/text/format (#+ format)] ["M" abstract/monad (#+ do)] ["r" math/random (#+ Random)] ["_" test (#+ Test)] @@ -51,7 +51,7 @@ (def: #export test Test - (<| (_.context (%name (name-of /._))) + (<| (_.context (%.name (name-of /._))) ($_ _.and (do r.monad [sample ..type] @@ -152,7 +152,7 @@ ["existentially-quantified" /.ex-q /.flatten-ex-q] )) ))) - (_.test (%name (name-of /.:by-example)) + (_.test (%.name (name-of /.:by-example)) (let [example (: (Maybe Nat) #.None)] (/@= (.type (List Nat)) diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index 9d511d5ae..d3d0570a1 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -1,6 +1,6 @@ (.module: [lux (#- type) - data/text/format + ["%" data/text/format (#+ format)] ["r" math/random (#+ Random)] ["_" test (#+ Test)] [abstract @@ -94,7 +94,7 @@ (def: #export test Test - (<| (_.context (%name (name-of /._))) + (<| (_.context (%.name (name-of /._))) ($_ _.and (do r.monad [sample (|> ..type (r.filter valid-type?))] diff --git a/stdlib/source/test/lux/type/dynamic.lux b/stdlib/source/test/lux/type/dynamic.lux index 4e1bea6a8..5baccd9dc 100644 --- a/stdlib/source/test/lux/type/dynamic.lux +++ b/stdlib/source/test/lux/type/dynamic.lux @@ -1,6 +1,6 @@ (.module: [lux #* - data/text/format + ["%" data/text/format (#+ format)] [abstract/monad (#+ do)] ["r" math/random (#+ Random)] ["_" test (#+ Test)] @@ -11,7 +11,7 @@ (def: #export test Test - (<| (_.context (%name (name-of /._))) + (<| (_.context (%.name (name-of /._))) (do r.monad [expected r.nat #let [value (:dynamic expected)]] diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux index 372f544f7..34b8b68c9 100644 --- a/stdlib/source/test/lux/type/implicit.lux +++ b/stdlib/source/test/lux/type/implicit.lux @@ -1,6 +1,6 @@ (.module: [lux #* - data/text/format + ["%" data/text/format (#+ format)] ["r" math/random (#+ Random)] ["_" test (#+ Test)] [abstract/monad (#+ do)] @@ -18,7 +18,7 @@ (def: #export test Test - (<| (_.context (%name (name-of /._))) + (<| (_.context (%.name (name-of /._))) (do r.monad [x r.nat y r.nat] diff --git a/stdlib/source/test/lux/type/resource.lux b/stdlib/source/test/lux/type/resource.lux index 92b085e6a..637f0a564 100644 --- a/stdlib/source/test/lux/type/resource.lux +++ b/stdlib/source/test/lux/type/resource.lux @@ -1,6 +1,6 @@ (.module: [lux #* - data/text/format + ["%" data/text/format (#+ format)] ["r" math/random (#+ Random)] ["_" test (#+ Test)] [abstract @@ -13,7 +13,7 @@ (def: #export test Test - (<| (_.context (%name (name-of /._))) + (<| (_.context (%.name (name-of /._))) ($_ _.and (_.test "Can produce and consume keys in an ordered manner." (<| (n/= (n/+ 123 456)) |