Re-named "as_is" to "these" to avoid confusion with the new type-annotation macro names.

1 files changed, 25 insertions, 25 deletions

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 576f6e9b9..d7a2ac3eb 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -63,13 +63,13 @@
             ["[1][0]" ffi]
             ["[1][0]" extension]
             ["[1][0]" target "_"
-             (~~ (.for "{old}" (~~ (.as_is ["[1]/[0]" jvm]))
-                       "JVM" (~~ (.as_is ["[1]/[0]" jvm]))
-                       "JavaScript" (~~ (.as_is ["[1]/[0]" js]))
-                       "Lua" (~~ (.as_is ["[1]/[0]" lua]))
-                       "Python" (~~ (.as_is ["[1]/[0]" python]))
-                       "Ruby" (~~ (.as_is ["[1]/[0]" ruby]))
-                       (~~ (.as_is))))]])))
+             (~~ (.for "{old}" (~~ (.these ["[1]/[0]" jvm]))
+                       "JVM" (~~ (.these ["[1]/[0]" jvm]))
+                       "JavaScript" (~~ (.these ["[1]/[0]" js]))
+                       "Lua" (~~ (.these ["[1]/[0]" lua]))
+                       "Python" (~~ (.these ["[1]/[0]" python]))
+                       "Ruby" (~~ (.these ["[1]/[0]" ruby]))
+                       (~~ (.these))))]])))
 
 (def: for_bit
   Test
@@ -422,7 +422,7 @@
                                (same? (is Any macro))))
                   (_.cover [/.macro:]
                            (same? expected (..identity_macro expected)))
-                  (~~ (for @.old (~~ (as_is))
+                  (~~ (for @.old (~~ (these))
                            (_.cover [/.Source]
                                     (..found_crosshair?))))
                   (_.cover [/.macro]
@@ -844,23 +844,23 @@
      dummy random.nat
      .let [expected (n.+ left right)]]
     ($_ _.and
-        (_.cover [/.as_is]
-                 (`` (and (~~ (as_is true
+        (_.cover [/.these]
+                 (`` (and (~~ (these true
                                      true
                                      true)))))
         (_.cover [/.with_expansions]
-                 (/.with_expansions [<operands> (as_is left right)]
+                 (/.with_expansions [<operands> (these left right)]
                    (n.= expected
                         (n.+ <operands>))))
         (_.cover [/.comment]
                  (/.with_expansions [<dummy> (/.comment dummy)
-                                     <operands> (as_is left right)]
+                                     <operands> (these left right)]
                    (n.= expected
                         ($_ n.+ <operands> <dummy>))))
         (_.cover [/.``]
                  (n.= expected
                       (/.`` ($_ n.+
-                                (~~ (as_is left right))
+                                (~~ (these left right))
                                 (~~ (/.comment dummy))))))
         (_.cover [/.for]
                  (and (n.= expected
@@ -1116,8 +1116,8 @@
                     (bit#= /.private /.local)))
       ))
 
-(for @.old (as_is)
-     (as_is (syntax: (for_bindings|test [fn/0 <code>.local
+(for @.old (these)
+     (these (syntax: (for_bindings|test [fn/0 <code>.local
                                          var/0 <code>.local
                                          let/0 <code>.local
 
@@ -1221,8 +1221,8 @@
               ..for_def:
               ..for_meta
               ..for_export
-              (~~ (for @.old (~~ (as_is))
-                       (~~ (as_is ..for_bindings))))
+              (~~ (for @.old (~~ (these))
+                       (~~ (these ..for_bindings))))
               ))))
 
 (def: test
@@ -1254,14 +1254,14 @@
                      /world.test
                      /ffi.test
                      
-                     (~~ (for @.old (~~ (as_is))
-                              (~~ (as_is /extension.test))))
-                     (~~ (for @.jvm (~~ (as_is /target/jvm.test))
-                              @.old (~~ (as_is /target/jvm.test))
-                              @.js (~~ (as_is /target/js.test))
-                              @.lua (~~ (as_is /target/lua.test))
-                              @.python (~~ (as_is /target/python.test))
-                              @.ruby (~~ (as_is /target/ruby.test))))
+                     (~~ (for @.old (~~ (these))
+                              (~~ (these /extension.test))))
+                     (~~ (for @.jvm (~~ (these /target/jvm.test))
+                              @.old (~~ (these /target/jvm.test))
+                              @.js (~~ (these /target/js.test))
+                              @.lua (~~ (these /target/lua.test))
+                              @.python (~~ (these /target/python.test))
+                              @.ruby (~~ (these /target/ruby.test))))
                      ))))))
 
 (program: args