summaryrefslogtreecommitdiff
path: root/dhall/src/typecheck.rs
diff options
context:
space:
mode:
authorNadrieril2019-05-04 13:13:55 +0200
committerNadrieril2019-05-04 13:13:55 +0200
commita582338869195c83850ac0a9d9737ff1275e39e1 (patch)
tree85391bcd57f2d99bf69d9a0ca0096813f206b13c /dhall/src/typecheck.rs
parent4f04d1e6f02113ad0f539b723333f8f1f5734f13 (diff)
rustfmt
Diffstat (limited to 'dhall/src/typecheck.rs')
-rw-r--r--dhall/src/typecheck.rs2
1 files changed, 1 insertions, 1 deletions
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::*;