diff options
| author | Nadrieril | 2020-01-27 18:45:09 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-27 18:45:09 +0000 |
| commit | 5a835d9db35bf76858e178e1bd66e60128879629 (patch) | |
| tree | 4f85fedfd596ac6f8c7da4bdf7143a23e26ea851 /dhall/src/semantics/phase/mod.rs | |
| parent | 6c51ad1da8dc4df54618af80b445bf49f771ec43 (diff) | |
Fix a bunch of bugs and more tck
Diffstat (limited to 'dhall/src/semantics/phase/mod.rs')
| -rw-r--r-- | dhall/src/semantics/phase/mod.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dhall/src/semantics/phase/mod.rs b/dhall/src/semantics/phase/mod.rs index 4dc91e7..67cdc91 100644 --- a/dhall/src/semantics/phase/mod.rs +++ b/dhall/src/semantics/phase/mod.rs @@ -89,6 +89,11 @@ impl Resolved { pub fn to_expr(&self) -> ResolvedExpr { self.0.clone() } + pub fn tck_and_normalize_new_flow(&self) -> Result<Normalized, TypeError> { + let val = crate::semantics::tck::typecheck::typecheck(&self.0)? + .normalize_whnf_noenv(); + Ok(Normalized(Typed(val))) + } } impl Typed { |