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/semantics/tck/mod.rs | |
| parent | 73571249f9bcf8efe84708a4a9f8665af62e44f0 (diff) | |
Rename TyExpr to Tir
Diffstat (limited to 'dhall/src/semantics/tck/mod.rs')
| -rw-r--r-- | dhall/src/semantics/tck/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/semantics/tck/mod.rs b/dhall/src/semantics/tck/mod.rs index 1df2a48..93c8f48 100644 --- a/dhall/src/semantics/tck/mod.rs +++ b/dhall/src/semantics/tck/mod.rs @@ -1,6 +1,6 @@ pub mod env; -pub mod tyexpr; +pub mod tir; pub mod typecheck; pub(crate) use env::*; -pub(crate) use tyexpr::*; +pub(crate) use tir::*; pub(crate) use typecheck::*; |