From 8325de2db085bb0b3599bc453b658a1dacfe79ae Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 5 Nov 2020 00:18:38 +0000
Subject: tests: add some tests

---
 dhall/tests/import/failure/unit/MissingFile.txt | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 dhall/tests/import/failure/unit/MissingFile.txt

(limited to 'dhall/tests/import/failure/unit/MissingFile.txt')

diff --git a/dhall/tests/import/failure/unit/MissingFile.txt b/dhall/tests/import/failure/unit/MissingFile.txt
new file mode 100644
index 0000000..de58996
--- /dev/null
+++ b/dhall/tests/import/failure/unit/MissingFile.txt
@@ -0,0 +1,6 @@
+Type error: error: error
+ --> <current file>:1:1
+  |
+1 | ./doesnt-exist.dhall
+  | ^^^^^^^^^^^^^^^^^^^^ No such file or directory (os error 2)
+  |
-- 
cgit v1.2.3