diff options
author | Nadrieril | 2020-02-09 21:58:28 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-09 21:58:28 +0000 |
commit | 21db63d3e614554f258526182c7ed89a2c244b65 (patch) | |
tree | b222217123f53774e2c5c70160c3fc48e08045fc /dhall/src/semantics/mod.rs | |
parent | a709c65eb28f1b6a666f15bfc2255da7bc7105ab (diff) |
Take Hir for typecheck
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dhall/src/semantics/mod.rs b/dhall/src/semantics/mod.rs index a8c0659..ffa16ca 100644 --- a/dhall/src/semantics/mod.rs +++ b/dhall/src/semantics/mod.rs @@ -7,4 +7,5 @@ pub mod tck; pub(crate) use self::builtins::*; pub(crate) use self::hir::*; pub(crate) use self::nze::*; +pub(crate) use self::resolve::*; pub(crate) use self::tck::*; |