From b694e567392256eb0a429586b2230253d4d80564 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 11 Apr 2019 15:25:04 +0200
Subject: Improve simple type handling in typecheck

---
 dhall/src/expr.rs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'dhall/src/expr.rs')

diff --git a/dhall/src/expr.rs b/dhall/src/expr.rs
index 6458be9..30ca6c6 100644
--- a/dhall/src/expr.rs
+++ b/dhall/src/expr.rs
@@ -88,3 +88,8 @@ impl Normalized {
     }
 }
 
+impl SimpleType {
+    pub(crate) fn into_type(self) -> Type {
+        Normalized(self.0, Some(Type::const_type())).into_type()
+    }
+}
-- 
cgit v1.2.3