diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/target/jvm/reflection.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/target/jvm/reflection.lux b/stdlib/source/lux/target/jvm/reflection.lux index 090c5948f..25ecffdf9 100644 --- a/stdlib/source/lux/target/jvm/reflection.lux +++ b/stdlib/source/lux/target/jvm/reflection.lux @@ -11,7 +11,7 @@ [data ["." error (#+ Error)] ["." text ("#@." equivalence) - format] + ["%" format (#+ format)]] [collection ["." list ("#@." fold functor)] ["." array] @@ -86,7 +86,7 @@ (exception: #export (unknown-class {class Text}) (exception.report - ["Class" (%t class)])) + ["Class" (%.text class)])) (template [<name>] [(exception: #export (<name> {jvm-type java/lang/reflect/Type}) @@ -239,21 +239,21 @@ {type Type}) (exception.report ["Class" (java/lang/Object::toString class)] - ["Type" (%type type)])) + ["Type" (%.type type)])) (exception: #export (type-parameter-mismatch {expected Nat} {actual Nat} {class (java/lang/Class java/lang/Object)} {type Type}) (exception.report - ["Expected" (%n expected)] - ["Actual" (%n actual)] + ["Expected" (%.nat expected)] + ["Actual" (%.nat actual)] ["Class" (java/lang/Object::toString class)] - ["Type" (%type type)])) + ["Type" (%.type type)])) (exception: #export (non-jvm-type {type Type}) (exception.report - ["Type" (%type type)])) + ["Type" (%.type type)])) (def: #export (correspond class type) (-> (java/lang/Class java/lang/Object) Type (Error Mapping)) @@ -301,7 +301,7 @@ [(exception: #export (<name> {field Text} {class (java/lang/Class java/lang/Object)}) (exception.report - ["Field" (%t field)] + ["Field" (%.text field)] ["Class" (java/lang/Object::toString class)]))] [unknown-field] |