diff options
| author | Nadrieril | 2019-05-06 23:17:26 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-05-06 23:20:47 +0200 |
| commit | 60129b7d1c0ea8bdf2ec666fa51957e97465e88f (patch) | |
| tree | 2118155537989a1a3bfa6c51b5c476651a0ef93e /dhall/src/traits/dynamic_type.rs | |
| parent | 423fdeebe9247b16744fae4b50df415bbd08be04 (diff) | |
Consolidate errors in the error module
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/traits/dynamic_type.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/traits/dynamic_type.rs b/dhall/src/traits/dynamic_type.rs index 3f8d117..7763a28 100644 --- a/dhall/src/traits/dynamic_type.rs +++ b/dhall/src/traits/dynamic_type.rs @@ -1,5 +1,5 @@ -use crate::phase::typecheck::TypeError; -use crate::phase::*; +use crate::error::TypeError; +use crate::phase::{Normalized, Type, Typed}; use crate::traits::StaticType; use std::borrow::Cow; |