diff options
Diffstat (limited to 'dhall/src/syntax')
| -rw-r--r-- | dhall/src/syntax/ast/expr.rs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/dhall/src/syntax/ast/expr.rs b/dhall/src/syntax/ast/expr.rs index dbe233b..0da617b 100644 --- a/dhall/src/syntax/ast/expr.rs +++ b/dhall/src/syntax/ast/expr.rs @@ -330,10 +330,6 @@ impl<Label: PartialEq + Clone> V<Label> { V(y.clone(), *m) }) } - - pub(crate) fn over_binder(&self, x: &Label) -> Option<Self> { - self.shift(-1, &V(x.clone(), 0)) - } } pub fn trivial_result<T>(x: Result<T, !>) -> T { |