diff options
| author | Eduardo Julian | 2022-06-26 02:57:13 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-26 02:57:13 -0400 |
| commit | 716ca5377386ca87eded7dd514ccc17f8ed281c3 (patch) | |
| tree | 30ecd03de0f32057d453ab2c342fd17f88732ae3 /lux-js | |
| parent | cfdc546e6834ceeb78cb692d17fd5c60695be982 (diff) | |
De-sigil-ification: suffix : [Part 16]
Diffstat (limited to 'lux-js')
| -rw-r--r-- | lux-js/source/program.lux | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/lux-js/source/program.lux b/lux-js/source/program.lux index d082291b9..72e08d9f5 100644 --- a/lux-js/source/program.lux +++ b/lux-js/source/program.lux @@ -9,7 +9,7 @@ [control ["[0]" maybe (.use "[1]#[0]" monad)] ["[0]" try (.only Try)] - ["[0]" exception (.only exception:)] + ["[0]" exception (.only exception)] ["[0]" io (.only IO io)] ["[0]" function] [concurrency @@ -69,7 +69,7 @@ [program ["/" compositor]]) -(exception: (null_has_no_lux_representation [code (Maybe _.Expression)]) +(exception (null_has_no_lux_representation [code (Maybe _.Expression)]) (case code {.#Some code} (_.code code) @@ -152,8 +152,8 @@ [StructureValue] ) - (exception: (unknown_member [member Text - object java/lang/Object]) + (exception (unknown_member [member Text + object java/lang/Object]) (exception.report "Member" member "Object" (debug.inspection object))) @@ -307,9 +307,9 @@ (as java/lang/Object))) )))) - (exception: undefined_has_no_lux_representation) + (exception undefined_has_no_lux_representation) - (exception: (unknown_kind_of_host_object [object java/lang/Object]) + (exception (unknown_kind_of_host_object [object java/lang/Object]) (exception.report "Class" (ffi.of_string (java/lang/Object::toString (java/lang/Object::getClass object))) "Object" (ffi.of_string (java/lang/Object::toString object)) @@ -473,7 +473,7 @@ (array.write! 1 (to_js lux))) macro)))) - (exception: (cannot_apply_a_non_function [object java/lang/Object]) + (exception (cannot_apply_a_non_function [object java/lang/Object]) (exception.report "Object" (ffi.of_string (java/lang/Object::toString object)))) |