diff options
author | Nadrieril | 2019-04-27 15:28:16 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-27 15:28:16 +0200 |
commit | a987d01a8d1248f35ba19babb66aebabfad47a6d (patch) | |
tree | 7b4b82a63a4895dc7966a796701c33b7a1fb9b89 /dhall/src/expr.rs | |
parent | 7517610921935727218e94d4ec8116c15e3419ac (diff) |
Define new intermediate expression type
Diffstat (limited to '')
-rw-r--r-- | dhall/src/expr.rs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs index a548d32..6048928 100644 --- a/dhall/src/expr.rs +++ b/dhall/src/expr.rs @@ -46,6 +46,13 @@ pub(crate) struct Typed<'a>( derive_other_traits!(Typed); #[derive(Debug, Clone)] +pub(crate) struct PartiallyNormalized<'a>( + pub(crate) crate::normalize::WHNF, + 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>>, |