aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/target/jvm/bytecode/environment
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/bytecode/environment')
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux7
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux17
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux4
3 files changed, 15 insertions, 13 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 d57c07354..515728d71 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux
@@ -21,8 +21,9 @@
[category (#+ Method)]]]])
(type: .public Limit
- {#stack Stack
- #registry Registry})
+ (Record
+ {#stack Stack
+ #registry Registry}))
(template [<name> <registry>]
[(def: .public (<name> type)
@@ -52,7 +53,7 @@
(def: .public (writer limit)
(Writer Limit)
- ($_ format\compose
+ ($_ format\composite
(/stack.writer (value@ #stack limit))
(/registry.writer (value@ #registry limit))
))
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux
index b1d51e164..04bf00456 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux
@@ -22,7 +22,8 @@
[category (#+ Method)]
["#/." parser]]])
-(type: .public Register U1)
+(type: .public Register
+ U1)
(def: normal 1)
(def: wide 2)
@@ -40,11 +41,11 @@
(-> (Type Method) Nat)
(let [[type_variables inputs output exceptions] (/////type/parser.method type)]
(|> inputs
- (list\map (function (_ input)
- (if (or (same? /////type.long input)
- (same? /////type.double input))
- ..wide
- ..normal)))
+ (list\each (function (_ input)
+ (if (or (same? /////type.long input)
+ (same? /////type.double input))
+ ..wide
+ ..normal)))
(list\mix n.+ 0))))
(template [<start> <name>]
@@ -53,7 +54,7 @@
(|>> ..minimal
(n.+ <start>)
/////unsigned.u2
- (try\map ..registry)))]
+ (try\each ..registry)))]
[0 static]
[1 virtual]
@@ -61,7 +62,7 @@
(def: .public equivalence
(Equivalence Registry)
- (\ equivalence.functor map
+ (\ equivalence.functor each
(|>> :representation)
/////unsigned.equivalence))
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 ac3934f87..13d4b5137 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
@@ -33,7 +33,7 @@
(def: .public equivalence
(Equivalence Stack)
- (\ equivalence.functor map
+ (\ equivalence.functor each
(|>> :representation)
/////unsigned.equivalence))
@@ -50,7 +50,7 @@
(-> U2 (-> Stack (Try Stack)))
(|>> :representation
(<op> amount)
- (\ try.functor map ..stack)))]
+ (\ try.functor each ..stack)))]
[/////unsigned.+/2 push]
[/////unsigned.-/2 pop]