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 => { |