Improve simple type handling in typecheck

1 files changed, 5 insertions, 0 deletions

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()
+    }
+}