summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-03-21 21:29:20 +0100
committerNadrieril2019-03-21 21:29:20 +0100
commitea08d2528d2ee46446ac8981e72af5c610e43ce1 (patch)
treedbec600d280217c85310424ccc88e8fd68f6a6d5
parent8d527e88168885ab754a039219d0ae682fa4508b (diff)
rustfmt
Diffstat (limited to '')
-rw-r--r--dhall/src/normalize.rs14
1 files changed, 3 insertions, 11 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index 65a9552..4652b25 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -63,15 +63,11 @@ where
}
(ListLength, Some(EmptyListLit(_)), _) => rc(NaturalLit(0)),
(ListLength, Some(NEListLit(ys)), _) => rc(NaturalLit(ys.len())),
- (ListHead, Some(EmptyListLit(t)), _) => {
- rc(EmptyOptionalLit(t.clone()))
- }
+ (ListHead, Some(EmptyListLit(t)), _) => rc(EmptyOptionalLit(t.clone())),
(ListHead, Some(NEListLit(ys)), _) => {
rc(NEOptionalLit(ys.first().unwrap().clone()))
}
- (ListLast, Some(EmptyListLit(t)), _) => {
- rc(EmptyOptionalLit(t.clone()))
- }
+ (ListLast, Some(EmptyListLit(t)), _) => rc(EmptyOptionalLit(t.clone())),
(ListLast, Some(NEListLit(ys)), _) => {
rc(NEOptionalLit(ys.last().unwrap().clone()))
}
@@ -142,11 +138,7 @@ where
// (ListFold, [_, App(box Builtin(ListBuild), [_, x, rest..]), rest..]) => {
// normalize_whnf(&App(bx(x.clone()), rest.to_vec()))
// }
- (
- OptionalFold,
- Some(NEOptionalLit(x)),
- [_, _, _, just, _, ..],
- ) => {
+ (OptionalFold, Some(NEOptionalLit(x)), [_, _, _, just, _, ..]) => {
let x = x.clone();
let just = Rc::clone(just);
dhall_expr!(just x)