diff options
Diffstat (limited to 'src/typecheck.rs')
-rw-r--r-- | src/typecheck.rs | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/typecheck.rs b/src/typecheck.rs index 576b059..62ff7d2 100644 --- a/src/typecheck.rs +++ b/src/typecheck.rs @@ -3,14 +3,14 @@ use std::collections::BTreeMap; use std::collections::HashSet; use std::fmt; -use context::Context; -use core; -use core::{Expr, V, X, bx, normalize, shift, subst}; -use core::{pi, app}; -use core::BuiltinType::*; -use core::BuiltinValue::*; -use core::Const::*; -use core::Expr::*; +use crate::context::Context; +use crate::core; +use crate::core::{Expr, V, X, bx, normalize, shift, subst}; +use crate::core::{pi, app}; +use crate::core::BuiltinType::*; +use crate::core::BuiltinValue::*; +use crate::core::Const::*; +use crate::core::Expr::*; use self::TypeMessage::*; |