aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool/compiler/phase.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/tool/compiler/phase.lux7
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase.lux b/stdlib/source/lux/tool/compiler/phase.lux
index a6b080a19..6137e9fd6 100644
--- a/stdlib/source/lux/tool/compiler/phase.lux
+++ b/stdlib/source/lux/tool/compiler/phase.lux
@@ -1,7 +1,7 @@
(.module:
[lux #*
[abstract
- [monad (#+ do)]]
+ [monad (#+ Monad do)]]
[control
["." state]
["ex" exception (#+ Exception exception:)]
@@ -10,7 +10,7 @@
["s" code]]]
[data
["." product]
- ["." error (#+ Error) ("#;." functor)]
+ ["." error (#+ Error) ("#@." functor)]
["." text
format]]
[time
@@ -23,6 +23,7 @@
(state.State' Error s o))
(def: #export monad
+ (All [s] (Monad (Operation s)))
(state.with error.monad))
(type: #export (Phase s i o)
@@ -73,7 +74,7 @@
(def: #export (lift error)
(All [s a] (-> (Error a) (Operation s a)))
(function (_ state)
- (error;map (|>> [state]) error)))
+ (error@map (|>> [state]) error)))
(syntax: #export (assert exception message test)
(wrap (list (` (if (~ test)