diff options
author | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
commit | b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 (patch) | |
tree | 26db4a468c2f75c64ba16e8b7dbf20f135d369fc /stdlib/source/library/lux/target/jvm/reflection.lux | |
parent | bc36487224f670c23002cc4575c0dba3e5dc1be1 (diff) |
Leaner syntax for library/lux/control/exception.report
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 fd3900ee6..c8daea629 100644 --- a/stdlib/source/library/lux/target/jvm/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/reflection.lux @@ -98,13 +98,13 @@ (exception: .public (unknown_class [class External]) (exception.report - ["Class" (%.text class)])) + "Class" (%.text class))) (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)]))] + "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)])) + "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)])) + "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)])) + "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)])) + "Field" (java/lang/Object::toString field) + "Owner" (java/lang/Object::toString owner) + "Target" (java/lang/Object::toString target))) (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)]))] + "Field" (%.text field) + "Class" (java/lang/Object::toString class)))] [unknown_field] [not_a_static_field] |