From a987d01a8d1248f35ba19babb66aebabfad47a6d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 27 Apr 2019 15:28:16 +0200
Subject: Define new intermediate expression type

---
 dhall/src/expr.rs | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'dhall/src/expr.rs')

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
@@ -45,6 +45,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>,
-- 
cgit v1.2.3