summaryrefslogtreecommitdiff
path: root/dhall/src/api
diff options
context:
space:
mode:
authorNadrieril2019-05-06 23:52:15 +0200
committerNadrieril2019-05-06 23:52:15 +0200
commit55b5be3407a8528bc47482a591b168a7cb0ce91e (patch)
tree4ccd6a98d01e6436c7fdd51a77837b02847fc3a2 /dhall/src/api
parent5b91eaa9d6b70a2ac72fe19f2d21871c8d94b017 (diff)
Move main datatypes into their own modules
Diffstat (limited to '')
-rw-r--r--dhall/src/api/traits/static_type.rs2
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(),