From 1e466a20533d936f44430b1bc18508cd00e5ccd2 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 29 Jan 2020 18:48:19 +0000
Subject: Use TyExpr in Typed

---
 .../unit/MergeHandlersWithDifferentType.txt        | 66 +++++++++++++++++++++-
 1 file changed, 65 insertions(+), 1 deletion(-)

(limited to 'dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt')

diff --git a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt b/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
index 8b729a4..02d2970 100644
--- a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
+++ b/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
@@ -1 +1,65 @@
-Type error: Unhandled error: MergeHandlerTypeMismatch
+Type error: Unhandled error: MergeHandlerTypeMismatch: Value@WHNF {
+    value: AppliedBuiltin(
+        Bool,
+        [],
+        [],
+        NzEnv {
+            items: [
+                Replaced(
+                    Value@Unevaled {
+                        value: Var(
+                            AlphaVar(0),
+                            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(
+                            AlphaVar(0),
+                            Fresh(
+                                120,
+                            ),
+                        ),
+                        type: Value@WHNF {
+                            value: AppliedBuiltin(
+                                Natural,
+                                [],
+                                [],
+                                NzEnv {
+                                    items: [],
+                                },
+                            ),
+                            type: Type,
+                        },
+                    },
+                ),
+            ],
+        },
+    ),
+    type: Type,
+}
-- 
cgit v1.2.3