From f19f246aad0bce5449b89d5b0c7bb2596c9e1e41 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 22 Jan 2023 15:34:35 -0400
Subject: Simplified caching and JVM program JARs.

---
 stdlib/source/test/lux.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/test/lux.lux')

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)
-- 
cgit v1.2.3