From 8b566b2575096562c2e15d6ac9ee8750db2cf14f Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 11 Nov 2019 15:46:45 +0000
Subject: Explain TypeError tests

---
 dhall/src/tests.rs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dhall')

diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs
index cde3b03..1037ef9 100644
--- a/dhall/src/tests.rs
+++ b/dhall/src/tests.rs
@@ -176,6 +176,9 @@ pub fn run_test(test: Test<'_>) -> Result<()> {
             }
             res.unwrap_err();
         }
+        // Checks the output of the type error against a text file. If the text file doesn't exist,
+        // we instead write to it the output we got. This makes it easy to update those files: just
+        // `rm -r dhall/tests/type-errors` and run the tests again.
         TypeError(file_path) => {
             let mut res =
                 parse_file_str(&file_path)?.skip_resolve()?.typecheck();
-- 
cgit v1.2.3