diff options
author | Nadrieril | 2019-08-19 22:26:17 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-19 22:43:44 +0200 |
commit | 07a276c1d6ee892b93abbd7a73c78c96d56f4fe7 (patch) | |
tree | 1524e5bf80bb05d319764ed5f53bac81cb64df87 /serde_dhall | |
parent | 26a1fd0f0861038a76a0f9b09eaef16d808d4139 (diff) |
Reduce untyped construction of Values
Diffstat (limited to 'serde_dhall')
-rw-r--r-- | serde_dhall/src/lib.rs | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/serde_dhall/src/lib.rs b/serde_dhall/src/lib.rs index 31643d0..9d2ec85 100644 --- a/serde_dhall/src/lib.rs +++ b/serde_dhall/src/lib.rs @@ -186,7 +186,7 @@ pub mod value { ) -> Self { Self::make_simple_type(DhallValue::RecordType( kts.map(|(k, t)| { - (k.into(), TypedThunk::from_value_simple_type(t.to_value())) + (k.into(), TypedThunk::from_value(t.to_value())) }) .collect(), )) @@ -197,12 +197,7 @@ pub mod value { ) -> Self { Self::make_simple_type(DhallValue::UnionType( kts.map(|(k, t)| { - ( - k.into(), - t.map(|t| { - TypedThunk::from_value_simple_type(t.to_value()) - }), - ) + (k.into(), t.map(|t| TypedThunk::from_value(t.to_value()))) }) .collect(), )) |