summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2020-01-30 11:53:18 +0000
committerNadrieril2020-01-30 11:53:18 +0000
commitec5fb594adf10b18a4457c3089ce4b00e2c50a39 (patch)
tree1bb20cae1aff325e1eb60c250f4bb867ef9b39f8 /dhall/src
parent7dd2d64073b662acccb39601591c754279385308 (diff)
Remove debug output in type errors
Diffstat (limited to 'dhall/src')
-rw-r--r--dhall/src/semantics/tck/typecheck.rs15
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");
}
}
}