diff options
Diffstat (limited to 'dhall')
-rw-r--r-- | dhall/src/typecheck.rs | 12 |
1 files changed, 10 insertions, 2 deletions
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(); |