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

---
 .../unit/FunctionApplicationIsNotFunction.txt      |  2 +-
 .../unit/MergeHandlerNotMatchAlternativeType.txt   | 22 +-------
 .../unit/MergeHandlersWithDifferentType.txt        | 64 +---------------------
 3 files changed, 3 insertions(+), 85 deletions(-)

(limited to 'dhall/tests/type-errors')

diff --git a/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt b/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt
index 13b0819..a72e120 100644
--- a/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt
+++ b/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt
@@ -1 +1 @@
-Type error: Unhandled error: apply to not Pi: AppliedBuiltin(Bool, [], [], NzEnv { items: [] })
+Type error: Unhandled error: apply to not Pi
diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt b/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt
index 77fed39..8b729a4 100644
--- a/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt
+++ b/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt
@@ -1,21 +1 @@
-Type error: Unhandled error: MergeHandlerTypeMismatch: Value@WHNF {
-    value: AppliedBuiltin(
-        Natural,
-        [],
-        [],
-        NzEnv {
-            items: [],
-        },
-    ),
-    type: Type,
-} != Value@WHNF {
-    value: AppliedBuiltin(
-        Bool,
-        [],
-        [],
-        NzEnv {
-            items: [],
-        },
-    ),
-    type: Type,
-}
+Type error: Unhandled error: MergeHandlerTypeMismatch
diff --git a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt b/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
index 6b3f8dc..8b729a4 100644
--- a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
+++ b/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
@@ -1,63 +1 @@
-Type error: Unhandled error: MergeHandlerTypeMismatch: Value@WHNF {
-    value: AppliedBuiltin(
-        Bool,
-        [],
-        [],
-        NzEnv {
-            items: [
-                Replaced(
-                    Value@Unevaled {
-                        value: Var(
-                            Fresh(
-                                119,
-                            ),
-                        ),
-                        type: Value@WHNF {
-                            value: AppliedBuiltin(
-                                Bool,
-                                [],
-                                [],
-                                NzEnv {
-                                    items: [],
-                                },
-                            ),
-                            type: Type,
-                        },
-                    },
-                ),
-            ],
-        },
-    ),
-    type: Type,
-} != Value@WHNF {
-    value: AppliedBuiltin(
-        Natural,
-        [],
-        [],
-        NzEnv {
-            items: [
-                Replaced(
-                    Value@Unevaled {
-                        value: Var(
-                            Fresh(
-                                120,
-                            ),
-                        ),
-                        type: Value@WHNF {
-                            value: AppliedBuiltin(
-                                Natural,
-                                [],
-                                [],
-                                NzEnv {
-                                    items: [],
-                                },
-                            ),
-                            type: Type,
-                        },
-                    },
-                ),
-            ],
-        },
-    ),
-    type: Type,
-}
+Type error: Unhandled error: MergeHandlerTypeMismatch
-- 
cgit v1.2.3