diff options
| author | Nadrieril | 2019-04-11 14:21:46 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-11 14:21:46 +0200 |
| commit | c3c1d3d276216796394b553ecbe2832897e3deb0 (patch) | |
| tree | 62873b8439323eeda476d2ea5bbbd2d2faec2288 /dhall/src/traits | |
| parent | 544024abc717f4768fd7bde8327fc2718b5c94e7 (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.rs | 2 |
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() } |