diff options
| author | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-15 22:45:49 -0400 |
| commit | b0093a3849baaeb5e12692b2cf6ac65ba74bbd54 (patch) | |
| tree | 26db4a468c2f75c64ba16e8b7dbf20f135d369fc /lux-jvm/source | |
| parent | bc36487224f670c23002cc4575c0dba3e5dc1be1 (diff) | |
Leaner syntax for library/lux/control/exception.report
Diffstat (limited to 'lux-jvm/source')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm.lux | 12 | ||||
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux | 2 | ||||
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/structure.lux | 4 |
3 files changed, 9 insertions, 9 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm.lux b/lux-jvm/source/luxc/lang/translation/jvm.lux index e65d58052..99ff673b6 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm.lux @@ -64,20 +64,20 @@ (exception: .public (cannot_load [class Text error Text]) (exception.report - ["Class" class] - ["Error" error])) + "Class" class + "Error" error)) (exception: .public (invalid_field [class Text field Text error Text]) (exception.report - ["Class" class] - ["Field" field] - ["Error" error])) + "Class" class + "Field" field + "Error" error)) (exception: .public (invalid_value [class Text]) (exception.report - ["Class" class])) + "Class" class)) (def: (class_value class_name class) (-> Text (java/lang/Class java/lang/Object) (Try Any)) diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux index 0ea499e92..f98188196 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux @@ -93,7 +93,7 @@ (exception: .public (not_an_object_array [arrayJT (Type Array)]) (exception.report - ["JVM Type" (..signature arrayJT)])) + "JVM Type" (..signature arrayJT))) (def: .public object_array (Parser (Type Object)) diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux index e7604be15..878658efe 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux @@ -39,8 +39,8 @@ (exception: .public (not_a_tuple [size Nat]) (exception.report - ["Expected size" ">= 2"] - ["Actual size" (%.nat size)])) + "Expected size" ">= 2" + "Actual size" (%.nat size))) (def: .public (tuple generate archive members) (Generator (List Synthesis)) |