diff options
author | Nadrieril | 2020-01-30 11:09:39 +0000 |
---|---|---|
committer | Nadrieril | 2020-01-30 11:14:49 +0000 |
commit | 655f67fb29ca847f86c3e19338757e7b031d4f50 (patch) | |
tree | c7e7f73a1830cf254d04be485ac861880949d707 /dhall/src/semantics/tck/mod.rs | |
parent | a928c3c4f51d87fd942e8a81727962c00abf6808 (diff) |
Move builtins-related code to its own module
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/tck/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/semantics/tck/mod.rs b/dhall/src/semantics/tck/mod.rs index 28974af..1df2a48 100644 --- a/dhall/src/semantics/tck/mod.rs +++ b/dhall/src/semantics/tck/mod.rs @@ -1,6 +1,6 @@ -pub mod context; pub mod env; pub mod tyexpr; pub mod typecheck; pub(crate) use env::*; pub(crate) use tyexpr::*; +pub(crate) use typecheck::*; |