From afa8212e9551c0421ec8137ada6f5d24b2cbfd34 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 12 Mar 2019 00:24:28 +0100
Subject: rustfmt

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

(limited to 'dhall')

diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 00b8b47..c41bd89 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -223,7 +223,11 @@ where
             let kB = match tB {
                 Const(k) => k,
                 _ => {
-                    return Err(TypeError::new(&ctx2, e, InvalidOutputType(tB)));
+                    return Err(TypeError::new(
+                        &ctx2,
+                        e,
+                        InvalidOutputType(tB),
+                    ));
                 }
             };
 
@@ -477,7 +481,11 @@ where
             match s {
                 Const(Type) => {}
                 _ => {
-                    return Err(TypeError::new(ctx, e, InvalidOptionalType(*t)));
+                    return Err(TypeError::new(
+                        ctx,
+                        e,
+                        InvalidOptionalType(*t),
+                    ));
                 }
             }
             let n = xs.len();
-- 
cgit v1.2.3