diff options
author | Nadrieril | 2019-02-27 15:45:09 +0100 |
---|---|---|
committer | Nadrieril | 2019-02-27 18:53:08 +0100 |
commit | d8b88c1a5da7218011fca2bccc525907aa439335 (patch) | |
tree | 7a93645a8209d640bb8dd32e36468d544f732f11 /src/typecheck.rs | |
parent | 8a1012be323459440032813c2b21b62174924c6c (diff) |
Switch to Rust 2018 edition
Diffstat (limited to '')
-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::*; |