diff options
| author | Nadrieril | 2020-01-25 10:20:53 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-25 10:21:02 +0000 |
| commit | f2e8c414993d5c9fcc63f5c035f755712c01dad0 (patch) | |
| tree | 27391b13dce903650f930529454a5b3b7a6c9682 /dhall/src/semantics/tck | |
| parent | 70e6e3a06c05cfe7d8ca3d6f072e7182639c147f (diff) | |
Enable comparing Closures for equality
Diffstat (limited to 'dhall/src/semantics/tck')
| -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()), ), |