From 70eede4fd012f49dfab0e2e27fb3a4e4bbff6325 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 1 Feb 2020 22:04:34 +0000
Subject: Implement once nice error using annotate_snippets

---
 dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

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

diff --git a/dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt b/dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt
index 8d101c3..795c97c 100644
--- a/dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt
+++ b/dhall/tests/type-errors/unit/NaturalSubtractNotNatural.txt
@@ -1 +1,8 @@
-Type error: Unhandled error: function annot mismatch: (True : Bool) : Natural
+Type error: Unhandled error: error: function annot mismatch
+ --> <current file>:1:0
+  |
+1 | Natural/subtract True True
+  | ^^^^^^^^^^^^^^^^^^^^^ function annot mismatch
+  | ---------------- help: this expects an argument of type: Natural
+  |                  ---- help: but this has type: Bool
+  |
-- 
cgit v1.2.3