From eff4c59794868b89d60fdc411f9b544a270b817e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 2 Aug 2021 20:26:21 -0400
Subject: Fixed a bug in the new compiler which allowed the same module to be
 imported more than once.

---
 lux-jvm/source/luxc/lang/translation/jvm/loop.lux | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/translation/jvm/loop.lux')

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
index d17d3dfe2..40f8ef0de 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
@@ -55,7 +55,7 @@
      valuesI+ (monad.map @ (function (_ [register argS])
                              (: (Operation Inst)
                                 (if (invariant? register argS)
-                                  (wrap function.identity)
+                                  (in function.identity)
                                   (translate archive argS))))
                          pairs)
      #let [storesI+ (list@map (function (_ [register argS])
@@ -63,10 +63,10 @@
                                    (if (invariant? register argS)
                                      function.identity
                                      (_.ASTORE register))))
-                              (list.reverse pairs))]]
-    (wrap (|>> (_.fuse valuesI+)
-               (_.fuse storesI+)
-               (_.GOTO @begin)))))
+                              (list.reversed pairs))]]
+    (in (|>> (_.fuse valuesI+)
+             (_.fuse storesI+)
+             (_.GOTO @begin)))))
 
 (def: #export (scope translate archive [start initsS+ iterationS])
   (Generator [Nat (List Synthesis) Synthesis])
@@ -80,6 +80,6 @@
                                            (|>> initI
                                                 (_.ASTORE (n.+ start register)))))
                                _.fuse)]]
-    (wrap (|>> initializationI
-               (_.label @begin)
-               iterationI))))
+    (in (|>> initializationI
+             (_.label @begin)
+             iterationI))))
-- 
cgit v1.2.3