aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/target/jvm/encoding/signed.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/encoding/signed.lux')
-rw-r--r--stdlib/source/library/lux/target/jvm/encoding/signed.lux48
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> "'"])]