diff options
author | Nadrieril | 2020-11-01 16:10:00 +0000 |
---|---|---|
committer | Nadrieril | 2020-11-01 17:36:49 +0000 |
commit | 66ea301fc25a07485286560c434a9fdaf460c431 (patch) | |
tree | a0bc78be155be39e3da0ad5f61d7255057f8747a /dhall/src/lib.rs | |
parent | 2c245e7f5ce4019381e0fa47a1e2caf6276106be (diff) |
Untangle caching code
Diffstat (limited to '')
-rw-r--r-- | dhall/src/lib.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 87c461b..f9d259c 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -13,6 +13,7 @@ pub mod error; pub mod operations; pub mod semantics; pub mod syntax; +pub mod utils; use std::fmt::Display; use std::path::Path; @@ -37,8 +38,8 @@ pub struct Resolved(Hir); /// A typed expression #[derive(Debug, Clone)] pub struct Typed { - hir: Hir, - ty: Type, + pub hir: Hir, + pub ty: Type, } /// A normalized expression. |