From ec5fb594adf10b18a4457c3089ce4b00e2c50a39 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 30 Jan 2020 11:53:18 +0000
Subject: Remove debug output in type errors

---
 dhall/src/semantics/tck/typecheck.rs | 15 +++------------
 1 file changed, 3 insertions(+), 12 deletions(-)

(limited to 'dhall/src')

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");
                         }
                     }
                 }
-- 
cgit v1.2.3