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/luxc/lang/translation/jvm | |
| parent | bc36487224f670c23002cc4575c0dba3e5dc1be1 (diff) | |
Leaner syntax for library/lux/control/exception.report
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm')
| -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 |
2 files changed, 3 insertions, 3 deletions
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)) |