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/unsafe/lux/data/binary.lux           | 10 +++++-----
 stdlib/source/unsafe/lux/data/collection/array.lux |  4 ++--
 2 files changed, 7 insertions(+), 7 deletions(-)

(limited to 'stdlib/source/unsafe')

diff --git a/stdlib/source/unsafe/lux/data/binary.lux b/stdlib/source/unsafe/lux/data/binary.lux
index 1f24ad030..0dd650ec2 100644
--- a/stdlib/source/unsafe/lux/data/binary.lux
+++ b/stdlib/source/unsafe/lux/data/binary.lux
@@ -14,7 +14,7 @@
     [number {"+" hex}
      ["[0]" i64]]]]])
 
-(with_expansions [<jvm> (as_is (type: .public Binary
+(with_expansions [<jvm> (these (type: .public Binary
                                  (ffi.type [byte]))
 
                                (ffi.import: java/lang/Object
@@ -28,11 +28,11 @@
                                  "[1]::[0]"
                                  ("static" copyOfRange [[byte] int int] [byte])
                                  ("static" equals [[byte] [byte]] boolean)))]
-  (for @.old (as_is <jvm>)
-       @.jvm (as_is <jvm>)
+  (for @.old (these <jvm>)
+       @.jvm (these <jvm>)
 
        @.js
-       (as_is (ffi.import: ArrayBuffer
+       (these (ffi.import: ArrayBuffer
                 "[1]::[0]")
               (ffi.import: Uint8Array
                 "[1]::[0]")
@@ -45,7 +45,7 @@
          (Primitive "bytearray"))
 
        @.scheme
-       (as_is (type: .public Binary
+       (these (type: .public Binary
                 (Primitive "bytevector"))
               
               (ffi.import: (make-bytevector [Nat] Binary))
diff --git a/stdlib/source/unsafe/lux/data/collection/array.lux b/stdlib/source/unsafe/lux/data/collection/array.lux
index ca3620f56..3897dd399 100644
--- a/stdlib/source/unsafe/lux/data/collection/array.lux
+++ b/stdlib/source/unsafe/lux/data/collection/array.lux
@@ -22,7 +22,7 @@
                      (.as <index_type>)
                      "jvm object cast"
                      "jvm conversion long-to-int")])
-       (as_is))
+       (these))
   
   (`` (template: .public (empty <size>)
         [((.is (.All (_ a) (.-> .Nat (..Array a)))
@@ -299,7 +299,7 @@
       [((.is (.All (_ a) (.-> a (..Array a) (.List a)))
              (.function (list|+default default array)
                (.loop [index ("lux i64 -" 1 (..size array))
-                       output (`` (.is (.List (~~ (.as_is (~~ (.type_of default)))))
+                       output (`` (.is (.List (~~ (.these (~~ (.type_of default)))))
                                        {.#End}))]
                  (.if ("lux i64 =" (~~ (.static ..underflow)) index)
                    output
-- 
cgit v1.2.3