summaryrefslogtreecommitdiff
path: root/dhall/src/phase
diff options
context:
space:
mode:
authorNadrieril2019-08-16 12:35:34 +0200
committerNadrieril2019-08-16 18:02:26 +0200
commit51bb1d2da8e5874129d4b5cc5d0c60e23eee9f11 (patch)
treed1d1d106abff44ead33bcb4b3275f85e9afc8ae3 /dhall/src/phase
parent664c925186ecd587f46577715254b74b6264e4fe (diff)
Typecheck before normalizing in tests
Diffstat (limited to 'dhall/src/phase')
-rw-r--r--dhall/src/phase/typecheck.rs5
1 files changed, 1 insertions, 4 deletions
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs
index 2030f21..7bbad38 100644
--- a/dhall/src/phase/typecheck.rs
+++ b/dhall/src/phase/typecheck.rs
@@ -1002,10 +1002,7 @@ fn type_last_layer(
/// will fail.
fn type_of(e: SubExpr<Normalized>) -> Result<Typed, TypeError> {
let ctx = TypecheckContext::new();
- let e = type_with(&ctx, e)?;
- // Ensure `e` has a type (i.e. `e` is not `Sort`)
- e.get_type()?;
- Ok(e)
+ type_with(&ctx, e)
}
pub(crate) fn typecheck(e: Resolved) -> Result<Typed, TypeError> {