summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/src')
-rw-r--r--dhall/src/normalize.rs2
-rw-r--r--dhall/src/traits/static_type.rs2
-rw-r--r--dhall/src/typecheck.rs2
3 files changed, 3 insertions, 3 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::*;