From 2f65c02a995f6b6d4c755197fc074782f6bb100d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 17 Feb 2020 18:12:44 +0000
Subject: Rename TyExpr to Tir

---
 dhall/src/lib.rs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'dhall/src/lib.rs')

diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index 144cac5..3fbc251 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -22,9 +22,7 @@ use crate::error::{EncodeError, Error, TypeError};
 use crate::semantics::parse;
 use crate::semantics::resolve;
 use crate::semantics::resolve::ImportRoot;
-use crate::semantics::{
-    typecheck, typecheck_with, Hir, TyExpr, Value, ValueKind,
-};
+use crate::semantics::{typecheck, typecheck_with, Hir, Tir, Value, ValueKind};
 use crate::syntax::binary;
 use crate::syntax::{Builtin, Expr};
 
@@ -44,7 +42,7 @@ pub struct Resolved(Hir);
 
 /// A typed expression
 #[derive(Debug, Clone)]
-pub struct Typed(TyExpr);
+pub struct Typed(Tir);
 
 /// A normalized expression.
 ///
-- 
cgit v1.2.3