diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux index 3c8e419fb..89ea421a1 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux @@ -20,7 +20,7 @@ (primitive: .public Stack U2 - (template [<frames> <name>] + (with_template [<frames> <name>] [(def: .public <name> Stack (|> <frames> /////unsigned.u2 maybe.trusted abstraction))] @@ -43,7 +43,7 @@ (-> U2 Stack) (|>> abstraction)) - (template [<op> <name>] + (with_template [<op> <name>] [(def: .public (<name> amount) (-> U2 (-> Stack (Try Stack))) (|>> representation |