1 files changed, 65 insertions, 1 deletions
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,
+}