diff options
author | Eduardo Julian | 2019-06-20 22:32:59 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-06-20 22:32:59 -0400 |
commit | b71b861008381626633bf28b033cd866d7e4e0b7 (patch) | |
tree | 3ee21cd21e6dd80f6fcdf90173bbd6162b616d8f /stdlib/source/test/lux/tool/compiler/phase/synthesis | |
parent | fcee38da766a683ed5569978be153c6e7a8ae0af (diff) |
Improved the convention for using text formatters.
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 |