diff options
author | Nadrieril | 2019-04-29 23:28:16 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-29 23:29:09 +0200 |
commit | 6bb8e618f66df4a955d800d49b3b6863aabd5b41 (patch) | |
tree | 375503a91a74c843a48971026c99a137f9f3a5ec /dhall/src/expr.rs | |
parent | 69b65ee70a84b591c9a56861317253577e7c7628 (diff) |
Remove NF/WHNF distinction at runtime
Diffstat (limited to 'dhall/src/expr.rs')
-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 e7beafa..b2f2bec 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::Value<crate::normalize::WHNF>, + pub(crate) crate::normalize::Value, pub(crate) Option<Type<'static>>, pub(crate) PhantomData<&'a ()>, ); |