diff options
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/phase.lux')
| -rw-r--r-- | stdlib/source/library/lux/tool/compiler/phase.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/phase.lux b/stdlib/source/library/lux/tool/compiler/phase.lux index f27b3a5e3..a0b4df481 100644 --- a/stdlib/source/library/lux/tool/compiler/phase.lux +++ b/stdlib/source/library/lux/tool/compiler/phase.lux @@ -20,7 +20,7 @@ [meta [archive (.only Archive)]]]) -(type: .public (Operation s o) +(type .public (Operation s o) (state.+State Try s o)) (def .public functor @@ -53,10 +53,10 @@ {try.#Failure error} {try.#Failure error}))))) -(type: .public (Phase s i o) +(type .public (Phase s i o) (-> Archive i (Operation s o))) -(type: .public Wrapper +(type .public Wrapper (All (_ s i o) (-> (Phase s i o) Any))) (def .public (result' state operation) |