aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/control/parser/synthesis.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/control/parser/synthesis.lux')
-rw-r--r--stdlib/source/test/lux/control/parser/synthesis.lux12
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/control/parser/synthesis.lux b/stdlib/source/test/lux/control/parser/synthesis.lux
index d7709687f..daf44e7ae 100644
--- a/stdlib/source/test/lux/control/parser/synthesis.lux
+++ b/stdlib/source/test/lux/control/parser/synthesis.lux
@@ -159,7 +159,7 @@
(def: #export test
Test
(<| (_.covering /._)
- (_.with-cover [/.Parser])
+ (_.for [/.Parser])
($_ _.and
(do {! random.monad}
[expected (\ ! map (|>> synthesis.i64) random.nat)]
@@ -192,9 +192,9 @@
(!expect (#try.Success #1)))
(|> (/.run (<>.before /.any /.end?) (list dummy))
(!expect (#try.Success #0))))))
- (_.with-cover [/.cannot-parse]
- ($_ _.and
- ..simple
- ..complex
- ))
+ (_.for [/.cannot-parse]
+ ($_ _.and
+ ..simple
+ ..complex
+ ))
)))