From c9c248a4cab21fa1ae7692cd193e3b2c698d431d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 11 Nov 2019 13:49:47 +0000
Subject: Add a few more pretty errors

---
 dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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

diff --git a/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt b/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt
index 4757d2d..062f9de 100644
--- a/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt
+++ b/dhall/tests/type-errors/unit/FunctionApplicationIsNotFunction.txt
@@ -1 +1,6 @@
-Type error: Not a function
+ --> 1:1
+  |
+1 | True True␊
+  | ^--^
+  |
+  = Type error: Not a function
-- 
cgit v1.2.3