diff options
| author | Nadrieril | 2019-08-16 12:35:34 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-08-16 18:02:26 +0200 |
| commit | 51bb1d2da8e5874129d4b5cc5d0c60e23eee9f11 (patch) | |
| tree | d1d1d106abff44ead33bcb4b3275f85e9afc8ae3 /dhall/src/phase/typecheck.rs | |
| parent | 664c925186ecd587f46577715254b74b6264e4fe (diff) | |
Typecheck before normalizing in tests
Diffstat (limited to 'dhall/src/phase/typecheck.rs')
| -rw-r--r-- | dhall/src/phase/typecheck.rs | 5 |
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> { |