diff options
author | Nadrieril | 2019-12-24 21:21:10 +0000 |
---|---|---|
committer | Nadrieril | 2019-12-24 21:21:10 +0000 |
commit | 611d4ced3a5ffca8b9765971001995a216dbbb54 (patch) | |
tree | 52eacf3844e308cd9e2733a77de458f19135e85b /dhall/src/tests.rs | |
parent | f67d30cf563b835c067107cf88769414f170416c (diff) |
Ensure the output of type inference matches the spec variable names
Diffstat (limited to '')
-rw-r--r-- | dhall/src/tests.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index d73c2d4..7a3a540 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -160,11 +160,11 @@ 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(); + let ty = expr.get_type()?.normalize_to_expr(); let expected = parse_file_str(&expected_file_path)? .resolve()? .typecheck()? - .normalize(); + .normalize_to_expr(); assert_eq_display!(ty, expected); } TypeInferenceFailure(file_path) => { |