From 9e7cc77b6a25569b61340f39a2058e23cdc4a437 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 23 Jan 2020 22:22:01 +0000
Subject: Implement basic env-based normalization for Value-based TyExpr

---
 dhall/src/tests.rs | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

(limited to 'dhall/src/tests.rs')

diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs
index 7795d17..4928c51 100644
--- a/dhall/src/tests.rs
+++ b/dhall/src/tests.rs
@@ -206,11 +206,21 @@ pub fn run_test(test: Test<'_>) -> Result<()> {
             }
         }
         Normalization(expr_file_path, expected_file_path) => {
+            // let expr = parse_file_str(&expr_file_path)?
+            //     .resolve()?
+            //     .typecheck()?
+            //     .normalize()
+            //     .to_expr();
             let expr = parse_file_str(&expr_file_path)?
                 .resolve()?
                 .typecheck()?
-                .normalize()
-                .to_expr();
+                .to_value()
+                .to_tyexpr_noenv()
+                .normalize_whnf_noenv()
+                .to_expr(crate::semantics::phase::ToExprOptions {
+                    alpha: false,
+                    normalize: true,
+                });
             // let expr = parse_file_str(&expr_file_path)?.resolve()?.to_expr();
             // let expr = crate::semantics::nze::nzexpr::typecheck(expr)?
             //     .normalize()
-- 
cgit v1.2.3