diff options
Diffstat (limited to 'stdlib/source/library/lux/ffi.jvm.lux')
| -rw-r--r-- | stdlib/source/library/lux/ffi.jvm.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux index b3ece286c..fddb85cb7 100644 --- a/stdlib/source/library/lux/ffi.jvm.lux +++ b/stdlib/source/library/lux/ffi.jvm.lux @@ -8,7 +8,7 @@ ["[0]" io] ["[0]" maybe] ["[0]" try (.only Try)] - ["[0]" exception (.only Exception exception:)] + ["[0]" exception (.only Exception exception)] ["<>" parser (.use "[1]#[0]" monad) ["<[0]>" code (.only Parser)]]] [data @@ -556,12 +556,12 @@ (<code>.this (' "abstract")) (in [])))) -(exception: .public (class_names_cannot_contain_periods [name Text]) +(exception .public (class_names_cannot_contain_periods [name Text]) (exception.report "Name" (%.text name))) -(exception: .public (class_name_cannot_be_a_type_variable [name Text - type_vars (List (Type Var))]) +(exception .public (class_name_cannot_be_a_type_variable [name Text + type_vars (List (Type Var))]) (exception.report "Name" (%.text name) "Type Variables" (exception.listing parser.name type_vars))) @@ -594,8 +594,8 @@ (<code>.form (<>.and class_name^ (<>.some (parameter^ type_vars))))))] (in (jvm.class (name.safe name) parameters)))) -(exception: .public (unknown_type_variable [name Text - type_vars (List (Type Var))]) +(exception .public (unknown_type_variable [name Text + type_vars (List (Type Var))]) (exception.report "Unexpected Type Variable" (%.text name) "Expected Type Variables" (exception.listing parser.name type_vars))) @@ -1153,8 +1153,8 @@ [body (super_expression declaration,method,self body)] (in (list body))))) -(exception: .public (insufficient_parameters [expected Nat - actual Nat]) +(exception .public (insufficient_parameters [expected Nat + actual Nat]) (exception.report "Expected" (%.nat expected) "Actual" (%.nat actual))) @@ -1580,8 +1580,8 @@ (list name (` (~! <code>.any))))) list#conjoint)) -(exception: .public (cannot_write_to_field [class Text - field Text]) +(exception .public (cannot_write_to_field [class Text + field Text]) (exception.report "Class" (%.text class) "Field" (%.text field))) @@ -1815,7 +1815,7 @@ (.is (~ (value_type {#ManualPrM} (jvm.array type))) ("jvm array new object" (~ g!size)))))))))))) -(exception: .public (cannot_convert_to_jvm_type [type .Type]) +(exception .public (cannot_convert_to_jvm_type [type .Type]) (exception.report "Lux Type" (%.type type))) @@ -2042,7 +2042,7 @@ (syntax (_ [type (..type^ (list))]) (in (list (..value_type {#ManualPrM} type))))) -(exception: .public (cannot_cast_to_non_object [type (Type Value)]) +(exception .public (cannot_cast_to_non_object [type (Type Value)]) (exception.report "Signature" (..signature type) "Reflection" (..reflection type))) |