aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux')
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux10
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux
index fad7c9dae..d8117947e 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux
@@ -20,12 +20,12 @@
[type (#+ Type)
[category (#+ Method)]]]])
-(type: #export Limit
+(type: .public Limit
{#stack Stack
#registry Registry})
(template [<name> <registry>]
- [(def: #export (<name> type)
+ [(def: .public (<name> type)
(-> (Type Method) (Try Limit))
(do try.monad
[registry (<registry> type)]
@@ -36,21 +36,21 @@
[virtual /registry.virtual]
)
-(def: #export length
+(def: .public length
($_ n.+
## u2 max_stack;
/stack.length
## u2 max_locals;
/registry.length))
-(def: #export equivalence
+(def: .public equivalence
(Equivalence Limit)
($_ product.equivalence
/stack.equivalence
/registry.equivalence
))
-(def: #export (writer limit)
+(def: .public (writer limit)
(Writer Limit)
($_ format\compose
(/stack.writer (get@ #stack limit))