From a72e34d30eaf3557f9b76ced9605a95759ce8eca Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 24 Feb 2019 12:26:17 -0400
Subject: Got new-luxc to compile/build again.

---
 new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux
index 9f69b1edd..a8d135f7a 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/structure.jvm.lux
@@ -8,7 +8,7 @@
      format]
     [collection
      ["." list]]]
-   [platform
+   [tool
     [compiler
      ["." phase
       [synthesis (#+ Synthesis)]]]]]
@@ -28,7 +28,7 @@
 
 (def: #export (tuple translate members)
   (-> Phase (List Synthesis) (Operation Inst))
-  (do phase.Monad<Operation>
+  (do phase.monad
     [#let [size (list.size members)]
      _ (phase.assert not-a-tuple size
                      (n/>= 2 size))
@@ -54,7 +54,7 @@
 
 (def: #export (variant translate lefts right? member)
   (-> Phase Nat Bit Synthesis (Operation Inst))
-  (do phase.Monad<Operation>
+  (do phase.monad
     [memberI (translate member)]
     (wrap (|>> (_.int (.int (if right?
                               (.inc lefts)
-- 
cgit v1.2.3