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 '')
| -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 ()>, ); |