summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2019-03-31 21:04:10 +0200
committerNadrieril2019-03-31 21:04:10 +0200
commit62970fd2010b01260cf45a1f2a6a582c6a8c0c12 (patch)
tree483b2661c61781b80a98ca9985a76280392e327f /dhall/src
parentc4fe2f4290089437d3ff1d6d15df58b4cf29a11e (diff)
Make Expr generic in Label
Diffstat (limited to '')
-rw-r--r--dhall/src/typecheck.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 31702db..da52ba8 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -28,7 +28,7 @@ fn rule(a: Const, b: Const) -> Result<Const, ()> {
}
}
-fn match_vars(vl: &V, vr: &V, ctx: &[(Label, Label)]) -> bool {
+fn match_vars(vl: &V<Label>, vr: &V<Label>, ctx: &[(Label, Label)]) -> bool {
let mut vl = vl.clone();
let mut vr = vr.clone();
let mut ctx = ctx.to_vec();