diff options
author | Nadrieril | 2019-08-16 17:56:19 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-16 18:01:46 +0200 |
commit | 88ebc0f9d561a2541aad84a3152511a0439db8b4 (patch) | |
tree | 73571d5509f8631da63c09ec78acd30862f237f9 /dhall/src/core/context.rs | |
parent | e8bf879471708ac2cc03df904d14a618daaf2132 (diff) |
Reduce api surface of dhall crate
Helps detect unused code
Diffstat (limited to 'dhall/src/core/context.rs')
-rw-r--r-- | dhall/src/core/context.rs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dhall/src/core/context.rs b/dhall/src/core/context.rs index 8d14415..9230a2e 100644 --- a/dhall/src/core/context.rs +++ b/dhall/src/core/context.rs @@ -10,19 +10,19 @@ use crate::error::TypeError; use crate::phase::{Type, Typed}; #[derive(Debug, Clone)] -pub enum CtxItem<T> { +enum CtxItem<T> { Kept(AlphaVar, T), Replaced(Thunk, T), } #[derive(Debug, Clone)] -pub struct Context<T>(Rc<Vec<(Label, CtxItem<T>)>>); +struct Context<T>(Rc<Vec<(Label, CtxItem<T>)>>); #[derive(Debug, Clone)] -pub struct NormalizationContext(Context<()>); +pub(crate) struct NormalizationContext(Context<()>); #[derive(Debug, Clone)] -pub struct TypecheckContext(Context<Type>); +pub(crate) struct TypecheckContext(Context<Type>); impl<T> Context<T> { pub fn new() -> Self { |