diff options
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/semantics/tck/typecheck.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/src/semantics/tck/typecheck.rs b/dhall/src/semantics/tck/typecheck.rs index 046c999..52c7ac7 100644 --- a/dhall/src/semantics/tck/typecheck.rs +++ b/dhall/src/semantics/tck/typecheck.rs @@ -163,8 +163,9 @@ fn type_with( let ty = Value::from_kind_and_type( ValueKind::PiClosure { binder: Binder::new(binder.clone()), - annot: annot_nf, + annot: annot_nf.clone(), closure: Closure::new( + annot_nf, env.as_nzenv(), body.get_type()?.to_tyexpr(env.as_quoteenv().insert()), ), |