From 62970fd2010b01260cf45a1f2a6a582c6a8c0c12 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 31 Mar 2019 21:04:10 +0200 Subject: Make Expr generic in Label --- dhall/src/typecheck.rs | 2 +- dhall_core/src/core.rs | 24 +++++++++++++----------- dhall_core/src/printer.rs | 2 +- dhall_generator/src/dhall_expr.rs | 13 ++++++++----- 4 files changed, 23 insertions(+), 18 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 { } } -fn match_vars(vl: &V, vr: &V, ctx: &[(Label, Label)]) -> bool { +fn match_vars(vl: &V