From ec1f31b5a1492d5e0ab260397291d4449483bbd9 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 23 Aug 2021 02:30:53 -0400
Subject: The Python compiler can now be compiled by the new JVM compiler.

---
 lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index 31538a0bd..e2855e999 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -16,7 +16,7 @@
      ["." text ("#\." equivalence)
       ["%" format (#+ format)]]
      [collection
-      ["." list ("#\." monad fold)]
+      ["." list ("#\." monad mix)]
       ["." dictionary (#+ Dictionary)]
       ["." set]]]
     [macro
@@ -1031,10 +1031,10 @@
   (-> Nat (List (Type Value)) Inst)
   (|> types
       list.enumeration
-      (list\fold (function (_ [lux_register type] [jvm_register before])
-                   (let [[jvm_register' after] (prepare_argument (n.+ offset lux_register) type jvm_register)]
-                     [jvm_register' (|>> before after)]))
-                 (: [Register Inst] [offset (|>>)]))
+      (list\mix (function (_ [lux_register type] [jvm_register before])
+                  (let [[jvm_register' after] (prepare_argument (n.+ offset lux_register) type jvm_register)]
+                    [jvm_register' (|>> before after)]))
+                (: [Register Inst] [offset (|>>)]))
       product.right))
 
 (def: .public (returnI returnT)
-- 
cgit v1.2.3