Re-named ffi.as to "is", and ffi.check to "as", to line the names up with normal type-annotation macros.

1 files changed, 13 insertions, 13 deletions

diff --git a/lux-php/source/program.lux b/lux-php/source/program.lux
index 08bad8d41..b12d19917 100644
--- a/lux-php/source/program.lux
+++ b/lux-php/source/program.lux
@@ -189,34 +189,34 @@
   (-> (-> (Array java/lang/Object) php/runtime/Memory) java/lang/Object php/runtime/Memory)
   (<| (if (ffi.null? value)
         (php/runtime/memory/NullMemory::INSTANCE))
-      (case (ffi.check java/lang/Boolean value)
+      (case (ffi.as java/lang/Boolean value)
         {.#Some value}
         (if (as Bit value)
           (php/runtime/memory/TrueMemory::INSTANCE)
           (php/runtime/memory/FalseMemory::INSTANCE))
 
         {.#None})
-      (case (ffi.check java/lang/Long value)
+      (case (ffi.as java/lang/Long value)
         {.#Some value}
         (php/runtime/memory/LongMemory::new value)
 
         {.#None})
-      (case (ffi.check java/lang/Double value)
+      (case (ffi.as java/lang/Double value)
         {.#Some value}
         (php/runtime/memory/DoubleMemory::new value)
 
         {.#None})
-      (case (ffi.check java/lang/String value)
+      (case (ffi.as java/lang/String value)
         {.#Some value}
         (php/runtime/memory/StringMemory::new value)
 
         {.#None})
-      (case (ffi.check [java/lang/Object] value)
+      (case (ffi.as [java/lang/Object] value)
         {.#Some value}
         (lux_structure (as (Array java/lang/Object) value))
 
         {.#None})
-      (case (ffi.check php/runtime/memory/ObjectMemory value)
+      (case (ffi.as php/runtime/memory/ObjectMemory value)
         {.#Some value}
         value
 
@@ -247,7 +247,7 @@
                                 index php/runtime/Memory])
          php/runtime/Memory
          (`` (<| (~~ (template [<class> <method> <extractor>]
-                       [(case (ffi.check <class> index)
+                       [(case (ffi.as <class> index)
                           {.#Some index}
                           (<method> trace (<extractor> index) self)
                           
@@ -321,7 +321,7 @@
                         maybe.trusted
                         (as php/runtime/memory/ReferenceMemory)
                         php/runtime/memory/ReferenceMemory::getValue)]
-          (case (ffi.check php/runtime/memory/NullMemory value)
+          (case (ffi.as php/runtime/memory/NullMemory value)
             {.#Some _}
             (again (++ idx) output)
 
@@ -361,7 +361,7 @@
                                  maybe.trusted
                                  (as php/runtime/memory/ReferenceMemory)
                                  php/runtime/memory/ReferenceMemory::getValue
-                                 (ffi.check php/runtime/memory/NullMemory))
+                                 (ffi.as php/runtime/memory/NullMemory))
                          {.#Some _}
                          (ffi.null)
 
@@ -380,7 +380,7 @@
 (def: (read host_object)
   Reader
   (`` (<| (~~ (template [<class> <constant>]
-                [(case (ffi.check <class> host_object)
+                [(case (ffi.as <class> host_object)
                    {.#Some _}
                    {try.#Success <constant>}
 
@@ -390,7 +390,7 @@
                 [php/runtime/memory/TrueMemory true]
                 ))
           (~~ (template [<class> <post>]
-                [(case (ffi.check <class> host_object)
+                [(case (ffi.as <class> host_object)
                    {.#Some value}
                    (`` (|> value (~~ (template.splice <post>))))
 
@@ -403,7 +403,7 @@
                 [php/runtime/memory/ReferenceMemory [php/runtime/memory/ReferenceMemory::getValue read]]
                 [php/runtime/memory/ObjectMemory [{try.#Success}]]
                 ))
-          (case (ffi.check php/runtime/memory/ArrayMemory host_object)
+          (case (ffi.as php/runtime/memory/ArrayMemory host_object)
             {.#Some value}
             (if (|> value
                     (php/runtime/memory/ArrayMemory::get ..tuple_size_field)
@@ -432,7 +432,7 @@
   (-> Macro (Maybe php/runtime/memory/ObjectMemory))
   (|> macro
       (as java/lang/Object)
-      (ffi.check php/runtime/memory/ObjectMemory)))
+      (ffi.as php/runtime/memory/ObjectMemory)))
 
 (def: interpreter
   (org/develnext/jphp/scripting/JPHPScriptEngine::new))