diff options
author | Nadrieril | 2019-04-30 14:45:25 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-30 14:45:25 +0200 |
commit | e2626a0bfd4b145e7d54c2150457f57e798ba2f7 (patch) | |
tree | de56af3215419814df3079c869c2bebd0c5383f5 /dhall/src/tests.rs | |
parent | 65a242abfa4d881dc17f216b3eeeb8aedc663388 (diff) |
Store a Thunk in Typed
Diffstat (limited to '')
-rw-r--r-- | dhall/src/tests.rs | 3 |
1 files changed, 1 insertions, 2 deletions
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 => { |