diff options
author | Basile Henry | 2020-11-03 23:32:51 +0100 |
---|---|---|
committer | Basile Henry | 2020-11-03 23:32:51 +0100 |
commit | a56cd6021705ebfd310bc902c4f549bea9b06a5b (patch) | |
tree | 8cd7429e654d31b9fbc68a97d71db92e7571c08a /dhall/src/lib.rs | |
parent | 559f64fd866fc74e930ddf8984fa11199a57ca2c (diff) | |
parent | f87ffe7a590c9e0a3e0a57854c739a0f89c3784d (diff) |
Merge remote-tracking branch 'upstream/master' into text-replace
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. |