summaryrefslogtreecommitdiff
path: root/dhall/src/operations
diff options
context:
space:
mode:
authorNadrieril2020-12-06 21:41:03 +0000
committerNadrieril2020-12-07 19:34:38 +0000
commit6287b7a7f9e421877ee13fefa586395fec844c99 (patch)
tree65129001dbd7e56561df656dc8eee8f441a05b25 /dhall/src/operations
parent9991bd4891774c4dd598decae02ee860554d2ab7 (diff)
Thread cx through typecheck
Diffstat (limited to 'dhall/src/operations')
-rw-r--r--dhall/src/operations/typecheck.rs8
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> {