summaryrefslogtreecommitdiff
path: root/dhall/src/syntax
diff options
context:
space:
mode:
authorNadrieril2020-01-17 10:25:28 +0000
committerNadrieril2020-01-17 10:28:37 +0000
commitfc1d7b758008643447f17bc9d05adb128d1567cc (patch)
treec782fd543a22c3ae7ff4d9f95dfbc7966e8e1899 /dhall/src/syntax
parent763a810358f15a8bac6973ac4b273f517729cc84 (diff)
Remove binder ids
The underlying purpose of them turned out to be unsound
Diffstat (limited to '')
-rw-r--r--dhall/src/syntax/ast/expr.rs9
1 files changed, 9 insertions, 0 deletions
diff --git a/dhall/src/syntax/ast/expr.rs b/dhall/src/syntax/ast/expr.rs
index 376480f..0ac31a5 100644
--- a/dhall/src/syntax/ast/expr.rs
+++ b/dhall/src/syntax/ast/expr.rs
@@ -173,6 +173,15 @@ pub enum ExprKind<SubExpr, Embed> {
Embed(Embed),
}
+impl<Label> V<Label> {
+ pub(crate) fn name(&self) -> &Label {
+ &self.0
+ }
+ pub(crate) fn idx(&self) -> usize {
+ self.1
+ }
+}
+
impl<SE, E> ExprKind<SE, E> {
pub fn traverse_ref_with_special_handling_of_binders<'a, SE2, Err>(
&'a self,