diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/tool/compiler/phase/analysis/primitive.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/phase/analysis/primitive.lux b/stdlib/source/test/lux/tool/compiler/phase/analysis/primitive.lux index 0b3990cf0..1a7aec26f 100644 --- a/stdlib/source/test/lux/tool/compiler/phase/analysis/primitive.lux +++ b/stdlib/source/test/lux/tool/compiler/phase/analysis/primitive.lux @@ -3,7 +3,7 @@ ["@" target] [abstract ["." monad (#+ do)]] [data - text/format + ["%" text/format (#+ format)] ["." name]] ["r" math/random (#+ Random) ("#@." monad)] ["_" test (#+ Test)] @@ -65,8 +65,8 @@ (exception: (wrong-inference {expected Type} {inferred Type}) (exception.report - ["Expected" (%type expected)] - ["Inferred" (%type inferred)])) + ["Expected" (%.type expected)] + ["Inferred" (%.type inferred)])) (def: (infer expected-type analysis) (-> Type (Operation Analysis) (Error Analysis)) @@ -84,7 +84,7 @@ (def: #export test (<| (_.context (name.module (name-of /._))) (`` ($_ _.and - (_.test (%name (name-of #////analysis.Unit)) + (_.test (%.name (name-of #////analysis.Unit)) (|> (infer Any (..phase (' []))) (case> (^ (#error.Success (#////analysis.Primitive (#////analysis.Unit output)))) (is? [] output) @@ -94,7 +94,7 @@ (~~ (template [<type> <tag> <random> <constructor>] [(do r.monad [sample <random>] - (_.test (%name (name-of <tag>)) + (_.test (%.name (name-of <tag>)) (|> (infer <type> (..phase (<constructor> sample))) (case> (#error.Success (#////analysis.Primitive (<tag> output))) (is? sample output) |