diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/src/api/traits/dynamic_type.rs (renamed from dhall/src/traits/dynamic_type.rs) | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/dhall/src/traits/dynamic_type.rs b/dhall/src/api/traits/dynamic_type.rs index 858642e..7763a28 100644 --- a/dhall/src/traits/dynamic_type.rs +++ b/dhall/src/api/traits/dynamic_type.rs @@ -1,9 +1,6 @@ -use crate::expr::*; +use crate::error::TypeError; +use crate::phase::{Normalized, Type, Typed}; use crate::traits::StaticType; -#[allow(unused_imports)] -use crate::typecheck::{TypeError, TypeMessage, TypecheckContext}; -#[allow(unused_imports)] -use dhall_syntax::{Const, ExprF}; use std::borrow::Cow; pub trait DynamicType { @@ -30,6 +27,6 @@ impl DynamicType for Normalized { impl DynamicType for Typed { fn get_type(&self) -> Result<Cow<'_, Type>, TypeError> { - self.0.get_type() + self.get_type() } } |