From 1ea6fe55eea2f1448f897e2a2805f7e0a1daac9b Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 11 Nov 2019 17:30:45 +0000 Subject: typo --- dhall/src/phase/typecheck.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'dhall') diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs index 265a20e..ef8340d 100644 --- a/dhall/src/phase/typecheck.rs +++ b/dhall/src/phase/typecheck.rs @@ -768,8 +768,8 @@ fn type_last_layer( ToMap(_, _) => unimplemented!("toMap"), Projection(record, labels) => { let record_type = record.get_type()?; - let record_borrow = record_type.as_whnf(); - let kts = match &*record_borrow { + let record_type_borrow = record_type.as_whnf(); + let kts = match &*record_type_borrow { ValueF::RecordType(kts) => kts, _ => return mkerr(ProjectionMustBeRecord), }; -- cgit v1.2.3