diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index a33a842f3..d0620d344 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -256,7 +256,7 @@ Test (do random.monad [example_nat random.nat] - (_.coverage [/.' /.literal_quote] + (_.coverage [/.' /.quote] (and (code#= (code.nat 0) (/.' 0)) (code#= (code.int -1) (/.' -1)) (code#= (code.rev .2) (/.' .2)) @@ -284,7 +284,7 @@ Test (do random.monad [example_nat random.nat] - (_.coverage [/.` /.syntax_quote] + (_.coverage [/.` /.complete_quote] (and (code#= (code.nat 0) (/.` 0)) (code#= (code.int -1) (/.` -1)) (code#= (code.rev .2) (/.` .2)) @@ -312,7 +312,7 @@ Test (do random.monad [example_nat random.nat] - (_.coverage [/.`' /.partial_quote] + (_.coverage [/.`' /.incomplete_quote] (and (code#= (code.nat 0) (/.`' 0)) (code#= (code.int -1) (/.`' -1)) (code#= (code.rev .2) (/.`' .2)) @@ -391,7 +391,7 @@ (/.` <actual>)) (code#= <expected> (/.`' <actual>))))) - (_.coverage [/.,' /.literally] + (_.coverage [/.,' /.verbatim] (with_expansions [<bit> (code.bit example_bit) <nat> (code.nat example_nat) <int> (code.int example_int) |