aboutsummaryrefslogtreecommitdiff
path: root/lux-lua
diff options
context:
space:
mode:
authorEduardo Julian2021-08-16 01:12:01 -0400
committerEduardo Julian2021-08-16 01:12:01 -0400
commit3289b9dcf9d5d1c1e5c380e3185065c8fd32535f (patch)
treefc2f67581dd7b1d72c20217a95e031187a375bc5 /lux-lua
parent6fd22846f21b8b70b7867e989109d14a366c0a3e (diff)
Made extension-definition macros specify their bindings the same way as syntax:.
Diffstat (limited to 'lux-lua')
-rw-r--r--lux-lua/source/program.lux26
1 files changed, 13 insertions, 13 deletions
diff --git a/lux-lua/source/program.lux b/lux-lua/source/program.lux
index ffaf3a8e9..2a530ba13 100644
--- a/lux-lua/source/program.lux
+++ b/lux-lua/source/program.lux
@@ -188,7 +188,7 @@
(net/sandius/rembulan/impl/DefaultTable
[] (rawget self {idx long}) java/lang/Object
- (|> value (array.read! (|> idx (:as Nat) dec)) maybe.assume re_wrap))
+ (|> value (array.read! (|> idx (:as Nat) dec)) maybe.trusted re_wrap))
(net/sandius/rembulan/impl/DefaultTable
[] (rawget self {field java/lang/Object}) java/lang/Object
@@ -196,7 +196,7 @@
(#.Some field)
(case (net/sandius/rembulan/ByteString::decode field)
(^ (static runtime.variant_tag_field))
- (|> value (array.read! 0) maybe.assume)
+ (|> value (array.read! 0) maybe.trusted)
(^ (static runtime.variant_flag_field))
(case (array.read! 1 value)
@@ -207,7 +207,7 @@
(ffi.null))
(^ (static runtime.variant_value_field))
- (|> value (array.read! 2) maybe.assume re_wrap)
+ (|> value (array.read! 2) maybe.trusted re_wrap)
_
(panic! (exception.construct ..unknown_kind_of_object field)))
@@ -215,7 +215,7 @@
#.None
(case (ffi.check java/lang/Long field)
(#.Some idx)
- (|> value (array.read! (|> idx (:as Nat) dec)) maybe.assume re_wrap)
+ (|> value (array.read! (|> idx (:as Nat) dec)) maybe.trusted re_wrap)
#.None
(panic! (exception.construct ..unknown_kind_of_object field)))))
@@ -319,7 +319,7 @@
... (net/sandius/rembulan/impl/ImmutableTable$Builder::build (net/sandius/rembulan/impl/ImmutableTable$Builder::new))
(:as java/lang/Object (lux_structure (:as (Array java/lang/Object) lux)))))
executor)]
- (|> output (array.read! 0) maybe.assume (:as java/lang/Object) ..read)))
+ (|> output (array.read! 0) maybe.trusted (:as java/lang/Object) ..read)))
(def: (expander baggage macro inputs lux)
(-> Baggage Expander)
@@ -552,7 +552,7 @@
(#.Some value)
(read value)))))
- _ (try.assumed (run! ..rembulan_prelude))]
+ _ (try.trusted (run! ..rembulan_prelude))]
[[state_context executor]
(: (Host _.Expression _.Statement)
(implementation
@@ -572,7 +572,7 @@
(wrap [global value definition]))))
(def: (ingest context content)
- (|> content (\ utf8.codec decode) try.assumed (:as _.Statement)))
+ (|> content (\ utf8.codec decode) try.trusted (:as _.Statement)))
(def: (re_learn context custom content)
(run! content))
@@ -610,7 +610,7 @@
(wrap [global value definition]))))
(def: (ingest context content)
- (|> content (\ utf8.codec decode) try.assumed (:as _.Statement)))
+ (|> content (\ utf8.codec decode) try.trusted (:as _.Statement)))
(def: (re_learn context custom content)
(run! content))
@@ -657,7 +657,7 @@
{input/0 java/lang/Object})
void
(<| (..return %)
- try.assumed
+ try.trusted
(do try.monad
[input/0 (..read input/0)]
(case partial_application
@@ -683,7 +683,7 @@
{input/1 java/lang/Object})
void
(<| (..return %)
- try.assumed
+ try.trusted
(do try.monad
[input/0 (..read input/0)
input/1 (..read input/1)]
@@ -708,7 +708,7 @@
{input/2 java/lang/Object})
void
(<| (..return %)
- try.assumed
+ try.trusted
(do try.monad
[input/0 (..read input/0)
input/1 (..read input/1)
@@ -735,7 +735,7 @@
(:as Operation)
(function (@self state))
(:as Try)
- try.assumed
+ try.trusted
(:as Try)
(do try.monad
[handler (try.of_maybe (..ensure_function handler))
@@ -750,7 +750,7 @@
executor)]
(|> output
(array.read! 0)
- maybe.assume
+ maybe.trusted
(:as java/lang/Object)
..read)))))