diff options
| author | Eduardo Julian | 2018-07-04 19:05:21 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-04 19:05:21 -0400 |
| commit | 01353c65c1a6b03285eee4de28a12abdbf3c9715 (patch) | |
| tree | d69fb0561acd363926dc0a3d8d11f3fc351d91a5 /stdlib/source/lux/lang/compiler/analysis/inference.lux | |
| parent | 9ba7b6416a34d9f031b113aa48b1663b14dcb0aa (diff) | |
- "with-stack" function for stacking exceptions.
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/lang/compiler/analysis/inference.lux | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/stdlib/source/lux/lang/compiler/analysis/inference.lux b/stdlib/source/lux/lang/compiler/analysis/inference.lux index abf1529d6..5e3fb0cfe 100644 --- a/stdlib/source/lux/lang/compiler/analysis/inference.lux +++ b/stdlib/source/lux/lang/compiler/analysis/inference.lux @@ -143,11 +143,9 @@ (#.Function inputT outputT) (do ///.Monad<Operation> [[outputT' args'A] (general analyse outputT args') - argA (///.with-stacked-errors - (function (_ _) - (ex.construct cannot-infer-argument [inputT argC])) - (//type.with-type inputT - (analyse argC)))] + argA (<| (///.with-stack cannot-infer-argument [inputT argC]) + (//type.with-type inputT) + (analyse argC))] (wrap [outputT' (list& argA args'A)])) (#.Var infer-id) |