diff options
author | Nadrieril | 2020-02-17 18:12:44 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-17 18:12:44 +0000 |
commit | 2f65c02a995f6b6d4c755197fc074782f6bb100d (patch) | |
tree | ebe6373d5344b90f1a3e77b1a772e1ccadc6be81 /dhall/src/lib.rs | |
parent | 73571249f9bcf8efe84708a4a9f8665af62e44f0 (diff) |
Rename TyExpr to Tir
Diffstat (limited to 'dhall/src/lib.rs')
-rw-r--r-- | dhall/src/lib.rs | 6 |
1 files changed, 2 insertions, 4 deletions
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. /// |