diff options
author | Nadrieril | 2019-05-07 18:23:07 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-07 18:23:07 +0200 |
commit | 8cb3046e0920bf24d66c578b1a2b184c741b73fe (patch) | |
tree | 2fd14f54a5d140cf62afa75cf6b37dab8b90536f /dhall/src/core/mod.rs | |
parent | 3da450aa3fae23214aa982643b9bc4dd0ea4eaa6 (diff) |
Move AlphaVar and AlphaLabel into a new module
Diffstat (limited to 'dhall/src/core/mod.rs')
-rw-r--r-- | dhall/src/core/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/core/mod.rs b/dhall/src/core/mod.rs index 8f5c2ca..a202e72 100644 --- a/dhall/src/core/mod.rs +++ b/dhall/src/core/mod.rs @@ -1,3 +1,4 @@ pub(crate) mod context; pub(crate) mod thunk; pub(crate) mod value; +pub(crate) mod var; |