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/src') 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