diff options
| author | Eduardo Julian | 2019-02-24 21:30:10 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-02-24 21:30:10 -0400 |
| commit | 2ae7dc30bf91d709a6038871e9c967dafb15cf49 (patch) | |
| tree | e8643c571c640b6f4b81723f95a6573f6b87c01b /new-luxc/source | |
| parent | a72e34d30eaf3557f9b76ced9605a95759ce8eca (diff) | |
Improved the names of monad transformers.
Diffstat (limited to 'new-luxc/source')
| -rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm.lux | 4 | ||||
| -rw-r--r-- | new-luxc/source/program.lux | 6 |
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)) ))) |