From 5542797c77a9dfcdffec539f1a82341a450291a2 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 27 Dec 2019 15:31:06 +0000
Subject: s/TypecheckContext/TyCtx/

---
 dhall/src/error/mod.rs | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'dhall/src/error')

diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs
index 6e7be64..56bc8ab 100644
--- a/dhall/src/error/mod.rs
+++ b/dhall/src/error/mod.rs
@@ -1,6 +1,6 @@
 use std::io::Error as IOError;
 
-use crate::semantics::core::context::TypecheckContext;
+use crate::semantics::core::context::TyCtx;
 use crate::semantics::core::value::Value;
 use crate::semantics::phase::resolve::ImportStack;
 use crate::semantics::phase::NormalizedExpr;
@@ -41,7 +41,7 @@ pub enum EncodeError {
 #[derive(Debug)]
 pub struct TypeError {
     message: TypeMessage,
-    context: TypecheckContext,
+    context: TyCtx,
 }
 
 /// The specific type error
@@ -88,10 +88,7 @@ pub(crate) enum TypeMessage {
 }
 
 impl TypeError {
-    pub(crate) fn new(
-        context: &TypecheckContext,
-        message: TypeMessage,
-    ) -> Self {
+    pub(crate) fn new(context: &TyCtx, message: TypeMessage) -> Self {
         TypeError {
             context: context.clone(),
             message,
-- 
cgit v1.2.3