diff options
Diffstat (limited to 'stdlib/source/lux/type/check.lux')
-rw-r--r-- | stdlib/source/lux/type/check.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/lux/type/check.lux b/stdlib/source/lux/type/check.lux index 36254634e..b561823ee 100644 --- a/stdlib/source/lux/type/check.lux +++ b/stdlib/source/lux/type/check.lux @@ -531,9 +531,9 @@ _ (fail "")))) -(def: (with-stack exception parameter check) +(def: (with exception parameter check) (All [e a] (-> (Exception e) e (Check a) (Check a))) - (|>> check (exception.with-stack exception parameter))) + (|>> check (exception.with exception parameter))) ## TODO: "check'" can be optimized... (def: #export (check' assumptions expected actual) @@ -541,7 +541,7 @@ (Checker Type) (if (is? expected actual) (check@wrap assumptions) - (with-stack type-check-failed [expected actual] + (with type-check-failed [expected actual] (case [expected actual] [(#.Var idE) (#.Var idA)] (check-vars check' assumptions idE idA) |