summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall')
-rw-r--r--dhall/src/typecheck.rs12
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();