diff options
| author | Nadrieril | 2020-04-06 18:49:36 +0100 |
|---|---|---|
| committer | Nadrieril | 2020-04-06 18:49:36 +0100 |
| commit | 60db959ef9bb49065769155494f49cf1b46bb835 (patch) | |
| tree | 260567f34f5f8fbd1bad95ece4da044a706b600b /dhall | |
| parent | 28c36acc8af1e3ece9512c98aa9fd70fedf1b252 (diff) | |
oops
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/src/semantics/tck/typecheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/semantics/tck/typecheck.rs b/dhall/src/semantics/tck/typecheck.rs index 28d08b9..427b39d 100644 --- a/dhall/src/semantics/tck/typecheck.rs +++ b/dhall/src/semantics/tck/typecheck.rs @@ -181,7 +181,7 @@ fn type_of_merge( let span_err = |msg: &str| mk_span_err(span.clone(), msg); use NirKind::{OptionalType, PiClosure, RecordType, UnionType}; - let record_type = scrut.ty(); + let record_type = record.ty(); let handlers = match record_type.kind() { RecordType(kts) => kts, _ => return span_err("Merge1ArgMustBeRecord"), |