diff options
author | Nadrieril | 2019-03-21 21:29:20 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-21 21:29:20 +0100 |
commit | ea08d2528d2ee46446ac8981e72af5c610e43ce1 (patch) | |
tree | dbec600d280217c85310424ccc88e8fd68f6a6d5 | |
parent | 8d527e88168885ab754a039219d0ae682fa4508b (diff) |
rustfmt
-rw-r--r-- | dhall/src/normalize.rs | 14 |
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) |