diff options
author | Nadrieril | 2020-12-06 20:10:51 +0000 |
---|---|---|
committer | Nadrieril | 2020-12-07 19:34:38 +0000 |
commit | 3a623acaf70c934ee9dbd74dfadcaa2c612160c5 (patch) | |
tree | a41ffcda11f3049793d7b7214a62c68a1b059661 /dhall/src/lib.rs | |
parent | 697e93e0f56e3c063ce253983f703be88d468b47 (diff) |
Make global store of imports and import results
Diffstat (limited to 'dhall/src/lib.rs')
-rw-r--r-- | dhall/src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 6747eff..d079e92 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -9,6 +9,7 @@ )] pub mod builtins; +pub mod ctxt; pub mod error; pub mod operations; pub mod semantics; @@ -26,6 +27,8 @@ use crate::semantics::resolve::ImportLocation; use crate::semantics::{typecheck, typecheck_with, Hir, Nir, Tir, Type}; use crate::syntax::Expr; +pub use ctxt::{Ctxt, ImportId, ImportResultId}; + #[derive(Debug, Clone)] pub struct Parsed(Expr, ImportLocation); |