diff options
author | Nadrieril | 2019-12-24 22:08:22 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-24 22:08:22 +0000 |
commit | 12e7626c9fd8c1c1699bc0043b6524704dc6be82 (patch) | |
tree | 1b42c889c6143131cbe8b3c488afc11450efbdad /dhall/src/tests.rs | |
parent | f5a588defc0ad22ce2f0d3b32ef8f0e22e43e672 (diff) |
Ensure normalization respects var names on the nose
Diffstat (limited to '')
-rw-r--r-- | dhall/src/tests.rs | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index 0163c4d..f1648cf 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -206,11 +206,9 @@ pub fn run_test(test: Test<'_>) -> Result<()> { let expr = parse_file_str(&expr_file_path)? .resolve()? .typecheck()? - .normalize(); - let expected = parse_file_str(&expected_file_path)? - .resolve()? - .typecheck()? - .normalize(); + .normalize() + .to_expr(); + let expected = parse_file_str(&expected_file_path)?.to_expr(); assert_eq_display!(expr, expected); } @@ -220,12 +218,9 @@ pub fn run_test(test: Test<'_>) -> Result<()> { .typecheck()? .normalize() .to_expr_alpha(); - let expected = parse_file_str(&expected_file_path)? - .resolve()? - .typecheck()? - .normalize(); + let expected = parse_file_str(&expected_file_path)?.to_expr(); - assert_eq_display!(expr, expected.to_expr()); + assert_eq_display!(expr, expected); } } Ok(()) |