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/phase/mod.rs | 3 +++
 1 file changed, 3 insertions(+)

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

diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs
index d658638..ca50727 100644
--- a/dhall/src/phase/mod.rs
+++ b/dhall/src/phase/mod.rs
@@ -180,6 +180,9 @@ impl Type {
     pub(crate) fn to_value(&self) -> Value {
         self.0.to_value()
     }
+    pub(crate) fn to_thunk(&self) -> Thunk {
+        self.0.to_thunk()
+    }
     pub(crate) fn as_const(&self) -> Option<Const> {
         // TODO: avoid clone
         match &self.to_value() {
-- 
cgit v1.2.3