diff options
Diffstat (limited to 'stdlib/source/lux/tool/compiler/phase/analysis/type.lux')
| -rw-r--r-- | stdlib/source/lux/tool/compiler/phase/analysis/type.lux | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/type.lux b/stdlib/source/lux/tool/compiler/phase/analysis/type.lux index d7ebbe2a3..20b313381 100644 --- a/stdlib/source/lux/tool/compiler/phase/analysis/type.lux +++ b/stdlib/source/lux/tool/compiler/phase/analysis/type.lux @@ -3,9 +3,8 @@ [abstract [monad (#+ do)]] [control - ["." function]] - [data - ["." error]] + ["." function] + ["." try]] [type ["." check (#+ Check)]] ["." macro]] @@ -23,11 +22,11 @@ (All [a] (-> (Check a) (Operation a))) (function (_ (^@ stateE [bundle state])) (case (action (get@ #.type-context state)) - (#error.Success [context' output]) - (#error.Success [[bundle (set@ #.type-context context' state)] - output]) + (#try.Success [context' output]) + (#try.Success [[bundle (set@ #.type-context context' state)] + output]) - (#error.Failure error) + (#try.Failure error) ((/.fail error) stateE)))) (def: #export with-fresh-env |