summaryrefslogtreecommitdiff
path: root/dhall/src/typecheck.rs
diff options
context:
space:
mode:
authorNadrieril2019-03-06 21:32:20 +0100
committerNadrieril2019-03-06 21:32:20 +0100
commitf055754381d17d987664a5df3d3507c610d0f7cd (patch)
tree3315344ea9ab19a951846a406df6f9e57ed5edb9 /dhall/src/typecheck.rs
parent19898d575f0fded463356aab952800e35cb9ff46 (diff)
Merge dhall_normalize back into dhall; that was unnecessary
Diffstat (limited to 'dhall/src/typecheck.rs')
-rw-r--r--dhall/src/typecheck.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 8cab0ac..befd8c4 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -3,6 +3,7 @@ use std::collections::BTreeMap;
use std::collections::HashSet;
use std::fmt;
+use crate::normalize;
use dhall_core::context::Context;
use dhall_core::core;
use dhall_core::core::Builtin::*;
@@ -10,7 +11,6 @@ use dhall_core::core::Const::*;
use dhall_core::core::Expr::*;
use dhall_core::core::{app, pi};
use dhall_core::core::{bx, shift, subst, Expr, V, X};
-use dhall_normalize::normalize;
use self::TypeMessage::*;