1 files changed, 10 insertions, 8 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 99a560347..a825e6699 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
@@ -17,11 +17,13 @@
    [encoding
     ["#." unsigned (#+ U2)]]])
 
-(abstract: #export Stack
+(abstract: .public Stack
+  {}
+  
   U2
 
   (template [<frames> <name>]
-    [(def: #export <name>
+    [(def: .public <name>
        Stack
        (|> <frames> /////unsigned.u2 maybe.assume :abstraction))]
 
@@ -29,13 +31,13 @@
     [1 catch]
     )
 
-  (def: #export equivalence
+  (def: .public equivalence
     (Equivalence Stack)
     (\ equivalence.functor map
        (|>> :representation)
        /////unsigned.equivalence))
 
-  (def: #export writer
+  (def: .public writer
     (Writer Stack)
     (|>> :representation /////unsigned.writer/2))
 
@@ -44,7 +46,7 @@
     (|>> :abstraction))
 
   (template [<op> <name>]
-    [(def: #export (<name> amount)
+    [(def: .public (<name> amount)
        (-> U2 (-> Stack (Try Stack)))
        (|>> :representation
             (<op> amount)
@@ -54,16 +56,16 @@
     [/////unsigned.-/2 pop]
     )
 
-  (def: #export (max left right)
+  (def: .public (max left right)
     (-> Stack Stack Stack)
     (:abstraction
      (/////unsigned.max/2 (:representation left)
                           (:representation right))))
 
-  (def: #export format
+  (def: .public format
     (Format Stack)
     (|>> :representation /////unsigned.value %.nat))
   )
 
-(def: #export length
+(def: .public length
   /////unsigned.bytes/2)