diff options
Diffstat (limited to 'stdlib/source/library/lux/meta/target/jvm/reflection.lux')
| -rw-r--r-- | stdlib/source/library/lux/meta/target/jvm/reflection.lux | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/stdlib/source/library/lux/meta/target/jvm/reflection.lux b/stdlib/source/library/lux/meta/target/jvm/reflection.lux index 3c5145a9d..a9c4fc3ce 100644 --- a/stdlib/source/library/lux/meta/target/jvm/reflection.lux +++ b/stdlib/source/library/lux/meta/target/jvm/reflection.lux @@ -98,13 +98,13 @@ (exception .public (unknown_class [class External]) (exception.report - "Class" (%.text class))) + (list ["Class" (%.text class)]))) (with_template [<name>] [(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)))] + (list ["Type" (java/lang/reflect/Type::getTypeName jvm_type)] + ["Class" (|> jvm_type java/lang/Object::getClass java/lang/Object::toString)])))] [not_a_class] [cannot_convert_to_a_lux_type] @@ -270,22 +270,22 @@ (exception .public (cannot_correspond [class (java/lang/Class java/lang/Object) type Type]) (exception.report - "Class" (java/lang/Object::toString class) - "Type" (%.type type))) + (list ["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.report - "Expected" (%.nat expected) - "Actual" (%.nat actual) - "Class" (java/lang/Object::toString class) - "Type" (%.type type))) + (list ["Expected" (%.nat expected)] + ["Actual" (%.nat actual)] + ["Class" (java/lang/Object::toString class)] + ["Type" (%.type type)]))) (exception .public (non_jvm_type [type Type]) (exception.report - "Type" (%.type type))) + (list ["Type" (%.type type)]))) (def .public (correspond class type) (-> (java/lang/Class java/lang/Object) Type (Try Mapping)) @@ -331,16 +331,16 @@ 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))) + (list ["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.report - "Field" (%.text field) - "Class" (java/lang/Object::toString class)))] + (list ["Field" (%.text field)] + ["Class" (java/lang/Object::toString class)])))] [unknown_field] [not_a_static_field] |