diff options
author | Nadrieril | 2019-12-24 21:46:29 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-24 21:46:29 +0000 |
commit | f5a588defc0ad22ce2f0d3b32ef8f0e22e43e672 (patch) | |
tree | 405bcef717b1a7ab0ec8de898ca5264698c39362 /dhall/src/tests.rs | |
parent | 611d4ced3a5ffca8b9765971001995a216dbbb54 (diff) |
Ensure inferred type is always in normal form
Diffstat (limited to '')
-rw-r--r-- | dhall/src/tests.rs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index 7a3a540..0163c4d 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -160,11 +160,8 @@ pub fn run_test(test: Test<'_>) -> Result<()> { TypeInferenceSuccess(expr_file_path, expected_file_path) => { let expr = parse_file_str(&expr_file_path)?.resolve()?.typecheck()?; - let ty = expr.get_type()?.normalize_to_expr(); - let expected = parse_file_str(&expected_file_path)? - .resolve()? - .typecheck()? - .normalize_to_expr(); + let ty = expr.get_type()?.to_expr(); + let expected = parse_file_str(&expected_file_path)?.to_expr(); assert_eq_display!(ty, expected); } TypeInferenceFailure(file_path) => { |