summaryrefslogtreecommitdiff
path: root/dhall/src/core
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/src/core')
-rw-r--r--dhall/src/core/thunk.rs7
1 files changed, 7 insertions, 0 deletions
diff --git a/dhall/src/core/thunk.rs b/dhall/src/core/thunk.rs
index 530762b..a02d7ae 100644
--- a/dhall/src/core/thunk.rs
+++ b/dhall/src/core/thunk.rs
@@ -235,6 +235,13 @@ impl TypeThunk {
}
}
+ pub(crate) fn to_thunk(&self) -> Thunk {
+ match self {
+ TypeThunk::Thunk(th) => th.clone(),
+ TypeThunk::Type(t) => t.to_thunk(),
+ }
+ }
+
pub(crate) fn to_type(
&self,
ctx: &TypecheckContext,