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-jvm/source/luxc/lang/host/jvm/inst.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/host/jvm/inst.lux')

diff --git a/lux-jvm/source/luxc/lang/host/jvm/inst.lux b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
index 90732578e..0c724ca87 100644
--- a/lux-jvm/source/luxc/lang/host/jvm/inst.lux
+++ b/lux-jvm/source/luxc/lang/host/jvm/inst.lux
@@ -375,7 +375,7 @@
           labels_array (ffi.array org/objectweb/asm/Label array_size)
           _ (loop [idx 0]
               (if (n.< array_size idx)
-                (let [[key label] (maybe.assume (list.item idx keys+labels))]
+                (let [[key label] (maybe.trusted (list.item idx keys+labels))]
                   (exec
                     (ffi.array_write idx (ffi.long_to_int key) keys_array)
                     (ffi.array_write idx label labels_array)
@@ -392,7 +392,7 @@
           _ (loop [idx 0]
               (if (n.< num_labels idx)
                 (exec (ffi.array_write idx
-                                       (maybe.assume (list.item idx labels))
+                                       (maybe.trusted (list.item idx labels))
                                        labels_array)
                   (recur (inc idx)))
                 []))]
@@ -466,4 +466,4 @@
     singleton
 
     (#.Item head tail)
-    (function.compose (fuse tail) head)))
+    (function.composite (fuse tail) head)))
-- 
cgit v1.2.3