From 60129b7d1c0ea8bdf2ec666fa51957e97465e88f Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 6 May 2019 23:17:26 +0200 Subject: Consolidate errors in the error module --- dhall/src/phase/mod.rs | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'dhall/src/phase/mod.rs') 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; -- cgit v1.2.3