diff options
| author | Nadrieril | 2020-01-30 19:27:33 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-30 19:27:33 +0000 |
| commit | 40336a928dfc3d1f96273d39ba564334b1719344 (patch) | |
| tree | 05a8208ce9191c7ec1b1fa6c7bedd000a07a245d /dhall/src/semantics/nze/normalize.rs | |
| parent | 3c4895a06a4910184203d8531e7ab318db71fb15 (diff) | |
Move Thunk value into ValueInternal
Diffstat (limited to 'dhall/src/semantics/nze/normalize.rs')
| -rw-r--r-- | dhall/src/semantics/nze/normalize.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall/src/semantics/nze/normalize.rs b/dhall/src/semantics/nze/normalize.rs index 89424e9..16c886e 100644 --- a/dhall/src/semantics/nze/normalize.rs +++ b/dhall/src/semantics/nze/normalize.rs @@ -449,7 +449,6 @@ pub(crate) fn normalize_whnf(v: ValueKind, ty: &Value) -> ValueKind { match v { ValueKind::AppliedBuiltin(closure) => closure.ensure_whnf(ty), ValueKind::PartialExpr(e) => normalize_one_layer(e, ty, &NzEnv::new()), - ValueKind::Thunk(th) => th.eval().kind().clone(), // All other cases are already in WHNF v => v, } |