From 880cb37c261df20b7b8d968a909557bbc63d6b7f Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 8 Sep 2021 18:57:27 -0400 Subject: Normalized syntax of "exception:", "actor:" and "message:". --- lux-python/source/program.lux | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'lux-python') diff --git a/lux-python/source/program.lux b/lux-python/source/program.lux index 8cc2987af..649a77b95 100644 --- a/lux-python/source/program.lux +++ b/lux-python/source/program.lux @@ -140,7 +140,7 @@ (recur (++ idx) (array.write! idx lux_value output)))) (#try.Success output))))) - (exception: (unknown_kind_of_object {object java/lang/Object}) + (exception: (unknown_kind_of_object [object java/lang/Object]) (exception.report ["Object" (java/lang/Object::toString object)])) @@ -209,7 +209,7 @@ ... (exception.except ..unknown_kind_of_object [(:as java/lang/Object host_object)]) (#try.Success host_object)))) - (exception: (cannot_apply_a_non_function {object java/lang/Object}) + (exception: (cannot_apply_a_non_function [object java/lang/Object]) (exception.report ["Non-function" (java/lang/Object::toString object)])) @@ -357,8 +357,8 @@ [_ (execute! content)] (evaluate! context (_.var (reference.artifact context)))))))))))})) -(with_expansions [ (as_is (exception: .public (invaid_phase_application {partial_application (List Any)} - {arity Nat}) +(with_expansions [ (as_is (exception: .public (invaid_phase_application [partial_application (List Any) + arity Nat]) (exception.report ["Partial Application" (%.nat (list.size partial_application))] ["Arity" (%.nat arity)])) -- cgit v1.2.3