From 9df5ff6abc6e95c766d1907c5a9fee00730e749a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 30 Mar 2022 15:25:06 -0400
Subject: Re-named ffi.as to "is", and ffi.check to "as", to line the names up
 with normal type-annotation macros.

---
 lux-cl/source/program.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'lux-cl')

diff --git a/lux-cl/source/program.lux b/lux-cl/source/program.lux
index 0a57c9350..67735f838 100644
--- a/lux-cl/source/program.lux
+++ b/lux-cl/source/program.lux
@@ -173,7 +173,7 @@
                    (function (_ sub_value)
                      (let [sub_value (as java/lang/Object sub_value)]
                        (`` (<| (~~ (template [<type> <then>]
-                                     [(case (ffi.check <type> sub_value)
+                                     [(case (ffi.is <type> sub_value)
                                         {.#Some sub_value}
                                         (`` (|> sub_value (~~ (template.splice <then>))))
 
@@ -229,7 +229,7 @@
     [tag (read (org/armedbear/lisp/LispObject::NTH +0 host_object))
      value (read (org/armedbear/lisp/LispObject::NTH +2 host_object))]
     (wrap [(java/lang/Long::intValue (as java/lang/Long tag))
-           (case (ffi.check org/armedbear/lisp/Nil (org/armedbear/lisp/LispObject::NTH +1 host_object))
+           (case (ffi.is org/armedbear/lisp/Nil (org/armedbear/lisp/LispObject::NTH +1 host_object))
              {.#Some _}
              (is Any (ffi.null))
 
@@ -255,7 +255,7 @@
 (def: (read host_object)
   (Reader org/armedbear/lisp/LispObject)
   (`` (<| (~~ (template [<class> <post_processing>]
-                [(case (ffi.check <class> host_object)
+                [(case (ffi.is <class> host_object)
                    {.#Some host_object}
                    (`` (|> host_object (~~ (template.splice <post_processing>))))
 
@@ -270,7 +270,7 @@
                 [org/armedbear/lisp/Nil [(pipe.new {try.#Success false} [])]]
                 [org/armedbear/lisp/Closure [{try.#Success}]]
                 [program/LuxADT [program/LuxADT::getValue {try.#Success}]]))
-          (case (ffi.check org/armedbear/lisp/Symbol host_object)
+          (case (ffi.is org/armedbear/lisp/Symbol host_object)
             {.#Some host_object}
             (if (same? (org/armedbear/lisp/Symbol::T) host_object)
               {try.#Success true}
@@ -283,7 +283,7 @@
 
 (def: ensure_macro
   (-> Macro (Maybe org/armedbear/lisp/Closure))
-  (|>> (as java/lang/Object) (ffi.check org/armedbear/lisp/Closure)))
+  (|>> (as java/lang/Object) (ffi.is org/armedbear/lisp/Closure)))
 
 (def: (call_macro inputs lux macro)
   (-> (List Code) Lux org/armedbear/lisp/Closure (Try (Try [Lux (List Code)])))
-- 
cgit v1.2.3