diff options
author | Nadrieril | 2019-04-07 22:39:44 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-07 22:39:44 +0200 |
commit | cfdc5297d565c80f8362fc4ac31e25e3ebf34e84 (patch) | |
tree | 029ecf3221514847dd029d12bca4ce2296dfc3d7 /dhall/src/normalize.rs | |
parent | 605e883696f8861e4b8c00b18ead9b933ac30e7a (diff) |
Tweaks
Diffstat (limited to 'dhall/src/normalize.rs')
-rw-r--r-- | dhall/src/normalize.rs | 3 |
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)) => { |