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

---
 dhall/src/phase/mod.rs | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'dhall/src/phase/mod.rs')

diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs
index 0b05227..27a6901 100644
--- a/dhall/src/phase/mod.rs
+++ b/dhall/src/phase/mod.rs
@@ -4,7 +4,7 @@ use std::path::Path;
 
 use dhall_syntax::{Const, Import, Span, SubExpr, X};
 
-use crate::core::thunk::{Thunk, TypeThunk};
+use crate::core::thunk::{Thunk, TypedThunk};
 use crate::core::value::Value;
 use crate::core::var::{AlphaVar, Shift, Subst};
 use crate::error::{EncodeError, Error, ImportError, TypeError};
@@ -31,7 +31,7 @@ pub struct Resolved(ResolvedSubExpr);
 
 /// A typed expression
 #[derive(Debug, Clone)]
-pub struct Typed(TypeThunk);
+pub struct Typed(TypedThunk);
 
 /// A normalized expression.
 ///
@@ -100,18 +100,18 @@ impl Typed {
     }
 
     pub fn from_thunk_and_type(th: Thunk, t: Type) -> Self {
-        Typed(TypeThunk::from_thunk_and_type(th, t))
+        Typed(TypedThunk::from_thunk_and_type(th, t))
     }
     pub fn from_thunk_untyped(th: Thunk) -> Self {
-        Typed(TypeThunk::from_thunk_untyped(th))
+        Typed(TypedThunk::from_thunk_untyped(th))
     }
     pub fn from_const(c: Const) -> Self {
-        Typed(TypeThunk::from_const(c))
+        Typed(TypedThunk::from_const(c))
     }
     pub fn from_value_untyped(v: Value) -> Self {
-        Typed(TypeThunk::from_value_untyped(v))
+        Typed(TypedThunk::from_value_untyped(v))
     }
-    pub fn from_typethunk(th: TypeThunk) -> Self {
+    pub fn from_typethunk(th: TypedThunk) -> Self {
         Typed(th)
     }
 
@@ -135,7 +135,7 @@ impl Typed {
     pub fn into_type(self) -> Type {
         self
     }
-    pub fn into_typethunk(self) -> TypeThunk {
+    pub fn into_typethunk(self) -> TypedThunk {
         self.0
     }
     pub fn to_normalized(&self) -> Normalized {
-- 
cgit v1.2.3