From 3289b9dcf9d5d1c1e5c380e3185065c8fd32535f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 16 Aug 2021 01:12:01 -0400
Subject: Made extension-definition macros specify their bindings the same way
 as syntax:.

---
 lux-lua/source/program.lux | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

(limited to 'lux-lua')

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)))))
 
-- 
cgit v1.2.3