summaryrefslogtreecommitdiff
path: root/dhall/src/semantics/tck
diff options
context:
space:
mode:
authorNadrieril2020-04-06 18:49:36 +0100
committerNadrieril2020-04-06 18:49:36 +0100
commit60db959ef9bb49065769155494f49cf1b46bb835 (patch)
tree260567f34f5f8fbd1bad95ece4da044a706b600b /dhall/src/semantics/tck
parent28c36acc8af1e3ece9512c98aa9fd70fedf1b252 (diff)
oops
Diffstat (limited to '')
-rw-r--r--dhall/src/semantics/tck/typecheck.rs2
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"),