diff options
| author | Nadrieril | 2019-04-30 18:52:39 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-30 18:52:39 +0200 |
| commit | cc96566758f062bb2e1e7767009c3e709c0678b6 (patch) | |
| tree | 2e61207c04c4a074facebf51452875950f21da5c /dhall/src/typecheck.rs | |
| parent | ba0c760e9dc30a4babf9b76860153aa05d16e9eb (diff) | |
Avoid some rewrapping of thunks
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/typecheck.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs index 461f1cc..fb698d0 100644 --- a/dhall/src/typecheck.rs +++ b/dhall/src/typecheck.rs @@ -693,7 +693,7 @@ impl TypeIntermediate { ); Typed( Value::from_builtin(Builtin::List) - .app(t.clone().normalize_whnf()?) + .app(t.normalize_whnf()?) .into_thunk(), Some(const_to_type(Const::Type)), PhantomData, @@ -709,7 +709,7 @@ impl TypeIntermediate { ); Typed( Value::from_builtin(Builtin::Optional) - .app(t.clone().normalize_whnf()?) + .app(t.normalize_whnf()?) .into_thunk(), Some(const_to_type(Const::Type)), PhantomData, |