summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dhall/src/semantics/tck/typecheck.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/dhall/src/semantics/tck/typecheck.rs b/dhall/src/semantics/tck/typecheck.rs
index 45a3055..361e1b4 100644
--- a/dhall/src/semantics/tck/typecheck.rs
+++ b/dhall/src/semantics/tck/typecheck.rs
@@ -108,7 +108,7 @@ fn type_one_layer(
ExprKind::RecordLit(kvs) => {
// An empty record type has type Type
let mut k = Const::Type;
- for (_, v) in kvs {
+ for v in kvs.values() {
// Check that the fields have a valid kind
match v.ty().ty().as_const() {
Some(c) => k = max(k, c),
@@ -126,7 +126,7 @@ fn type_one_layer(
ExprKind::RecordType(kts) => {
// An empty record type has type Type
let mut k = Const::Type;
- for (_, t) in kts {
+ for t in kts.values() {
// Check the type is a Const and compute final type
match t.ty().as_const() {
Some(c) => k = max(k, c),
@@ -139,7 +139,7 @@ fn type_one_layer(
ExprKind::UnionType(kts) => {
// Check that all types are the same const
let mut k = None;
- for (_, t) in kts {
+ for t in kts.values() {
if let Some(t) = t {
let c = match t.ty().as_const() {
Some(c) => c,