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

(limited to 'lux-scheme')

diff --git a/lux-scheme/source/program.lux b/lux-scheme/source/program.lux
index 7a82b96bb..f16b8cdcc 100644
--- a/lux-scheme/source/program.lux
+++ b/lux-scheme/source/program.lux
@@ -184,7 +184,7 @@
          false)
        (|> value
            (array.read! 0)
-           maybe.assume
+           maybe.trusted
            (:as java/lang/Integer)
            gnu/math/IntNum::new)))
     (gnu/lists/Pair
@@ -192,7 +192,7 @@
      (if cdr?
        (|> value
            (array.read! 2)
-           maybe.assume
+           maybe.trusted
            lux_value)
        (variant_value lux_value true value)))))
 
@@ -211,7 +211,7 @@
      [] (getRaw self {idx int}) java/lang/Object
      (|> value
          (array.read! (|> idx java/lang/Integer::longValue (:as Nat)))
-         maybe.assume
+         maybe.trusted
          lux_value))
     (gnu/lists/SimpleVector
      [] (getBuffer self) java/lang/Object
@@ -380,7 +380,7 @@
                   (wrap [global value definition]))))
 
             (def: (ingest context content)
-              (|> content (\ encoding.utf8 decode) try.assume (:as _.Expression)))
+              (|> content (\ encoding.utf8 decode) try.trusted (:as _.Expression)))
 
             (def: (re_learn context content)
               (run! content))
@@ -423,7 +423,7 @@
             (:as Operation)
             (function (@self state))
             (:as Try)
-            try.assume
+            try.trusted
             (:as Try)
             (do try.monad
               [handler (try.from_maybe (..ensure_macro (:as Macro handler)))
-- 
cgit v1.2.3