From fb0120dffe8e9552c3da7b994ad850f66dc612a3 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 13 Aug 2019 17:21:54 +0200
Subject: s/TypeThunk/TypedThunk/g

---
 serde_dhall/src/lib.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'serde_dhall')

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(),
             ))
-- 
cgit v1.2.3