diff options
| author | Nadrieril | 2020-01-30 11:53:18 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-30 11:53:18 +0000 |
| commit | ec5fb594adf10b18a4457c3089ce4b00e2c50a39 (patch) | |
| tree | 1bb20cae1aff325e1eb60c250f4bb867ef9b39f8 /dhall/src | |
| parent | 7dd2d64073b662acccb39601591c754279385308 (diff) | |
Remove debug output in type errors
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/semantics/tck/typecheck.rs | 15 |
1 files changed, 3 insertions, 12 deletions
diff --git a/dhall/src/semantics/tck/typecheck.rs b/dhall/src/semantics/tck/typecheck.rs index 22ba72d..5422e6d 100644 --- a/dhall/src/semantics/tck/typecheck.rs +++ b/dhall/src/semantics/tck/typecheck.rs @@ -269,7 +269,7 @@ fn type_one_layer( let arg_nf = arg.normalize_nf(env.as_nzenv()); closure.apply(arg_nf) } - _ => return mkerr(format!("apply to not Pi: {:?}", tf_borrow)), + _ => return mkerr(format!("apply to not Pi")), } } ExprKind::BoolIf(x, y, z) => { @@ -447,12 +447,7 @@ fn type_one_layer( match &*handler_type_borrow { ValueKind::PiClosure { closure, annot, .. } => { if variant_type != annot { - // return mkerr("MergeHandlerTypeMismatch"); - return mkerr(format!( - "MergeHandlerTypeMismatch: {:#?} != {:#?}", - variant_type, - annot - )); + return mkerr("MergeHandlerTypeMismatch"); } let v = NzVar::fresh(); @@ -470,11 +465,7 @@ fn type_one_layer( None => inferred_type = Some(handler_return_type), Some(t) => { if t != &handler_return_type { - // return mkerr("MergeHandlerTypeMismatch"); - return mkerr(format!( - "MergeHandlerTypeMismatch: {:#?} != {:#?}", - t, handler_return_type, - )); + return mkerr("MergeHandlerTypeMismatch"); } } } |