From c3c1d3d276216796394b553ecbe2832897e3deb0 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 11 Apr 2019 14:21:46 +0200
Subject: Handle untyped case differently from the type of Sort

Closes #59
---
 dhall/src/traits/static_type.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall/src/traits')

diff --git a/dhall/src/traits/static_type.rs b/dhall/src/traits/static_type.rs
index 6c41e3f..6b0f5c5 100644
--- a/dhall/src/traits/static_type.rs
+++ b/dhall/src/traits/static_type.rs
@@ -23,7 +23,7 @@ impl<T: SimpleStaticType> StaticType for T {
     fn get_static_type() -> Type {
         crate::expr::Normalized(
             T::get_simple_static_type().into(),
-            Type::const_type(),
+            Some(Type::const_type()),
         )
         .into_type()
     }
-- 
cgit v1.2.3