From f3681f7a32ddb78db4d564769b50b697c54ebeac Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 2 Feb 2020 18:03:03 +0000
Subject: Tweak errors

---
 dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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

diff --git a/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt b/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt
index 1459ca1..aa7c8c5 100644
--- a/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt
+++ b/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt
@@ -1,8 +1,9 @@
-Type error: Unhandled error: error: Wrong type of function argument
+Type error: Unhandled error: error: wrong type of function argument
  --> <current file>:1:5
   |
 1 | [] : List Type
-  |      ^^^^^^^^^ Wrong type of function argument
   |      ^^^^ this expects an argument of type: Type
   |           ^^^^ but this has type: Kind
   |
+  = note: expected type `Type`
+             found type `Kind`
-- 
cgit v1.2.3