From 9babfb33ab95a93d1e2b70c54ee8100409253ce9 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Fri, 16 Aug 2019 18:40:36 +0200 Subject: Free variables don't exist anymore --- dhall/src/core/var.rs | 34 +++++++++++++--------------------- 1 file changed, 13 insertions(+), 21 deletions(-) diff --git a/dhall/src/core/var.rs b/dhall/src/core/var.rs index 5e7bf05..becd653 100644 --- a/dhall/src/core/var.rs +++ b/dhall/src/core/var.rs @@ -2,13 +2,13 @@ use std::collections::HashMap; use dhall_syntax::{Label, V}; -/// Stores a pair of variables: a normal one and if relevant one +/// Stores a pair of variables: a normal one and one /// that corresponds to the alpha-normalized version of the first one. -/// Equality is up to alpha-equivalence. +/// Equality is up to alpha-equivalence (compares on the second one only). #[derive(Clone, Eq)] pub struct AlphaVar { normal: V