From 02cacfd0360a0acea959c5a9b6d1b7fb0241db81 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 9 Feb 2020 18:35:16 +0000
Subject: Remove distinction between failure and error tests

---
 dhall/build.rs     | 28 ----------------------------
 dhall/src/tests.rs | 16 ++++------------
 2 files changed, 4 insertions(+), 40 deletions(-)

diff --git a/dhall/build.rs b/dhall/build.rs
index 67f11e2..552966b 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -267,22 +267,6 @@ fn generate_tests() -> std::io::Result<()> {
                     || path == "customHeadersUsingBoundVariable"
             }),
             input_type: FileType::Text,
-            output_type: None,
-        },
-        TestFeature {
-            module_name: "import_error",
-            directory: "import/failure/",
-            variant: "ImportError",
-            path_filter: Box::new(|path: &str| {
-                false
-                    || path == "alternativeEnv"
-                    || path == "alternativeEnvMissing"
-                    || path == "hashMismatch"
-                    || path == "missing"
-                    || path == "referentiallyInsane"
-                    || path == "customHeadersUsingBoundVariable"
-            }),
-            input_type: FileType::Text,
             output_type: Some(FileType::UI),
         },
         TestFeature {
@@ -355,18 +339,6 @@ fn generate_tests() -> std::io::Result<()> {
                     || path == "unit/MergeHandlerFreeVar"
             }),
             input_type: FileType::Text,
-            output_type: None,
-        },
-        TestFeature {
-            module_name: "type_error",
-            directory: "type-inference/failure/",
-            variant: "TypeError",
-            path_filter: Box::new(|path: &str| {
-                false
-                    // TODO: enable free variable checking
-                    || path == "unit/MergeHandlerFreeVar"
-            }),
-            input_type: FileType::Text,
             output_type: Some(FileType::UI),
         },
     ];
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs
index 366ba32..19e5264 100644
--- a/dhall/src/tests.rs
+++ b/dhall/src/tests.rs
@@ -61,11 +61,9 @@ enum Test {
     BinaryDecodingSuccess(TestFile, TestFile),
     BinaryDecodingFailure(TestFile),
     ImportSuccess(TestFile, TestFile),
-    ImportFailure(TestFile),
-    ImportError(TestFile, TestFile),
+    ImportFailure(TestFile, TestFile),
     TypeInferenceSuccess(TestFile, TestFile),
-    TypeInferenceFailure(TestFile),
-    TypeError(TestFile, TestFile),
+    TypeInferenceFailure(TestFile, TestFile),
     Normalization(TestFile, TestFile),
     AlphaNormalization(TestFile, TestFile),
 }
@@ -277,10 +275,7 @@ fn run_test(test: Test) -> Result<()> {
             let expr = expr.normalize()?;
             expected.compare(expr)?;
         }
-        ImportFailure(expr) => {
-            expr.parse()?.resolve().unwrap_err();
-        }
-        ImportError(expr, expected) => {
+        ImportFailure(expr, expected) => {
             let err = expr.parse()?.resolve().unwrap_err();
             expected.compare_ui(err)?;
         }
@@ -288,10 +283,7 @@ fn run_test(test: Test) -> Result<()> {
             let ty = expr.resolve()?.typecheck()?.get_type()?;
             expected.compare(ty)?;
         }
-        TypeInferenceFailure(expr) => {
-            expr.resolve()?.typecheck().unwrap_err();
-        }
-        TypeError(expr, expected) => {
+        TypeInferenceFailure(expr, expected) => {
             let err = expr.resolve()?.typecheck().unwrap_err();
             expected.compare_ui(err)?;
         }
-- 
cgit v1.2.3