From e2626a0bfd4b145e7d54c2150457f57e798ba2f7 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Tue, 30 Apr 2019 14:45:25 +0200 Subject: Store a Thunk in Typed --- dhall/src/tests.rs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'dhall/src/tests.rs') diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index 4d8fabd..ebca256 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -130,8 +130,7 @@ pub fn run_test( match feature { Parser => unreachable!(), Import => { - // Not sure whether to normalize or not - let expr = expr.skip_typecheck().skip_normalize(); + let expr = expr.skip_typecheck().normalize(); assert_eq_display!(expr, expected); } Typecheck => { -- cgit v1.2.3