diff options
Diffstat (limited to 'dhall/src/semantics/tck')
-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"); } } } |