diff options
author | Nadrieril | 2020-02-09 11:23:59 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-09 20:13:23 +0000 |
commit | 27031b3739ff9f2043e64130a4c5699d0f9233e8 (patch) | |
tree | d645b3db409d9cb477ad73e80d419c7bfd717976 /dhall/src/semantics/mod.rs | |
parent | 5870a46d5ab5810901198f03ed461d5c3bb5aa8a (diff) |
Add Hir as untyped alternative to TyExpr
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 98fdf5a..a8c0659 100644 --- a/dhall/src/semantics/mod.rs +++ b/dhall/src/semantics/mod.rs @@ -1,8 +1,10 @@ pub mod builtins; +pub mod hir; pub mod nze; pub mod parse; pub mod resolve; pub mod tck; pub(crate) use self::builtins::*; +pub(crate) use self::hir::*; pub(crate) use self::nze::*; pub(crate) use self::tck::*; |