diff options
author | Nadrieril | 2019-05-04 13:13:55 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-04 13:13:55 +0200 |
commit | a582338869195c83850ac0a9d9737ff1275e39e1 (patch) | |
tree | 85391bcd57f2d99bf69d9a0ca0096813f206b13c /dhall/src/typecheck.rs | |
parent | 4f04d1e6f02113ad0f539b723333f8f1f5734f13 (diff) |
rustfmt
Diffstat (limited to 'dhall/src/typecheck.rs')
-rw-r--r-- | dhall/src/typecheck.rs | 2 |
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::*; |