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/build.rs         | 12 ++++++++++--
 dhall/src/normalize.rs | 14 ++++++++++++--
 2 files changed, 22 insertions(+), 4 deletions(-)

(limited to 'dhall')

diff --git a/dhall/build.rs b/dhall/build.rs
index cc62a97..f7a31c0 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -36,12 +36,20 @@ fn main() -> std::io::Result<()> {
         if name == "largeExpression" {
             continue;
         }
-        writeln!(file, r#"make_spec_test!(ParserSuccess, spec_parser_success_{}, "{}");"#, name, path)?;
+        writeln!(
+            file,
+            r#"make_spec_test!(ParserSuccess, spec_parser_success_{}, "{}");"#,
+            name, path
+        )?;
     }
 
     for path in dhall_files_in_dir(&tests_dir.join("parser/failure/")) {
         let name = path.replace("/", "_");
-        writeln!(file, r#"make_spec_test!(ParserFailure, spec_parser_failure_{}, "{}");"#, name, path)?;
+        writeln!(
+            file,
+            r#"make_spec_test!(ParserFailure, spec_parser_failure_{}, "{}");"#,
+            name, path
+        )?;
     }
 
     Ok(())
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