diff options
author | Nadrieril | 2019-05-04 13:13:55 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-04 13:13:55 +0200 |
commit | a582338869195c83850ac0a9d9737ff1275e39e1 (patch) | |
tree | 85391bcd57f2d99bf69d9a0ca0096813f206b13c | |
parent | 4f04d1e6f02113ad0f539b723333f8f1f5734f13 (diff) |
rustfmt
-rw-r--r-- | dhall/src/normalize.rs | 2 | ||||
-rw-r--r-- | dhall/src/traits/static_type.rs | 2 | ||||
-rw-r--r-- | dhall/src/typecheck.rs | 2 | ||||
-rw-r--r-- | dhall/tests/traits.rs | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs index c035d93..ab9812d 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -2,12 +2,12 @@ use std::collections::BTreeMap; use std::rc::Rc; +use dhall_proc_macros as dhall; use dhall_syntax::context::Context; use dhall_syntax::{ rc, BinOp, Builtin, Const, ExprF, Integer, InterpolatedText, InterpolatedTextContents, Label, Natural, SubExpr, V, X, }; -use dhall_proc_macros as dhall; use crate::expr::{Normalized, Type, Typed, TypedInternal}; diff --git a/dhall/src/traits/static_type.rs b/dhall/src/traits/static_type.rs index 60b894c..1255d1c 100644 --- a/dhall/src/traits/static_type.rs +++ b/dhall/src/traits/static_type.rs @@ -1,6 +1,6 @@ use crate::expr::*; -use dhall_syntax::*; use dhall_proc_macros as dhall; +use dhall_syntax::*; /// A value that has a statically-known Dhall type. /// diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs index 0b8ea53..69491c8 100644 --- a/dhall/src/typecheck.rs +++ b/dhall/src/typecheck.rs @@ -7,10 +7,10 @@ use std::fmt; use crate::expr::*; use crate::normalize::{NormalizationContext, Thunk, TypeThunk, Value}; use crate::traits::DynamicType; +use dhall_proc_macros as dhall; use dhall_syntax; use dhall_syntax::context::Context; use dhall_syntax::*; -use dhall_proc_macros as dhall; use self::TypeMessage::*; diff --git a/dhall/tests/traits.rs b/dhall/tests/traits.rs index 4b21d42..15db2a5 100644 --- a/dhall/tests/traits.rs +++ b/dhall/tests/traits.rs @@ -1,7 +1,7 @@ #![feature(proc_macro_hygiene)] use dhall::de::SimpleStaticType; -use dhall_syntax::{SubExpr, X}; use dhall_proc_macros; +use dhall_syntax::{SubExpr, X}; #[test] fn test_static_type() { |