diff options
author | Nadrieril | 2019-04-16 18:04:22 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-16 18:04:22 +0200 |
commit | 1cb13e7d75035fc1e7fcea76f57847f8dbbbac87 (patch) | |
tree | 94fd8d286e77b157dd5051010cbeac77ff926ef5 /dhall/src/typecheck.rs | |
parent | ba26169d47d42a8f50d30f29f699edb61a4b3759 (diff) |
Remove one more instance of duplicate typechecking
Diffstat (limited to 'dhall/src/typecheck.rs')
-rw-r--r-- | dhall/src/typecheck.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs index 195628b..c8929fe 100644 --- a/dhall/src/typecheck.rs +++ b/dhall/src/typecheck.rs @@ -22,7 +22,7 @@ impl<'a> Resolved<'a> { ty: &Type, ) -> Result<Typed<'static>, TypeError> { let expr: SubExpr<_, _> = self.0.unnote(); - let ty: SubExpr<_, _> = ty.as_normalized()?.as_expr().absurd(); + let ty: SubExpr<_, _> = ty.clone().unnote().embed()?; type_of(dhall::subexpr!(expr: ty)) } /// Pretends this expression has been typechecked. Use with care. |