From 8c64ae33149db4edaaa89d2d187baf10a2b9f8bf Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 25 Jan 2020 13:29:27 +0000
Subject: Make most type errors stringy

---
 dhall/tests/type-errors/hurkensParadox.txt | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

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

diff --git a/dhall/tests/type-errors/hurkensParadox.txt b/dhall/tests/type-errors/hurkensParadox.txt
index 870388d..9342fd8 100644
--- a/dhall/tests/type-errors/hurkensParadox.txt
+++ b/dhall/tests/type-errors/hurkensParadox.txt
@@ -1,8 +1 @@
-[unknown location] Type error: Wrong type of function argument
-[unknown location] This argument has type Sort
- --> 5:21
-  |
-5 | in  let pow = λ(X : Kind) → X → Type␊
-  |                     ^--^
-  |
-  = But the function expected an argument of type Kind
+Type error: Unhandled error: TypeMismatch
-- 
cgit v1.2.3


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

---
 dhall/tests/type-errors/hurkensParadox.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/dhall/tests/type-errors/hurkensParadox.txt b/dhall/tests/type-errors/hurkensParadox.txt
index 9342fd8..4dfdcf5 100644
--- a/dhall/tests/type-errors/hurkensParadox.txt
+++ b/dhall/tests/type-errors/hurkensParadox.txt
@@ -1 +1 @@
-Type error: Unhandled error: TypeMismatch
+Type error: Unhandled error: function annot mismatch: (U : Sort) : Kind
-- 
cgit v1.2.3