From 51bb1d2da8e5874129d4b5cc5d0c60e23eee9f11 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 16 Aug 2019 12:35:34 +0200
Subject: Typecheck before normalizing in tests

---
 dhall/src/phase/typecheck.rs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'dhall/src/phase')

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> {
-- 
cgit v1.2.3