summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2019-03-12 00:24:28 +0100
committerNadrieril2019-03-12 00:24:28 +0100
commitafa8212e9551c0421ec8137ada6f5d24b2cbfd34 (patch)
tree630d42f51f98526a15c977be8e57051c1e075323 /dhall/src
parent4cd6c39d6d61c1d5a2670fe52c79bce4f11facdb (diff)
rustfmt
Diffstat (limited to 'dhall/src')
-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();