diff options
| author | Eduardo Julian | 2023-01-22 15:34:35 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2023-01-22 15:34:35 -0400 |
| commit | f19f246aad0bce5449b89d5b0c7bb2596c9e1e41 (patch) | |
| tree | d451189f09e6ffa5cbc817fc9334b9d730c5c106 /stdlib/source/test/lux.lux | |
| parent | 4ec923fe46f66ba8731fc4b7334e724d63dec73e (diff) | |
Simplified caching and JVM program JARs.
Diffstat (limited to 'stdlib/source/test/lux.lux')
| -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) |