diff options
author | Nadrieril | 2019-08-20 18:03:59 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-20 18:03:59 +0200 |
commit | 4f1f37cfc115510500e83d2dfbfa8ed7ddeae74a (patch) | |
tree | 77c743b9c55afbbb5966a3c90614c6d3d257813d /serde_dhall/src | |
parent | a506632b27b287d1bf898e2f77ae09a56902474c (diff) |
Introduce a new enum to store either a Value or a ValueF
Diffstat (limited to 'serde_dhall/src')
-rw-r--r-- | serde_dhall/src/lib.rs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/serde_dhall/src/lib.rs b/serde_dhall/src/lib.rs index 4171fab..e2449de 100644 --- a/serde_dhall/src/lib.rs +++ b/serde_dhall/src/lib.rs @@ -169,12 +169,16 @@ pub mod value { } pub(crate) fn make_optional_type(t: Value) -> Self { Self::make_simple_type( - DhallValueF::from_builtin(Builtin::Optional).app(t.to_value()), + DhallValueF::from_builtin(Builtin::Optional) + .app(t.to_value()) + .into_whnf(), ) } pub(crate) fn make_list_type(t: Value) -> Self { Self::make_simple_type( - DhallValueF::from_builtin(Builtin::List).app(t.to_value()), + DhallValueF::from_builtin(Builtin::List) + .app(t.to_value()) + .into_whnf(), ) } // Made public for the StaticType derive macro |