From 8abb6c24cd26b64d708a74faaa28cc9294dc3466 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 9 Feb 2020 17:47:58 +0000
Subject: Move ui outputs to a sensible place

---
 dhall/tests/type-errors/hurkensParadox.txt | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 dhall/tests/type-errors/hurkensParadox.txt

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

diff --git a/dhall/tests/type-errors/hurkensParadox.txt b/dhall/tests/type-errors/hurkensParadox.txt
deleted file mode 100644
index 6b99615..0000000
--- a/dhall/tests/type-errors/hurkensParadox.txt
+++ /dev/null
@@ -1,15 +0,0 @@
-Type error: error: wrong type of function argument
-  --> <current file>:6:23
-   |
- 1 |     let bottom : Type = ∀(any : Type) → any
- 2 | 
- 3 | in  let not : Type → Type = λ(p : Type) → p → bottom
- 4 | 
-...
-10 |         : pow (pow U) → U
-11 |         =   λ(t : pow (pow U))
-   |                        ^^^ this expects an argument of type: Kind
-   |                            ^ but this has type: Sort
-   |
-   = note: expected type `Kind`
-              found type `Sort`
-- 
cgit v1.2.3