From 0e6bc247d254a60eb1ba234e538864f0e9604efe Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 4 May 2019 22:57:56 +0200 Subject: Clarify match_vars implementation --- dhall/src/typecheck.rs | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) (limited to 'dhall') diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs index 8b7f011..fc9db9f 100644 --- a/dhall/src/typecheck.rs +++ b/dhall/src/typecheck.rs @@ -239,21 +239,21 @@ fn function_check(a: Const, b: Const) -> Result { } fn match_vars(vl: &V