diff options
| author | Nadrieril | 2020-01-29 21:26:42 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-29 21:26:42 +0000 |
| commit | db6c09f33c3c794e4b6ec8a7aa80978d945a9d7a (patch) | |
| tree | 8cf018122e61b035c3af4bdd84d62a159a089b22 /dhall/src/syntax/ast | |
| parent | e410dbb428e621fe600be43ddecca1c7bff7cb2f (diff) | |
Remove dead code
Diffstat (limited to 'dhall/src/syntax/ast')
| -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 { |