diff options
author | Nadrieril | 2019-04-30 15:35:13 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-30 15:35:13 +0200 |
commit | 77198a2833297289770867acdaf31db0e2011ea9 (patch) | |
tree | c5bbfad8e1cfc82f2e22868938a41d630ac4962a /dhall/src/expr.rs | |
parent | e2626a0bfd4b145e7d54c2150457f57e798ba2f7 (diff) |
Merge Typed and PartiallyNormalized
Diffstat (limited to '')
-rw-r--r-- | dhall/src/expr.rs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs index c794324..1ddc4ba 100644 --- a/dhall/src/expr.rs +++ b/dhall/src/expr.rs @@ -44,13 +44,6 @@ pub(crate) struct Typed<'a>( ); #[derive(Debug, Clone)] -pub(crate) struct PartiallyNormalized<'a>( - pub(crate) crate::normalize::Value, - pub(crate) Option<Type<'static>>, - pub(crate) PhantomData<&'a ()>, -); - -#[derive(Debug, Clone)] pub(crate) struct Normalized<'a>( pub(crate) SubExpr<X, X>, pub(crate) Option<Type<'static>>, |