diff options
Diffstat (limited to 'dhall/src/core/thunk.rs')
| -rw-r--r-- | dhall/src/core/thunk.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/core/thunk.rs b/dhall/src/core/thunk.rs index 8775ce2..69c4347 100644 --- a/dhall/src/core/thunk.rs +++ b/dhall/src/core/thunk.rs @@ -126,7 +126,7 @@ impl Thunk { } pub(crate) fn from_normalized_expr(e: OutputSubExpr) -> Thunk { - Thunk::new(NormalizationContext::new(), e.embed_absurd().note_absurd()) + Thunk::new(NormalizationContext::new(), e.absurd()) } // Normalizes contents to normal form; faster than `normalize_nf` if @@ -253,7 +253,7 @@ impl TypeThunk { TypeThunk::Type(t) => Ok(t.clone()), TypeThunk::Thunk(th) => { // TODO: rule out statically - mktype(ctx, th.normalize_to_expr().embed_absurd().note_absurd()) + mktype(ctx, th.normalize_to_expr().absurd()) } } } |