1 files changed, 0 insertions, 57 deletions
diff --git a/stdlib/source/lux/target/jvm/bytecode/environment/limit.lux b/stdlib/source/lux/target/jvm/bytecode/environment/limit.lux
deleted file mode 100644
index 7c277d4c6..000000000
--- a/stdlib/source/lux/target/jvm/bytecode/environment/limit.lux
+++ /dev/null
@@ -1,57 +0,0 @@
-(.module:
-  [lux (#- Type static)
-   [abstract
-    [monad (#+ do)]
-    [equivalence (#+ Equivalence)]]
-   [control
-    ["." try (#+ Try)]]
-   [data
-    ["." product]
-    ["." format #_
-     ["#" binary (#+ Writer) ("#\." monoid)]]]
-   [math
-    [number
-     ["n" nat]]]]
-  ["." / #_
-   ["#." stack (#+ Stack)]
-   ["#." registry (#+ Registry)]
-   [////
-    [type (#+ Type)
-     [category (#+ Method)]]]])
-
-(type: #export Limit
-  {#stack Stack
-   #registry Registry})
-
-(template [<name> <registry>]
-  [(def: #export (<name> type)
-     (-> (Type Method) (Try Limit))
-     (do try.monad
-       [registry (<registry> type)]
-       (wrap {#stack /stack.empty
-              #registry registry})))]
-
-  [static /registry.static]
-  [virtual /registry.virtual]
-  )
-
-(def: #export length
-  ($_ n.+
-      ## u2 max_stack;
-      /stack.length
-      ## u2 max_locals;
-      /registry.length))
-
-(def: #export equivalence
-  (Equivalence Limit)
-  ($_ product.equivalence
-      /stack.equivalence
-      /registry.equivalence
-      ))
-
-(def: #export (writer limit)
-  (Writer Limit)
-  ($_ format\compose
-      (/stack.writer (get@ #stack limit))
-      (/registry.writer (get@ #registry limit))
-      ))