summaryrefslogtreecommitdiff
path: root/serde_dhall/src
diff options
context:
space:
mode:
authorNadrieril2019-08-20 18:03:59 +0200
committerNadrieril2019-08-20 18:03:59 +0200
commit4f1f37cfc115510500e83d2dfbfa8ed7ddeae74a (patch)
tree77c743b9c55afbbb5966a3c90614c6d3d257813d /serde_dhall/src
parenta506632b27b287d1bf898e2f77ae09a56902474c (diff)
Introduce a new enum to store either a Value or a ValueF
Diffstat (limited to '')
-rw-r--r--serde_dhall/src/lib.rs8
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