1 files changed, 11 insertions, 11 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux b/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux
index 1f7cbe26e..616f030a9 100644
--- a/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/lux/tool/compiler/phase/extension/analysis/jvm.lux
@@ -654,7 +654,7 @@
 
 (import: #long (java/lang/reflect/TypeVariable d)
   (getName [] java/lang/String)
-  (getBounds [] (Array java/lang/reflect/Type)))
+  (getBounds [] [java/lang/reflect/Type]))
 
 (import: #long java/lang/reflect/Modifier
   (#static isStatic [int] boolean)
@@ -666,29 +666,29 @@
   (getName [] java/lang/String)
   (getModifiers [] int)
   (getDeclaringClass [] (java/lang/Class java/lang/Object))
-  (getTypeParameters [] (Array (java/lang/reflect/TypeVariable java/lang/reflect/Method)))
-  (getGenericParameterTypes [] (Array java/lang/reflect/Type))
+  (getTypeParameters [] [(java/lang/reflect/TypeVariable java/lang/reflect/Method)])
+  (getGenericParameterTypes [] [java/lang/reflect/Type])
   (getGenericReturnType [] java/lang/reflect/Type)
-  (getGenericExceptionTypes [] (Array java/lang/reflect/Type)))
+  (getGenericExceptionTypes [] [java/lang/reflect/Type]))
 
 (import: #long (java/lang/reflect/Constructor c)
   (getModifiers [] int)
   (getDeclaringClass [] (java/lang/Class c))
-  (getTypeParameters [] (Array (java/lang/reflect/TypeVariable (java/lang/reflect/Constructor c))))
-  (getGenericParameterTypes [] (Array java/lang/reflect/Type))
-  (getGenericExceptionTypes [] (Array java/lang/reflect/Type)))
+  (getTypeParameters [] [(java/lang/reflect/TypeVariable (java/lang/reflect/Constructor c))])
+  (getGenericParameterTypes [] [java/lang/reflect/Type])
+  (getGenericExceptionTypes [] [java/lang/reflect/Type]))
 
 (import: #long (java/lang/Class c)
   (#static forName [java/lang/String] #try (java/lang/Class java/lang/Object))
   (getName [] java/lang/String)
   (getModifiers [] int)
   (isAssignableFrom [(java/lang/Class java/lang/Object)] boolean)
-  (getTypeParameters [] (Array (java/lang/reflect/TypeVariable (java/lang/Class c))))
-  (getGenericInterfaces [] (Array java/lang/reflect/Type))
+  (getTypeParameters [] [(java/lang/reflect/TypeVariable (java/lang/Class c))])
+  (getGenericInterfaces [] [java/lang/reflect/Type])
   (getGenericSuperclass [] #? java/lang/reflect/Type)
   (getDeclaredField [java/lang/String] #try java/lang/reflect/Field)
-  (getConstructors [] (Array (java/lang/reflect/Constructor java/lang/Object)))
-  (getDeclaredMethods [] (Array java/lang/reflect/Method)))
+  (getConstructors [] [(java/lang/reflect/Constructor java/lang/Object)])
+  (getDeclaredMethods [] [java/lang/reflect/Method]))
 
 (def: (reflection-type mapping typeJ)
   (-> Mapping Type (Operation .Type))