diff options
Diffstat (limited to '')
4 files changed, 5 insertions, 7 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/phase/synthesis/case.lux b/stdlib/source/test/lux/tool/compiler/phase/synthesis/case.lux index ea2114509..b5a03fd9f 100644 --- a/stdlib/source/test/lux/tool/compiler/phase/synthesis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/phase/synthesis/case.lux @@ -2,7 +2,6 @@ [lux #* [abstract ["." monad (#+ do)]] [data - text/format ["." name]] ["r" math/random (#+ Random) ("#@." monad)] ["_" test (#+ Test)] diff --git a/stdlib/source/test/lux/tool/compiler/phase/synthesis/function.lux b/stdlib/source/test/lux/tool/compiler/phase/synthesis/function.lux index 5c6c3f3af..3ca60e77b 100644 --- a/stdlib/source/test/lux/tool/compiler/phase/synthesis/function.lux +++ b/stdlib/source/test/lux/tool/compiler/phase/synthesis/function.lux @@ -2,7 +2,6 @@ [lux #* [abstract ["." monad (#+ do)]] [data - text/format ["." name]] ["r" math/random (#+ Random) ("#@." monad)] ["_" test (#+ Test)] diff --git a/stdlib/source/test/lux/tool/compiler/phase/synthesis/primitive.lux b/stdlib/source/test/lux/tool/compiler/phase/synthesis/primitive.lux index d5683b14f..f54ace3d5 100644 --- a/stdlib/source/test/lux/tool/compiler/phase/synthesis/primitive.lux +++ b/stdlib/source/test/lux/tool/compiler/phase/synthesis/primitive.lux @@ -2,7 +2,7 @@ [lux (#- primitive) [abstract ["." monad (#+ do)]] [data - text/format + ["%" text/format (#+ format)] ["." name]] ["r" math/random (#+ Random) ("#@." monad)] ["_" test (#+ Test)] @@ -57,12 +57,12 @@ (def: #export test Test - (<| (_.context (%name (name-of #////synthesis.Primitive))) + (<| (_.context (%.name (name-of #////synthesis.Primitive))) (`` ($_ _.and (~~ (template [<analysis> <synthesis> <generator>] [(do r.monad [expected <generator>] - (_.test (%name (name-of <synthesis>)) + (_.test (%.name (name-of <synthesis>)) (|> (#////analysis.Primitive (<analysis> expected)) //.phase (///.run [///bundle.empty ////synthesis.init]) diff --git a/stdlib/source/test/lux/tool/compiler/phase/synthesis/structure.lux b/stdlib/source/test/lux/tool/compiler/phase/synthesis/structure.lux index 4e7f6c3b5..0ea42a2a9 100644 --- a/stdlib/source/test/lux/tool/compiler/phase/synthesis/structure.lux +++ b/stdlib/source/test/lux/tool/compiler/phase/synthesis/structure.lux @@ -2,7 +2,7 @@ [lux #* [abstract ["." monad (#+ do)]] [data - text/format + ["%" text/format (#+ format)] ["." name]] ["r" math/random (#+ Random) ("#@." monad)] ["_" test (#+ Test)] @@ -68,7 +68,7 @@ (def: #export test Test - (<| (_.context (%name (name-of #////synthesis.Structure))) + (<| (_.context (%.name (name-of #////synthesis.Structure))) ($_ _.and ..variant ..tuple |