From 6287b7a7f9e421877ee13fefa586395fec844c99 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 6 Dec 2020 21:41:03 +0000
Subject: Thread cx through typecheck

---
 dhall/src/operations/typecheck.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'dhall/src/operations/typecheck.rs')

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> {
-- 
cgit v1.2.3