diff options
| author | Nadrieril | 2019-05-06 23:52:15 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-06 23:52:15 +0200 |
| commit | 55b5be3407a8528bc47482a591b168a7cb0ce91e (patch) | |
| tree | 4ccd6a98d01e6436c7fdd51a77837b02847fc3a2 /dhall/src/api | |
| parent | 5b91eaa9d6b70a2ac72fe19f2d21871c8d94b017 (diff) | |
Move main datatypes into their own modules
Diffstat (limited to 'dhall/src/api')
| -rw-r--r-- | dhall/src/api/traits/static_type.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/api/traits/static_type.rs b/dhall/src/api/traits/static_type.rs index 8b141a0..e05dfff 100644 --- a/dhall/src/api/traits/static_type.rs +++ b/dhall/src/api/traits/static_type.rs @@ -39,7 +39,7 @@ fn mktype(x: SubExpr<X, X>) -> SimpleType { impl<T: SimpleStaticType> StaticType for T { fn get_static_type() -> Type { crate::phase::Normalized::from_thunk_and_type( - crate::phase::normalize::Thunk::from_normalized_expr( + crate::core::thunk::Thunk::from_normalized_expr( T::get_simple_static_type().into(), ), Type::const_type(), |