diff options
| author | Nadrieril | 2020-01-24 21:33:21 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-24 21:33:21 +0000 |
| commit | b72f0968ac19058b9cc513ab0ed1785133232a3d (patch) | |
| tree | 07647b0f0e3e0f9583d06b4fb1210e6c702d535f /dhall/src/tests.rs | |
| parent | 9e9b556ee2212540ba43d85249df8c763aa6da2b (diff) | |
Implement basic typecheck with new approach
Diffstat (limited to 'dhall/src/tests.rs')
| -rw-r--r-- | dhall/src/tests.rs | 25 |
1 files changed, 16 insertions, 9 deletions
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index 4928c51..994a134 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -211,20 +211,27 @@ pub fn run_test(test: Test<'_>) -> Result<()> { // .typecheck()? // .normalize() // .to_expr(); - let expr = parse_file_str(&expr_file_path)? - .resolve()? - .typecheck()? - .to_value() - .to_tyexpr_noenv() + // let expr = parse_file_str(&expr_file_path)?.resolve()?.to_expr(); + // let expr = crate::semantics::nze::nzexpr::typecheck(expr)? + // .normalize() + // .to_expr(); + // let expr = parse_file_str(&expr_file_path)? + // .resolve()? + // .typecheck()? + // .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::tck::typecheck::typecheck(expr)? .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() - // .to_expr(); let expected = parse_file_str(&expected_file_path)?.to_expr(); assert_eq_display!(expr, expected); |