aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-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 fdf50d974..289e3bd99 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
@@ -26,8 +26,8 @@
(-> (Type Method) (Try Environment))
(do try.monad
[limit (<limit> type)]
- (wrap {#limit limit
- #stack (#.Some /stack.empty)})))]
+ (in {#limit limit
+ #stack (#.Some /stack.empty)})))]
[static /limit.static]
[virtual /limit.virtual]
@@ -56,7 +56,7 @@
(#try.Success stack)
#.None
- (exception.throw ..discontinuity [])))
+ (exception.except ..discontinuity [])))
(def: #export discontinue
(-> Environment Environment)
@@ -74,7 +74,7 @@
(#.Some actual)
(if (\ /stack.equivalence = expected actual)
(#try.Success [actual environment])
- (exception.throw ..mismatched_stacks [expected actual]))
+ (exception.except ..mismatched_stacks [expected actual]))
#.None
(#try.Success [expected (set@ #..stack (#.Some expected) environment)])))
@@ -87,7 +87,7 @@
(do try.monad
[previous (..stack environment)
current (/stack.pop amount previous)]
- (wrap (set@ #..stack (#.Some current) environment)))))
+ (in (set@ #..stack (#.Some current) environment)))))
(def: #export (produces amount)
(-> U2 Condition)
@@ -98,9 +98,9 @@
#let [limit (|> environment
(get@ [#..limit #/limit.stack])
(/stack.max current))]]
- (wrap (|> environment
- (set@ #..stack (#.Some current))
- (set@ [#..limit #/limit.stack] limit))))))
+ (in (|> environment
+ (set@ #..stack (#.Some current))
+ (set@ [#..limit #/limit.stack] limit))))))
(def: #export (has registry)
(-> Registry Condition)