diff options
| author | Nadrieril | 2019-04-18 11:58:21 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-18 11:58:21 +0200 |
| commit | bb1f698c23a83f60020a72bb5be1f9a386c60d44 (patch) | |
| tree | 20b5787b4bb53c6005ec60226d549ef34f0ceb0d /dhall/src/normalize.rs | |
| parent | 22aa0081d314453bd1bb607384da3ed983dc4364 (diff) | |
Start cleaning up the mess of mapping functions
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/normalize.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs index e0ed96c..9110624 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -333,7 +333,6 @@ fn normalize_ref(expr: &Expr<X, Normalized<'static>>) -> Expr<X, X> { DoneAsIs => match expr.map_ref_simple(ExprF::roll) { e => e.map_ref( SubExpr::clone, - |_, e| e.clone(), X::clone, |_| unreachable!(), Label::clone, |