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/phase/mod.rs | |
parent | 423fdeebe9247b16744fae4b50df415bbd08be04 (diff) |
Consolidate errors in the error module
Diffstat (limited to 'dhall/src/phase/mod.rs')
-rw-r--r-- | dhall/src/phase/mod.rs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/dhall/src/phase/mod.rs b/dhall/src/phase/mod.rs index 0b6eca6..4262dc1 100644 --- a/dhall/src/phase/mod.rs +++ b/dhall/src/phase/mod.rs @@ -4,13 +4,11 @@ use std::path::Path; use dhall_syntax::{Const, Import, Span, SubExpr, X}; -use crate::error::Error; +use crate::error::{Error, ImportError, TypeError, TypeMessage}; use normalize::{AlphaVar, Thunk, Value}; -use resolve::{ImportError, ImportRoot}; -use typecheck::{ - const_to_typed, type_of_const, TypeError, TypeMessage, TypecheckContext, -}; +use resolve::ImportRoot; +use typecheck::{const_to_typed, type_of_const, TypecheckContext}; pub(crate) mod binary; pub(crate) mod normalize; |