diff options
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> "'"])] |