aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/bytecode/environment.lux')
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/environment.lux16
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
index 9ba2ca0d4..c7b6481fb 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
@@ -28,7 +28,7 @@
(do try.monad
[limit (<limit> type)]
(in [#limit limit
- #stack (#.Some /stack.empty)])))]
+ #stack {#.Some /stack.empty}])))]
[static /limit.static]
[virtual /limit.virtual]
@@ -53,8 +53,8 @@
(def: .public (stack environment)
(-> Environment (Try Stack))
(case (value@ #..stack environment)
- (#.Some stack)
- (#try.Success stack)
+ {#.Some stack}
+ {#try.Success stack}
#.None
(exception.except ..discontinuity [])))
@@ -72,13 +72,13 @@
(def: .public (continue expected environment)
(-> Stack Environment (Try [Stack Environment]))
(case (value@ #..stack environment)
- (#.Some actual)
+ {#.Some actual}
(if (\ /stack.equivalence = expected actual)
- (#try.Success [actual environment])
+ {#try.Success [actual environment]}
(exception.except ..mismatched_stacks [expected actual]))
#.None
- (#try.Success [expected (with@ #..stack (#.Some expected) environment)])))
+ {#try.Success [expected (with@ #..stack {#.Some expected} environment)]}))
(def: .public (consumes amount)
(-> U2 Condition)
@@ -88,7 +88,7 @@
(do try.monad
[previous (..stack environment)
current (/stack.pop amount previous)]
- (in (with@ #..stack (#.Some current) environment)))))
+ (in (with@ #..stack {#.Some current} environment)))))
(def: .public (produces amount)
(-> U2 Condition)
@@ -100,7 +100,7 @@
(value@ [#..limit #/limit.stack])
(/stack.max current))]]
(in (|> environment
- (with@ #..stack (#.Some current))
+ (with@ #..stack {#.Some current})
(with@ [#..limit #/limit.stack] limit))))))
(def: .public (has registry)