summaryrefslogtreecommitdiff
path: root/serde_dhall/src
diff options
context:
space:
mode:
authorNadrieril2019-08-16 19:47:36 +0200
committerNadrieril2019-08-16 19:51:32 +0200
commite0f5216215ccb7a4df85d80e11dd265cdb52a44f (patch)
tree64215976bbc587cc014a60963e206b0bbb625f4d /serde_dhall/src
parent45fb07f74f19919f742be6fe7793dc72d4022f26 (diff)
s/Value/ValueF/
Diffstat (limited to 'serde_dhall/src')
-rw-r--r--serde_dhall/src/lib.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/serde_dhall/src/lib.rs b/serde_dhall/src/lib.rs
index a277977..49fd40e 100644
--- a/serde_dhall/src/lib.rs
+++ b/serde_dhall/src/lib.rs
@@ -125,7 +125,7 @@ pub use value::Value;
// A Dhall value.
pub mod value {
use dhall::core::thunk::{Thunk, TypedThunk};
- use dhall::core::value::Value as DhallValue;
+ use dhall::core::value::ValueF as DhallValue;
use dhall::phase::{NormalizedSubExpr, Parsed, Type, Typed};
use dhall_syntax::Builtin;
@@ -162,7 +162,7 @@ pub mod value {
/// Assumes that the given value has type `Type`.
pub(crate) fn make_simple_type(v: DhallValue) -> Self {
- Value(Typed::from_value_and_type(v, Type::const_type()))
+ Value(Typed::from_valuef_and_type(v, Type::const_type()))
}
pub(crate) fn make_builtin_type(b: Builtin) -> Self {
Self::make_simple_type(DhallValue::from_builtin(b))