diff options
Diffstat (limited to 'dhall/src')
-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 |
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::*; |