diff options
author | Nadrieril | 2020-01-18 18:46:09 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-18 18:54:42 +0000 |
commit | ec28905d32c23109da17696faefab284fde3e103 (patch) | |
tree | cd46bc2276e55c2cb89ddba6bb34a398f9ea2c56 /dhall/src/semantics/mod.rs | |
parent | b7d847cc812e6a7ce52354b15a9ed6b41ffeb3b4 (diff) |
Introduce intermediate representation that stores typed expr
Diffstat (limited to 'dhall/src/semantics/mod.rs')
-rw-r--r-- | dhall/src/semantics/mod.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs index 3ef1aba..63f74ee 100644 --- a/dhall/src/semantics/mod.rs +++ b/dhall/src/semantics/mod.rs @@ -1,4 +1,5 @@ pub mod core; pub mod phase; -pub mod to_expr; +pub mod tck; pub(crate) use self::core::*; +pub(crate) use self::tck::*; |