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 /stdlib/source/library/lux/target/jvm/encoding/signed.lux | |
parent | bc36487224f670c23002cc4575c0dba3e5dc1be1 (diff) |
Leaner syntax for library/lux/control/exception.report
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/encoding/signed.lux')
-rw-r--r-- | stdlib/source/library/lux/target/jvm/encoding/signed.lux | 48 |
1 files changed, 24 insertions, 24 deletions
diff --git a/stdlib/source/library/lux/target/jvm/encoding/signed.lux b/stdlib/source/library/lux/target/jvm/encoding/signed.lux index d33321b60..dba35fc11 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/signed.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/signed.lux @@ -1,26 +1,26 @@ (.using - [library - [lux {"-" int} - [abstract - [equivalence {"+" Equivalence}] - [order {"+" Order}]] - [control - ["[0]" try {"+" Try}] - ["[0]" exception {"+" exception:}]] - [data - [text - ["%" format {"+" format}]] - ["[0]" format "_" - ["[1]" binary {"+" Writer}]]] - [macro - ["[0]" template]] - [math - [number - ["[0]" i64] - ["n" nat] - ["i" int]]] - [type - abstract]]]) + [library + [lux {"-" int} + [abstract + [equivalence {"+" Equivalence}] + [order {"+" Order}]] + [control + ["[0]" try {"+" Try}] + ["[0]" exception {"+" exception:}]] + [data + [text + ["%" format {"+" format}]] + ["[0]" format "_" + ["[1]" binary {"+" Writer}]]] + [macro + ["[0]" template]] + [math + [number + ["[0]" i64] + ["n" nat] + ["i" int]]] + [type + abstract]]]) (abstract: .public (Signed brand) Int @@ -44,8 +44,8 @@ (exception: .public (value_exceeds_the_scope [value Int scope Nat]) (exception.report - ["Value" (%.int value)] - ["Scope (in bytes)" (%.nat scope)])) + "Value" (%.int value) + "Scope (in bytes)" (%.nat scope))) (template [<bytes> <name> <size> <constructor> <maximum> <minimum> <+> <->] [(with_expansions [<raw> (template.symbol [<name> "'"])] |