summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2019-05-04 13:13:55 +0200
committerNadrieril2019-05-04 13:13:55 +0200
commita582338869195c83850ac0a9d9737ff1275e39e1 (patch)
tree85391bcd57f2d99bf69d9a0ca0096813f206b13c
parent4f04d1e6f02113ad0f539b723333f8f1f5734f13 (diff)
rustfmt
-rw-r--r--dhall/src/normalize.rs2
-rw-r--r--dhall/src/traits/static_type.rs2
-rw-r--r--dhall/src/typecheck.rs2
-rw-r--r--dhall/tests/traits.rs2
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() {