summaryrefslogtreecommitdiff
path: root/serde_dhall
diff options
context:
space:
mode:
authorNadrieril2019-08-13 17:21:54 +0200
committerNadrieril2019-08-13 17:21:54 +0200
commitfb0120dffe8e9552c3da7b994ad850f66dc612a3 (patch)
tree6d3bc794652d7ae70e0d7409b3f4294b038c9097 /serde_dhall
parent1ed3123aeb3c9272b6810605a7ee781c42095f09 (diff)
s/TypeThunk/TypedThunk/g
Diffstat (limited to 'serde_dhall')
-rw-r--r--serde_dhall/src/lib.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/serde_dhall/src/lib.rs b/serde_dhall/src/lib.rs
index 19aabec..14d8b47 100644
--- a/serde_dhall/src/lib.rs
+++ b/serde_dhall/src/lib.rs
@@ -124,7 +124,7 @@ pub use value::Value;
// A Dhall value.
pub mod value {
- use dhall::core::thunk::{Thunk, TypeThunk};
+ use dhall::core::thunk::{Thunk, TypedThunk};
use dhall::core::value::Value as DhallValue;
use dhall::phase::{NormalizedSubExpr, Parsed, Type, Typed};
use dhall_syntax::Builtin;
@@ -185,7 +185,7 @@ pub mod value {
) -> Self {
Self::from_dhall_value(DhallValue::RecordType(
kts.map(|(k, t)| {
- (k.into(), TypeThunk::from_thunk(t.to_thunk()))
+ (k.into(), TypedThunk::from_thunk(t.to_thunk()))
})
.collect(),
))
@@ -196,7 +196,7 @@ pub mod value {
) -> Self {
Self::from_dhall_value(DhallValue::UnionType(
kts.map(|(k, t)| {
- (k.into(), t.map(|t| TypeThunk::from_thunk(t.to_thunk())))
+ (k.into(), t.map(|t| TypedThunk::from_thunk(t.to_thunk())))
})
.collect(),
))