diff options
Diffstat (limited to 'dhall/src/traits/dynamic_type.rs')
-rw-r--r-- | dhall/src/traits/dynamic_type.rs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/dhall/src/traits/dynamic_type.rs b/dhall/src/traits/dynamic_type.rs index 4c8e1fd..3f8d117 100644 --- a/dhall/src/traits/dynamic_type.rs +++ b/dhall/src/traits/dynamic_type.rs @@ -1,9 +1,6 @@ -use crate::expr::*; +use crate::phase::typecheck::TypeError; +use crate::phase::*; 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 { |