aboutsummaryrefslogtreecommitdiff
path: root/new-luxc
diff options
context:
space:
mode:
authorEduardo Julian2019-02-24 21:30:10 -0400
committerEduardo Julian2019-02-24 21:30:10 -0400
commit2ae7dc30bf91d709a6038871e9c967dafb15cf49 (patch)
treee8643c571c640b6f4b81723f95a6573f6b87c01b /new-luxc
parenta72e34d30eaf3557f9b76ced9605a95759ce8eca (diff)
Improved the names of monad transformers.
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm.lux4
-rw-r--r--new-luxc/source/program.lux6
2 files changed, 5 insertions, 5 deletions
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))
)))