diff options
| author | Nadrieril | 2020-12-06 21:41:03 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-12-07 19:34:38 +0000 |
| commit | 6287b7a7f9e421877ee13fefa586395fec844c99 (patch) | |
| tree | 65129001dbd7e56561df656dc8eee8f441a05b25 /dhall/src/operations/typecheck.rs | |
| parent | 9991bd4891774c4dd598decae02ee860554d2ab7 (diff) | |
Thread cx through typecheck
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> { |