summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-04-06 11:26:56 +0200
committerNadrieril2019-04-06 11:26:56 +0200
commit320eddc8850b1a36a006cbb136e54a9e2322674f (patch)
tree4be4a60cb3be437825ac99bae6eb81a1baa2b667
parent870fa672a7b7c5c872968fd428c6fe77c3e79e4d (diff)
Remove an unnecessary normalization
Diffstat (limited to '')
-rw-r--r--dhall/src/typecheck.rs3
1 files changed, 1 insertions, 2 deletions
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 145de63..97c4de6 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -264,13 +264,12 @@ where
return Err(mkerr(NotAFunction(f.clone(), tf)));
}
};
- let tA = normalize(SubExpr::clone(tA));
let tA2 = normalized_type_with(ctx, a.clone())?;
if prop_equal(tA.as_ref(), tA2.as_ref()) {
let vx0 = &V(x.clone(), 0);
return Ok(subst_shift(vx0, &a, &tB));
} else {
- Err(mkerr(TypeMismatch(f.clone(), tA, a.clone(), tA2)))
+ Err(mkerr(TypeMismatch(f.clone(), tA.clone(), a.clone(), tA2)))
}
}
Let(f, mt, r, b) => {