diff options
| author | Nadrieril | 2019-03-06 00:51:20 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-06 00:51:20 +0100 |
| commit | 5b32c5bdea80a0bdf19240f3cc2b8e2ae251d51a (patch) | |
| tree | f537653914e5221103fcd45214087f58e10dfe34 /dhall/src/core.rs | |
| parent | df245c316029f5b3037c14514bd3535613f26222 (diff) | |
rustfmt
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/core.rs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/dhall/src/core.rs b/dhall/src/core.rs index a0e686d..340cb04 100644 --- a/dhall/src/core.rs +++ b/dhall/src/core.rs @@ -1078,8 +1078,10 @@ where } (App(box Builtin(OptionalBuild), a0), g) => { let e2: Expr<_, _> = app(app(app(g, - App(bx(Builtin(Optional)), a0.clone())), - Lam("x", a0.clone(), bx(OptionalLit(Some(a0.clone()), vec![Var(V("x", 0))])))), OptionalLit(Some(a0), vec![])); + App(bx(Builtin(Optional)), a0.clone())), + Lam("x", a0.clone(), + bx(OptionalLit(Some(a0.clone()), vec![Var(V("x", 0))])))), + OptionalLit(Some(a0), vec![])); normalize(&e2) } (f2, a2) => app(f2, a2), |