summaryrefslogtreecommitdiff
path: root/dhall/src/normalize.rs
diff options
context:
space:
mode:
authorNadrieril2019-04-07 22:39:44 +0200
committerNadrieril2019-04-07 22:39:44 +0200
commitcfdc5297d565c80f8362fc4ac31e25e3ebf34e84 (patch)
tree029ecf3221514847dd029d12bca4ce2296dfc3d7 /dhall/src/normalize.rs
parent605e883696f8861e4b8c00b18ead9b933ac30e7a (diff)
Tweaks
Diffstat (limited to '')
-rw-r--r--dhall/src/normalize.rs3
1 files changed, 0 insertions, 3 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index c07d3cb..ac730a9 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -267,9 +267,6 @@ where
Done(NaturalLit(x * y))
}
BinOp(TextAppend, TextLit(x), TextLit(y)) => Done(TextLit(x + y)),
- BinOp(ListAppend, EmptyListLit(t), EmptyListLit(_)) => {
- Done(EmptyListLit(SubExpr::clone(t)))
- }
BinOp(ListAppend, EmptyListLit(_), y) => DoneRef(y),
BinOp(ListAppend, x, EmptyListLit(_)) => DoneRef(x),
BinOp(ListAppend, NEListLit(xs), NEListLit(ys)) => {