diff options
| author | Nadrieril | 2019-04-29 17:13:51 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-29 21:06:08 +0200 |
| commit | c60d99ddec3653ed10828c91f3e1abf8b78238b0 (patch) | |
| tree | c1f39515c85ba9fcdcb34ffa894f5d6b2cbeaec8 /dhall/src/expr.rs | |
| parent | 5a3d63ecb46ee0b4ab3a7b49cf9feb286b164803 (diff) | |
Allow representing normal form as a semantic value
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/expr.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs index bde4fe0..e7beafa 100644 --- a/dhall/src/expr.rs +++ b/dhall/src/expr.rs @@ -47,7 +47,7 @@ derive_other_traits!(Typed); #[derive(Debug, Clone)] pub(crate) struct PartiallyNormalized<'a>( - pub(crate) crate::normalize::WHNF, + pub(crate) crate::normalize::Value<crate::normalize::WHNF>, pub(crate) Option<Type<'static>>, pub(crate) PhantomData<&'a ()>, ); |