diff options
author | Nadrieril | 2019-11-11 09:50:37 +0000 |
---|---|---|
committer | Nadrieril | 2019-11-11 09:50:37 +0000 |
commit | 5f29aa9a57192b49d30f7b9066b0b1f48d124e76 (patch) | |
tree | a5dda89c3a0e92024b8dfbe99c6916f8b573757a /dhall | |
parent | 1837943ba9f92cf1d941c52d5b895f6573e152bf (diff) |
Remove unused "typecheck" tests
Diffstat (limited to 'dhall')
-rw-r--r-- | dhall/src/tests.rs | 21 |
1 files changed, 0 insertions, 21 deletions
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()?; |