From 108c35242884b9cb5e3988e406f7983404cdf315 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 27 Mar 2019 00:22:39 +0100
Subject: Manually rustfmt like a nazi

---
 dhall/src/normalize.rs | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

(limited to 'dhall/src/normalize.rs')

diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index 1bf4b6a..a3a2318 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -104,7 +104,12 @@ where
                 let a0 = Rc::clone(a0);
                 let a1 = shift(1, &V("a".into(), 0), &a0);
                 // TODO: use Embed to avoid reevaluating g
-                break dhall_expr!(g (List a0) (λ(a : a0) -> λ(as : List a1) -> [ a ] # as) ([] : List a0));
+                break dhall_expr!(
+                    g
+                    (List a0)
+                    (λ(a : a0) -> λ(as : List a1) -> [ a ] # as)
+                    ([] : List a0)
+                );
             }
         }
         (OptionalBuild, _, [a0, g, ..]) => {
@@ -119,7 +124,12 @@ where
                 };
                 let a0 = Rc::clone(a0);
                 // TODO: use Embed to avoid reevaluating g
-                break dhall_expr!((g (Optional a0)) (λ(x: a0) -> Some x) (None a0));
+                break dhall_expr!(
+                    g
+                    (Optional a0)
+                    (λ(x: a0) -> Some x)
+                    (None a0)
+                );
             }
         }
         (ListFold, Some(EmptyListLit(_)), [_, _, _, _, nil, ..]) => {
-- 
cgit v1.2.3