From a582338869195c83850ac0a9d9737ff1275e39e1 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 4 May 2019 13:13:55 +0200 Subject: rustfmt --- dhall/src/normalize.rs | 2 +- dhall/src/traits/static_type.rs | 2 +- dhall/src/typecheck.rs | 2 +- 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() { -- cgit v1.2.3