diff options
author | Nadrieril | 2019-03-27 00:22:39 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-27 00:22:39 +0100 |
commit | 108c35242884b9cb5e3988e406f7983404cdf315 (patch) | |
tree | fbdbd144c5582e2b7fea3b8663ea0f87306044ca /dhall/src | |
parent | 173e0eb15b33342ec7c3523be0f913a962e7b85a (diff) |
Manually rustfmt like a nazi
Diffstat (limited to '')
-rw-r--r-- | dhall/src/normalize.rs | 14 |
1 files changed, 12 insertions, 2 deletions
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, ..]) => { |