diff options
Diffstat (limited to '')
| -rw-r--r-- | lux-php/source/program.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lux-php/source/program.lux b/lux-php/source/program.lux index 6c233ab4f..abdfde3a5 100644 --- a/lux-php/source/program.lux +++ b/lux-php/source/program.lux @@ -175,7 +175,7 @@ (type: Reader (-> java/lang/Object (Try Any))) -(exception: (unknown_kind_of_object {object java/lang/Object}) +(exception: (unknown_kind_of_object [object java/lang/Object]) (exception.report ["Class" (java/lang/Object::toString (java/lang/Object::getClass object))] ["Object" (java/lang/Object::toString object)])) @@ -413,7 +413,7 @@ (exception.throw ..unknown_kind_of_object host_object) ))) -(exception: (cannot_apply_a_non_function {object java/lang/Object}) +(exception: (cannot_apply_a_non_function [object java/lang/Object]) (exception.report ["Class" (java/lang/Object::toString (java/lang/Object::getClass object))] ["Non-function" (java/lang/Object::toString object)])) |