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