From 8ced62a2cdde95c4d67298289756c12f53656df0 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 28 Jan 2020 18:41:20 +0000
Subject: Fix all sorts of variable shenanigans

---
 dhall/src/tests.rs | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

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

diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs
index 88c09cc..971c48d 100644
--- a/dhall/src/tests.rs
+++ b/dhall/src/tests.rs
@@ -164,6 +164,7 @@ pub fn run_test(test: Test<'_>) -> Result<()> {
             // let expr = parse_file_str(&expr_file_path)?.resolve()?.to_expr();
             // let tyexpr = crate::semantics::nze::nzexpr::typecheck(expr)?;
             // let ty = tyexpr.get_type()?.to_expr();
+            //
             let expr = parse_file_str(&expr_file_path)?.resolve()?.to_expr();
             let ty = crate::semantics::tck::typecheck::typecheck(&expr)?
                 .get_type()?
@@ -173,6 +174,23 @@ pub fn run_test(test: Test<'_>) -> Result<()> {
                 });
             let expected = parse_file_str(&expected_file_path)?.to_expr();
             assert_eq_display!(ty, expected);
+            //
+            // let expr = parse_file_str(&expr_file_path)?.resolve()?.to_expr();
+            // let ty = crate::semantics::tck::typecheck::typecheck(&expr)?
+            //     .get_type()?;
+            // let expected = parse_file_str(&expected_file_path)?.to_expr();
+            // let expected = crate::semantics::tck::typecheck::typecheck(&expected)?
+            //     .normalize_whnf_noenv();
+            // // if ty != expected {
+            // //     assert_eq_display!(ty.to_expr(crate::semantics::phase::ToExprOptions {
+            // //         alpha: false,
+            // //         normalize: true,
+            // //     }), expected.to_expr(crate::semantics::phase::ToExprOptions {
+            // //         alpha: false,
+            // //         normalize: true,
+            // //     }))
+            // // }
+            // assert_eq_pretty!(ty, expected);
         }
         TypeInferenceFailure(file_path) => {
             let mut res =
-- 
cgit v1.2.3