summaryrefslogtreecommitdiff
path: root/dhall/tests/common
diff options
context:
space:
mode:
authorNadrieril2019-03-18 00:21:41 +0100
committerNadrieril2019-03-18 00:21:41 +0100
commitf112145814ed8243904d97c92a15bbdb7053d1a0 (patch)
tree0e858a2d807f9622a90ae84b94ca1a11ff9e4b82 /dhall/tests/common
parent2ec0dc3f470be85a093caf1ebaa8898576c8c478 (diff)
Considerably simplify subst, shift and typechecking
Diffstat (limited to 'dhall/tests/common')
-rw-r--r--dhall/tests/common/mod.rs5
1 files changed, 1 insertions, 4 deletions
diff --git a/dhall/tests/common/mod.rs b/dhall/tests/common/mod.rs
index 4d64fea..0589a4a 100644
--- a/dhall/tests/common/mod.rs
+++ b/dhall/tests/common/mod.rs
@@ -100,10 +100,7 @@ pub fn run_test(base_path: &str, feature: Feature) {
let expr = rc(read_dhall_file(&expr_file_path).unwrap());
let expected = rc(read_dhall_file(&expected_file_path).unwrap());
- assert_eq_display!(
- normalize::<_, X, _>(expr),
- normalize::<_, X, _>(expected)
- );
+ assert_eq_display!(normalize(expr), normalize(expected));
}
TypecheckFailure => {
let file_path = base_path + ".dhall";