diff options
| author | Nadrieril | 2019-05-06 22:09:55 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-06 22:09:55 +0200 |
| commit | 423fdeebe9247b16744fae4b50df415bbd08be04 (patch) | |
| tree | f2f16407d7e365e6fecee400a1959ca08b2a5156 /dhall/src/traits/dynamic_type.rs | |
| parent | 2075cba6d883278a534afd2d8fe8f0a5e9b2f0d0 (diff) | |
Reorganize dhall into a phase structure
Diffstat (limited to '')
| -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 { |