diff options
Diffstat (limited to 'dhall/src/operations/typecheck.rs')
| -rw-r--r-- | dhall/src/operations/typecheck.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dhall/src/operations/typecheck.rs b/dhall/src/operations/typecheck.rs index bc0e864..5718114 100644 --- a/dhall/src/operations/typecheck.rs +++ b/dhall/src/operations/typecheck.rs @@ -13,7 +13,7 @@ use crate::syntax::{Const, ExprKind, Span}; fn check_rectymerge( span: &Span, - env: &TyEnv, + env: &TyEnv<'_>, x: Nir, y: Nir, ) -> Result<(), TypeError> { @@ -45,7 +45,7 @@ fn check_rectymerge( } fn typecheck_binop( - env: &TyEnv, + env: &TyEnv<'_>, span: Span, op: BinOp, l: Tir<'_>, @@ -150,7 +150,7 @@ fn typecheck_binop( } fn typecheck_merge( - env: &TyEnv, + env: &TyEnv<'_>, span: Span, record: &Tir<'_>, scrut: &Tir<'_>, @@ -288,7 +288,7 @@ fn typecheck_merge( } pub fn typecheck_operation( - env: &TyEnv, + env: &TyEnv<'_>, span: Span, opkind: OpKind<Tir<'_>>, ) -> Result<Type, TypeError> { |