diff options
Diffstat (limited to 'dhall/src/tests.rs')
| -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) => { |