diff options
Diffstat (limited to 'stdlib/source/lux/target/jvm/encoding/unsigned.lux')
| -rw-r--r-- | stdlib/source/lux/target/jvm/encoding/unsigned.lux | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/lux/target/jvm/encoding/unsigned.lux index 5abc79468..c145dcdab 100644 --- a/stdlib/source/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/lux/target/jvm/encoding/unsigned.lux @@ -40,7 +40,7 @@ (n.< (:representation reference) (:representation sample)))) - (exception: #export (value-exceeds-the-maximum {type Name} + (exception: #export (value_exceeds_the_maximum {type Name} {value Nat} {maximum (Unsigned Any)}) (exception.report @@ -48,7 +48,7 @@ ["Value" (%.nat value)] ["Maximum" (%.nat (:representation maximum))])) - (exception: #export [brand] (subtraction-cannot-yield-negative-value + (exception: #export [brand] (subtraction_cannot_yield_negative_value {type Name} {parameter (Unsigned brand)} {subject (Unsigned brand)}) @@ -58,7 +58,7 @@ ["Subject" (%.nat (:representation subject))])) (template [<bytes> <name> <size> <constructor> <maximum> <+> <-> <max>] - [(with-expansions [<raw> (template.identifier [<name> "'"])] + [(with_expansions [<raw> (template.identifier [<name> "'"])] (abstract: #export <raw> Any) (type: #export <name> (Unsigned <raw>))) @@ -66,13 +66,13 @@ (def: #export <maximum> <name> - (|> <bytes> (n.* i64.bits-per-byte) i64.mask :abstraction)) + (|> <bytes> (n.* i64.bits_per_byte) i64.mask :abstraction)) (def: #export (<constructor> value) (-> Nat (Try <name>)) (if (n.<= (:representation <maximum>) value) (#try.Success (:abstraction value)) - (exception.throw ..value-exceeds-the-maximum [(name-of <name>) value <maximum>]))) + (exception.throw ..value_exceeds_the_maximum [(name_of <name>) value <maximum>]))) (def: #export (<+> parameter subject) (-> <name> <name> (Try <name>)) @@ -86,7 +86,7 @@ subject' (:representation subject)] (if (n.<= subject' parameter') (#try.Success (:abstraction (n.- parameter' subject'))) - (exception.throw ..subtraction-cannot-yield-negative-value [(name-of <name>) parameter subject])))) + (exception.throw ..subtraction_cannot_yield_negative_value [(name_of <name>) parameter subject])))) (def: #export (<max> left right) (-> <name> <name> <name>) @@ -107,8 +107,8 @@ [lift/4 U2 U4] ) - (template [<writer-name> <type> <writer>] - [(def: #export <writer-name> + (template [<writer_name> <type> <writer>] + [(def: #export <writer_name> (Writer <type>) (|>> :representation <writer>))] |