diff options
author | Nadrieril | 2019-03-06 12:25:05 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-06 12:35:31 +0100 |
commit | 2e02360dc12b55f3811ba58bb17c21514990134c (patch) | |
tree | 2c9fc1bd0db2dd801842aa72d7e1144bc631e53a /dhall/src/typecheck.rs | |
parent | 564a5f37b106c69d8ebe9aec2f665f5222b3dfda (diff) |
Split-off normalization into its own crate
Diffstat (limited to '')
-rw-r--r-- | dhall/src/typecheck.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs index 61a83e7..26192d2 100644 --- a/dhall/src/typecheck.rs +++ b/dhall/src/typecheck.rs @@ -9,7 +9,8 @@ use dhall_core::core::Builtin::*; use dhall_core::core::Const::*; use dhall_core::core::Expr::*; use dhall_core::core::{app, pi}; -use dhall_core::core::{bx, normalize, shift, subst, Expr, V, X}; +use dhall_core::core::{bx, shift, subst, Expr, V, X}; +use dhall_normalize::{normalize}; use self::TypeMessage::*; |