diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/encoding/unsigned.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux index 8bbc74213..6126469a4 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux @@ -59,7 +59,7 @@ "Parameter" (%.nat (representation parameter)) "Subject" (%.nat (representation subject)))) - (template [<bytes> <name> <size> <constructor> <maximum> <+> <-> <max>] + (with_template [<bytes> <name> <size> <constructor> <maximum> <+> <-> <max>] [(with_expansions [<raw> (template.symbol [<name> "'"])] (primitive: .public <raw> Any) (type: .public <name> (Unsigned <raw>))) @@ -100,7 +100,7 @@ [4 U4 bytes/4 u4 maximum/4 +/4 -/4 max/4] ) - (template [<name> <from> <to>] + (with_template [<name> <from> <to>] [(def: .public <name> (-> <from> <to>) (|>> transmutation))] @@ -109,7 +109,7 @@ [lifted/4 U2 U4] ) - (template [<writer_name> <type> <writer>] + (with_template [<writer_name> <type> <writer>] [(def: .public <writer_name> (Writer <type>) (|>> representation <writer>))] |