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/mod.rs | |
parent | a928c3c4f51d87fd942e8a81727962c00abf6808 (diff) |
Move builtins-related code to its own module
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs index ce08334..01bbd39 100644 --- a/dhall/src/semantics/mod.rs +++ b/dhall/src/semantics/mod.rs @@ -1,7 +1,9 @@ +pub mod builtins; pub mod core; pub mod nze; pub mod phase; pub mod tck; +pub(crate) use self::builtins::*; pub(crate) use self::core::*; pub(crate) use self::nze::*; pub(crate) use self::tck::*; |