diff options
author | Nadrieril | 2020-01-27 18:45:09 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-27 18:45:09 +0000 |
commit | 5a835d9db35bf76858e178e1bd66e60128879629 (patch) | |
tree | 4f85fedfd596ac6f8c7da4bdf7143a23e26ea851 /dhall/src/tests.rs | |
parent | 6c51ad1da8dc4df54618af80b445bf49f771ec43 (diff) |
Fix a bunch of bugs and more tck
Diffstat (limited to 'dhall/src/tests.rs')
-rw-r--r-- | dhall/src/tests.rs | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index f51f6a8..88c09cc 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -232,13 +232,10 @@ pub fn run_test(test: Test<'_>) -> Result<()> { // alpha: false, // normalize: true, // }); - let expr = parse_file_str(&expr_file_path)?.resolve()?.to_expr(); - let expr = crate::semantics::tck::typecheck::typecheck(&expr)? - .normalize_whnf_noenv() - .to_expr(crate::semantics::phase::ToExprOptions { - alpha: false, - normalize: true, - }); + let expr = parse_file_str(&expr_file_path)? + .resolve()? + .tck_and_normalize_new_flow()? + .to_expr(); let expected = parse_file_str(&expected_file_path)?.to_expr(); assert_eq_display!(expr, expected); |