summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall/src/tests.rs21
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()?;