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-js/source/program.lux | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'lux-js/source')

diff --git a/lux-js/source/program.lux b/lux-js/source/program.lux
index f58fa3d40..22e12f197 100644
--- a/lux-js/source/program.lux
+++ b/lux-js/source/program.lux
@@ -198,7 +198,7 @@
                  (org/openjdk/nashorn/api/scripting/AbstractJSObject
                   [] (call self {this java/lang/Object} {args [java/lang/Object]}) java/lang/Object
                   (|> (java/util/Arrays::copyOfRange value
-                                                     (|> args (array.read! 0) maybe.assume (:as Int))
+                                                     (|> args (array.read! 0) maybe.trusted (:as Int))
                                                      (.int (array.size value)))
                       js_object
                       (:as java/lang/Object)))
@@ -242,7 +242,7 @@
                            (::slice js_object value))
 
                       (^ (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)
@@ -253,7 +253,7 @@
                         (ffi.null))
                       
                       (^ (static runtime.variant_value_field))
-                      (|> value (array.read! 2) maybe.assume js_object (:as java/lang/Object))
+                      (|> value (array.read! 2) maybe.trusted js_object (:as java/lang/Object))
                       
                       _
                       (panic! (exception.construct ..unknown_member [(:as Text member) (:as java/lang/Object value)])))
@@ -262,7 +262,7 @@
                     [] (getSlot self {idx int}) java/lang/Object
                     (|> value
                         (array.read! (|> idx java/lang/Integer::longValue (:as Nat)))
-                        maybe.assume
+                        maybe.trusted
                         js_object
                         (:as java/lang/Object)))
                    )))
@@ -487,7 +487,7 @@
                          (def: define! (..define! interpreter))
 
                          (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)
                            (..execute! interpreter content))
@@ -546,7 +546,7 @@
                        (def: define! ..define!)
 
                        (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)
                          (..execute! content))
@@ -613,7 +613,7 @@
             (:as Operation)
             (function (@self state))
             (:as Try)
-            try.assumed
+            try.trusted
             (:as Try)
             (do try.monad
               [handler (try.of_maybe (..ensure_function handler))
-- 
cgit v1.2.3