summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall')
-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)