Re-named the "case" macro to "when".

1 files changed, 17 insertions, 17 deletions

diff --git a/stdlib/source/library/lux/meta/target/jvm/reflection.lux b/stdlib/source/library/lux/meta/target/jvm/reflection.lux
index 0ee71e599..a33bc6507 100644
--- a/stdlib/source/library/lux/meta/target/jvm/reflection.lux
+++ b/stdlib/source/library/lux/meta/target/jvm/reflection.lux
@@ -112,7 +112,7 @@
 
 (def .public (load class_loader name)
   (-> java/lang/ClassLoader External (Try (java/lang/Class java/lang/Object)))
-  (case (java/lang/Class::forName name false class_loader)
+  (when (java/lang/Class::forName name false class_loader)
     {try.#Failure _}
     (exception.except ..unknown_class [name])
 
@@ -130,7 +130,7 @@
   (-> (-> java/lang/reflect/Type (Try (/.Type Parameter)))
       java/lang/reflect/Type
       (Try (/.Type Class)))
-  (<| (case (ffi.as java/lang/Class reflection)
+  (<| (when (ffi.as java/lang/Class reflection)
         {.#Some class}
         (let [class_name (|> class
                              (as (java/lang/Class java/lang/Object))
@@ -151,10 +151,10 @@
                 (exception.except ..not_a_class [reflection])
                 {try.#Success (/.class class_name (list))})))
         _)
-      (case (ffi.as java/lang/reflect/ParameterizedType reflection)
+      (when (ffi.as java/lang/reflect/ParameterizedType reflection)
         {.#Some reflection}
         (let [raw (java/lang/reflect/ParameterizedType::getRawType reflection)]
-          (case (ffi.as java/lang/Class raw)
+          (when (ffi.as java/lang/Class raw)
             {.#Some raw'}
             (let [! try.monad]
               (|> reflection
@@ -175,19 +175,19 @@
 (def .public (parameter type reflection)
   (-> (-> java/lang/reflect/Type (Try (/.Type Value)))
       (-> java/lang/reflect/Type (Try (/.Type Parameter))))
-  (<| (case (ffi.as java/lang/reflect/TypeVariable reflection)
+  (<| (when (ffi.as java/lang/reflect/TypeVariable reflection)
         {.#Some reflection}
         {try.#Success (/.var (java/lang/reflect/TypeVariable::getName reflection))}
         _)
-      (case (ffi.as java/lang/reflect/WildcardType reflection)
+      (when (ffi.as java/lang/reflect/WildcardType reflection)
         {.#Some reflection}
         ... TODO: Instead of having single lower/upper bounds, should
         ... allow for multiple ones.
-        (case [(array.item 0 (java/lang/reflect/WildcardType::getLowerBounds reflection))
+        (when [(array.item 0 (java/lang/reflect/WildcardType::getLowerBounds reflection))
                (array.item 0 (java/lang/reflect/WildcardType::getUpperBounds reflection))]
           (^.with_template [<pattern> <kind>]
             [<pattern>
-             (case (ffi.as java/lang/reflect/GenericArrayType bound)
+             (when (ffi.as java/lang/reflect/GenericArrayType bound)
                {.#Some it}
                ... TODO: Array bounds should not be "erased" as they
                ... are right now.
@@ -201,14 +201,14 @@
           _
           {try.#Success /.wildcard})
         _)
-      (case (ffi.as java/lang/reflect/GenericArrayType reflection)
+      (when (ffi.as java/lang/reflect/GenericArrayType reflection)
         {.#Some reflection}
         (|> reflection
             java/lang/reflect/GenericArrayType::getGenericComponentType
             type
             (at try.monad each /.array))
         _)
-      (case (ffi.as java/lang/Class reflection)
+      (when (ffi.as java/lang/Class reflection)
         {.#Some class}
         (if (java/lang/Class::isArray class)
           (|> class
@@ -221,7 +221,7 @@
 
 (def .public (type reflection)
   (-> java/lang/reflect/Type (Try (/.Type Value)))
-  (<| (case (ffi.as java/lang/Class reflection)
+  (<| (when (ffi.as java/lang/Class reflection)
         {.#Some reflection}
         (let [class_name (|> reflection
                              (as (java/lang/Class java/lang/Object))
@@ -254,7 +254,7 @@
 (def .public (return reflection)
   (-> java/lang/reflect/Type (Try (/.Type Return)))
   (with_expansions [<else> (these (..type reflection))]
-    (case (ffi.as java/lang/Class reflection)
+    (when (ffi.as java/lang/Class reflection)
       {.#Some class}
       (let [class_name (|> reflection
                            (as (java/lang/Class java/lang/Object))
@@ -289,8 +289,8 @@
 
 (def .public (correspond class type)
   (-> (java/lang/Class java/lang/Object) Type (Try Mapping))
-  (case type
-    {.#Primitive array.type_name (list :member:)}
+  (when type
+    {.#Primitive array.primitive (list :member:)}
     (if (java/lang/Class::isArray class)
       (correspond (java/lang/Class::getComponentType class)
                   :member:)
@@ -317,7 +317,7 @@
     (correspond class anonymousT)
 
     {.#Apply inputT abstractionT}
-    (case (type.applied (list inputT) abstractionT)
+    (when (type.applied (list inputT) abstractionT)
       {.#Some outputT}
       (correspond class outputT)
 
@@ -349,7 +349,7 @@
 
 (def .public (field field target)
   (-> Text (java/lang/Class java/lang/Object) (Try java/lang/reflect/Field))
-  (case (java/lang/Class::getDeclaredField field target)
+  (when (java/lang/Class::getDeclaredField field target)
     {try.#Success field}
     (let [owner (java/lang/reflect/Field::getDeclaringClass field)]
       (if (same? owner target)
@@ -372,7 +372,7 @@
      (do [! try.monad]
        [fieldJ (..field field class)
         .let [modifiers (java/lang/reflect/Field::getModifiers fieldJ)]]
-       (case (java/lang/reflect/Modifier::isStatic modifiers)
+       (when (java/lang/reflect/Modifier::isStatic modifiers)
          <then?> (|> fieldJ
                      java/lang/reflect/Field::getGenericType
                      ..type