diff options
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, |