From 5f29aa9a57192b49d30f7b9066b0b1f48d124e76 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 11 Nov 2019 09:50:37 +0000
Subject: Remove unused "typecheck" tests

---
 dhall/src/tests.rs | 21 ---------------------
 1 file changed, 21 deletions(-)

(limited to 'dhall/src')

diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs
index ae41038..80994d1 100644
--- a/dhall/src/tests.rs
+++ b/dhall/src/tests.rs
@@ -54,8 +54,6 @@ pub enum Test<'a> {
     BinaryDecodingFailure(&'a str),
     ImportSuccess(&'a str, &'a str),
     ImportFailure(&'a str),
-    TypecheckSuccess(&'a str, &'a str),
-    TypecheckFailure(&'a str),
     TypeInferenceSuccess(&'a str, &'a str),
     TypeInferenceFailure(&'a str),
     Normalization(&'a str, &'a str),
@@ -151,25 +149,6 @@ pub fn run_test(test: Test<'_>) -> Result<()> {
         ImportFailure(file_path) => {
             parse_file_str(&file_path)?.resolve().unwrap_err();
         }
-        TypecheckSuccess(expr_file_path, expected_file_path) => {
-            let expr = parse_file_str(&expr_file_path)?.resolve()?;
-            let expected = parse_file_str(&expected_file_path)?
-                .resolve()?
-                .typecheck()?
-                .normalize();
-
-            expr.typecheck_with(&expected.into_typed())?.get_type()?;
-        }
-        TypecheckFailure(file_path) => {
-            let res = parse_file_str(&file_path)?.skip_resolve()?.typecheck();
-            match res {
-                Err(_) => {}
-                // If e did typecheck, check that it doesn't have a type
-                Ok(e) => {
-                    e.get_type().unwrap_err();
-                }
-            }
-        }
         TypeInferenceSuccess(expr_file_path, expected_file_path) => {
             let expr =
                 parse_file_str(&expr_file_path)?.resolve()?.typecheck()?;
-- 
cgit v1.2.3