From 575adf9a7a87ba5d75548f7cd4efdec53c1fe17c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 11 Nov 2019 12:45:20 +0000
Subject: Move "Type error" error prefix

---
 dhall/tests/type-errors/unit/AssertAlphaTrap.txt                    | 4 ++--
 dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt | 4 ++--
 dhall/tests/type-errors/unit/VariableFree.txt                       | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'dhall/tests')

diff --git a/dhall/tests/type-errors/unit/AssertAlphaTrap.txt b/dhall/tests/type-errors/unit/AssertAlphaTrap.txt
index f2fc8ce..2969c18 100644
--- a/dhall/tests/type-errors/unit/AssertAlphaTrap.txt
+++ b/dhall/tests/type-errors/unit/AssertAlphaTrap.txt
@@ -1,6 +1,6 @@
-Type error:  --> 1:47
+ --> 1:47
   |
 1 | assert : (\(_: Bool) -> _) === (\(x: Bool) -> _)␊
   |                                               ^
   |
-  = Unbound variable
+  = Type error: Unbound variable
diff --git a/dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt b/dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt
index f7903de..9cc0c19 100644
--- a/dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt
+++ b/dhall/tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt
@@ -1,6 +1,6 @@
-Type error:  --> 1:1
+ --> 1:1
   |
 1 | constructors < Left : Natural | Right : Bool >␊
   | ^----------^
   |
-  = Unbound variable
+  = Type error: Unbound variable
diff --git a/dhall/tests/type-errors/unit/VariableFree.txt b/dhall/tests/type-errors/unit/VariableFree.txt
index ef1d16e..a46aac0 100644
--- a/dhall/tests/type-errors/unit/VariableFree.txt
+++ b/dhall/tests/type-errors/unit/VariableFree.txt
@@ -1,6 +1,6 @@
-Type error:  --> 1:1
+ --> 1:1
   |
 1 | x␊
   | ^
   |
-  = Unbound variable
+  = Type error: Unbound variable
-- 
cgit v1.2.3