diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/tool/compiler/phase/analysis/structure.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/phase/analysis/structure.lux b/stdlib/source/test/lux/tool/compiler/phase/analysis/structure.lux index 7c7e9e52c..156965a55 100644 --- a/stdlib/source/test/lux/tool/compiler/phase/analysis/structure.lux +++ b/stdlib/source/test/lux/tool/compiler/phase/analysis/structure.lux @@ -2,7 +2,7 @@ [lux #* [abstract ["." monad (#+ do)]] [data - text/format + ["%" text/format (#+ format)] ["." name]] ["r" math/random (#+ Random) ("#@." monad)] ["_" test (#+ Test)] @@ -125,7 +125,7 @@ (list.drop choice primitives))) [+valueT +valueC] (maybe.assume (list.nth +choice +primitives)) +variantT (type.variant (list@map product.left +primitives))]] - (<| (_.context (%name (name-of /.sum))) + (<| (_.context (%.name (name-of /.sum))) ($_ _.and (_.test "Can analyse." (check-sum variantT choice size @@ -174,7 +174,7 @@ (list [(#.Parameter 1) +valueC]) (list.drop choice primitives))) +tupleT (type.tuple (list@map product.left +primitives))]] - (<| (_.context (%name (name-of /.product))) + (<| (_.context (%.name (name-of /.product))) ($_ _.and (_.test "Can analyse." (|> (//type.with-type tupleT @@ -243,7 +243,7 @@ (type.univ-q 1)) choice-tag (maybe.assume (list.nth choice tags)) other-choice-tag (maybe.assume (list.nth other-choice tags))]] - (<| (_.context (%name (name-of /.tagged-sum))) + (<| (_.context (%.name (name-of /.tagged-sum))) ($_ _.and (_.test "Can infer." (|> (/.tagged-sum _primitive.phase [module-name choice-tag] choiceC) @@ -287,7 +287,7 @@ (list.drop (inc choice) primitivesT)))) (type.univ-q 1) (#.Named [module-name type-name]))]] - (<| (_.context (%name (name-of /.record))) + (<| (_.context (%.name (name-of /.record))) (_.test "Can infer." (|> (/.record _primitive.phase recordC) (check-record module-name tags monoT monoT size)))))) |