diff options
Diffstat (limited to 'stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux')
| -rw-r--r-- | stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux b/stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux index 252344cb6..08346c47b 100644 --- a/stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/phase/analysis/function.lux @@ -2,7 +2,7 @@ [lux #* [abstract ["." monad (#+ do)]] [data - text/format + ["%" text/format (#+ format)] ["." name ("#@." equivalence)]] ["r" math/random (#+ Random) ("#@." monad)] ["_" test (#+ Test)] @@ -50,7 +50,7 @@ [outputT outputC] _primitive.primitive [inputT _] _primitive.primitive #let [g!arg (code.local-identifier arg-name)]] - (<| (_.context (%name (name-of /.function))) + (<| (_.context (%.name (name-of /.function))) ($_ _.and (_.test "Can analyse function." (and (|> (//type.with-type (All [a] (-> a outputT)) @@ -97,7 +97,7 @@ (type.function (#.Cons varT partial-poly-inputsT)) varT) dummy-function (#////analysis.Function (list) (#////analysis.Reference (////reference.local 1)))]] - (<| (_.context (%name (name-of /.apply))) + (<| (_.context (%.name (name-of /.apply))) ($_ _.and (_.test "Can analyse monomorphic type application." (|> (/.apply _primitive.phase funcT dummy-function (' []) inputsC) |