From 2ae7dc30bf91d709a6038871e9c967dafb15cf49 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 24 Feb 2019 21:30:10 -0400
Subject: Improved the names of monad transformers.

---
 new-luxc/source/luxc/lang/translation/jvm.lux | 4 ++--
 new-luxc/source/program.lux                   | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'new-luxc/source')

diff --git a/new-luxc/source/luxc/lang/translation/jvm.lux b/new-luxc/source/luxc/lang/translation/jvm.lux
index 88e607217..5ffb60482 100644
--- a/new-luxc/source/luxc/lang/translation/jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm.lux
@@ -100,14 +100,14 @@
                                              (|>> valueI
                                                   (inst.PUTSTATIC bytecode-name ..value-field ..$Object)
                                                   inst.RETURN))))]
-    (io.run (do (error.with-error io.monad)
+    (io.run (do (error.with io.monad)
               [_ (loader.store eval-class bytecode library)
                class (loader.load eval-class loader)]
               (:: io.monad wrap (class-value eval-class class))))))
 
 (def: (execute! library loader temp-label [class-name class-bytecode])
   (-> Library ClassLoader Text Definition (Error Any))
-  (io.run (do (error.with-error io.monad)
+  (io.run (do (error.with io.monad)
             [_ (loader.store class-name class-bytecode library)]
             (loader.load class-name loader))))
 
diff --git a/new-luxc/source/program.lux b/new-luxc/source/program.lux
index cee627708..0f761d70d 100644
--- a/new-luxc/source/program.lux
+++ b/new-luxc/source/program.lux
@@ -57,7 +57,7 @@
 (def: (timed action)
   (All [a]
     (-> (-> Any (IO (Error a))) (IO (Error a))))
-  (do (error.with-error io.monad)
+  (do (error.with io.monad)
     [start (: (IO (Error Instant))
               (error.lift io.monad instant.now))
      result (action [])
@@ -88,7 +88,7 @@
       (<| (or-crash! "Compilation failed:")
           ..timed
           (function (_ _)
-            (do (error.with-error io.monad)
+            (do (error.with io.monad)
               [state (: (IO (Error (statement.State+ host/jvm.Anchor host/jvm.Inst host/jvm.Definition)))
                         (platform.initialize platform common.bundle))
                ## _ (platform.compile platform (set@ #cli.module syntax.prelude configuration) state)
@@ -102,5 +102,5 @@
       ## TODO: Fix the interpreter...
       (undefined)
       ## (<| (or-crash! "Interpretation failed:")
-      ##     (interpreter.run (error.with-error io.monad) console platform configuration common.bundle))
+      ##     (interpreter.run (error.with io.monad) console platform configuration common.bundle))
       )))
-- 
cgit v1.2.3