summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt2
1 files changed, 0 insertions, 2 deletions
diff --git a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt b/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
index 02d2970..6b3f8dc 100644
--- a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
+++ b/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
@@ -8,7 +8,6 @@ Type error: Unhandled error: MergeHandlerTypeMismatch: Value@WHNF {
Replaced(
Value@Unevaled {
value: Var(
- AlphaVar(0),
Fresh(
119,
),
@@ -40,7 +39,6 @@ Type error: Unhandled error: MergeHandlerTypeMismatch: Value@WHNF {
Replaced(
Value@Unevaled {
value: Var(
- AlphaVar(0),
Fresh(
120,
),