From 8a47d27ccc1c800615cc721e01816fda7df68b01 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 8 May 2019 18:02:30 +0200
Subject: Implement normalization for record merging operators

---
 dhall/src/core/thunk.rs | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'dhall/src/core/thunk.rs')

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