From 1a962ee4b03f51f46a5979bfefc954f35ee3a1b7 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 30 Mar 2022 13:12:18 -0400
Subject: Re-named "as_is" to "these" to avoid confusion with the new
 type-annotation macro names.

---
 stdlib/source/library/lux.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 7cc43774e..67f2dc4d3 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -4804,7 +4804,7 @@
   [rev ..Rev]
   )
 
-(macro: .public (as_is tokens compiler)
+(macro: .public (these tokens compiler)
   {#Right [compiler tokens]})
 
 (macro: .public (char tokens compiler)
@@ -4880,7 +4880,7 @@
     (failure (..wrong_syntax_error (symbol ..for)))))
 
 ... TODO: Delete "scope_type_vars" (including the #scope_type_vars Lux state) and "parameter" ASAP.
-(for "{old}" (as_is (def: (scope_type_vars state)
+(for "{old}" (these (def: (scope_type_vars state)
                       (Meta (List Nat))
                       (case state
                         [..#info info ..#source    source ..#current_module _   ..#modules modules
@@ -4903,7 +4903,7 @@
 
                         _
                         (failure (..wrong_syntax_error (symbol ..$))))))
-     (as_is (def: .public parameter "")))
+     (these (def: .public parameter "")))
 
 (macro: .public (using _imports)
   (do meta_monad
-- 
cgit v1.2.3