diff options
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/reflection.lux')
-rw-r--r-- | stdlib/source/library/lux/target/jvm/reflection.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/library/lux/target/jvm/reflection.lux b/stdlib/source/library/lux/target/jvm/reflection.lux index 1076bfff2..4922fd23e 100644 --- a/stdlib/source/library/lux/target/jvm/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/reflection.lux @@ -7,7 +7,7 @@ ["[0]" monad (.only do)]] [control ["[0]" try (.only Try) (.use "[1]#[0]" functor)] - ["[0]" exception (.only exception:)]] + ["[0]" exception (.only exception)]] [data ["[0]" text (.use "[1]#[0]" equivalence) ["%" \\format (.only format)] @@ -95,12 +95,12 @@ (isArray [] boolean) (getComponentType [] (java/lang/Class java/lang/Object))) -(exception: .public (unknown_class [class External]) +(exception .public (unknown_class [class External]) (exception.report "Class" (%.text class))) (with_template [<name>] - [(exception: .public (<name> [jvm_type java/lang/reflect/Type]) + [(exception .public (<name> [jvm_type java/lang/reflect/Type]) (exception.report "Type" (java/lang/reflect/Type::getTypeName jvm_type) "Class" (|> jvm_type java/lang/Object::getClass java/lang/Object::toString)))] @@ -266,23 +266,23 @@ {.#None} <else>))) -(exception: .public (cannot_correspond [class (java/lang/Class java/lang/Object) - type Type]) +(exception .public (cannot_correspond [class (java/lang/Class java/lang/Object) + type Type]) (exception.report "Class" (java/lang/Object::toString class) "Type" (%.type type))) -(exception: .public (type_parameter_mismatch [expected Nat - actual Nat - class (java/lang/Class java/lang/Object) - type Type]) +(exception .public (type_parameter_mismatch [expected Nat + actual Nat + class (java/lang/Class java/lang/Object) + type Type]) (exception.report "Expected" (%.nat expected) "Actual" (%.nat actual) "Class" (java/lang/Object::toString class) "Type" (%.type type))) -(exception: .public (non_jvm_type [type Type]) +(exception .public (non_jvm_type [type Type]) (exception.report "Type" (%.type type))) @@ -326,17 +326,17 @@ _ (exception.except ..non_jvm_type [type]))) -(exception: .public (mistaken_field_owner [field java/lang/reflect/Field - owner (java/lang/Class java/lang/Object) - target (java/lang/Class java/lang/Object)]) +(exception .public (mistaken_field_owner [field java/lang/reflect/Field + owner (java/lang/Class java/lang/Object) + target (java/lang/Class java/lang/Object)]) (exception.report "Field" (java/lang/Object::toString field) "Owner" (java/lang/Object::toString owner) "Target" (java/lang/Object::toString target))) (with_template [<name>] - [(exception: .public (<name> [field Text - class (java/lang/Class java/lang/Object)]) + [(exception .public (<name> [field Text + class (java/lang/Class java/lang/Object)]) (exception.report "Field" (%.text field) "Class" (java/lang/Object::toString class)))] |