summaryrefslogtreecommitdiff
path: root/dhall_normalize/src/normalize.rs
diff options
context:
space:
mode:
authorNadrieril2019-03-06 20:25:55 +0100
committerNadrieril2019-03-06 20:25:55 +0100
commitf2d6415e72beaccfa2c4cb1f7a17f9eecc19d8a5 (patch)
tree651f8e2dc8c97ca580f39971744b6efe65bff39d /dhall_normalize/src/normalize.rs
parent479b2cfcd650c4f1ad6c1044528d31874aca890b (diff)
rustfmt
Diffstat (limited to '')
-rw-r--r--dhall_normalize/src/normalize.rs12
1 files changed, 9 insertions, 3 deletions
diff --git a/dhall_normalize/src/normalize.rs b/dhall_normalize/src/normalize.rs
index 0e46ee0..fb8079a 100644
--- a/dhall_normalize/src/normalize.rs
+++ b/dhall_normalize/src/normalize.rs
@@ -153,9 +153,15 @@ where
BinOp(BoolOr, box BoolLit(x), box BoolLit(y)) => BoolLit(x || y),
BinOp(BoolEQ, box BoolLit(x), box BoolLit(y)) => BoolLit(x == y),
BinOp(BoolNE, box BoolLit(x), box BoolLit(y)) => BoolLit(x != y),
- BinOp(NaturalPlus, box NaturalLit(x), box NaturalLit(y)) => NaturalLit(x + y),
- BinOp(NaturalTimes, box NaturalLit(x), box NaturalLit(y)) => NaturalLit(x * y),
- BinOp(TextAppend, box TextLit(x), box TextLit(y)) => TextLit(x + &y),
+ BinOp(NaturalPlus, box NaturalLit(x), box NaturalLit(y)) => {
+ NaturalLit(x + y)
+ }
+ BinOp(NaturalTimes, box NaturalLit(x), box NaturalLit(y)) => {
+ NaturalLit(x * y)
+ }
+ BinOp(TextAppend, box TextLit(x), box TextLit(y)) => {
+ TextLit(x + &y)
+ }
BinOp(ListAppend, box ListLit(t1, xs), box ListLit(t2, ys)) => {
// Drop type annotation if the result is nonempty
let t = if xs.len() == 0 && ys.len() == 0 {