summaryrefslogtreecommitdiff
path: root/dhall/src/traits
diff options
context:
space:
mode:
authorNadrieril2019-04-11 14:21:46 +0200
committerNadrieril2019-04-11 14:21:46 +0200
commitc3c1d3d276216796394b553ecbe2832897e3deb0 (patch)
tree62873b8439323eeda476d2ea5bbbd2d2faec2288 /dhall/src/traits
parent544024abc717f4768fd7bde8327fc2718b5c94e7 (diff)
Handle untyped case differently from the type of Sort
Closes #59
Diffstat (limited to 'dhall/src/traits')
-rw-r--r--dhall/src/traits/static_type.rs2
1 files changed, 1 insertions, 1 deletions
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()
}