From f5a588defc0ad22ce2f0d3b32ef8f0e22e43e672 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 24 Dec 2019 21:46:29 +0000
Subject: Ensure inferred type is always in normal form

---
 dhall/src/semantics/core/value.rs | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'dhall/src/semantics/core/value.rs')

diff --git a/dhall/src/semantics/core/value.rs b/dhall/src/semantics/core/value.rs
index ca7c4bc..6fa00ac 100644
--- a/dhall/src/semantics/core/value.rs
+++ b/dhall/src/semantics/core/value.rs
@@ -200,6 +200,9 @@ impl Value {
             WHNF | NF => {}
         }
     }
+    pub(crate) fn normalize_nf(&self) {
+        self.as_internal_mut().normalize_nf();
+    }
 
     pub(crate) fn app(&self, v: Value) -> Value {
         let body_t = match &*self.get_type_not_sort().as_whnf() {
-- 
cgit v1.2.3