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 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'dhall/src')

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::*;
 
-- 
cgit v1.2.3