summaryrefslogtreecommitdiff
path: root/dhall/src/traits
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/src/traits')
-rw-r--r--dhall/src/traits/dynamic_type.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall/src/traits/dynamic_type.rs b/dhall/src/traits/dynamic_type.rs
index 3b34363..f783950 100644
--- a/dhall/src/traits/dynamic_type.rs
+++ b/dhall/src/traits/dynamic_type.rs
@@ -1,8 +1,10 @@
use crate::expr::*;
use crate::traits::StaticType;
+#[allow(unused_imports)]
use crate::typecheck::{
type_of_const, TypeError, TypeMessage, TypecheckContext,
};
+#[allow(unused_imports)]
use dhall_core::{Const, ExprF};
use std::borrow::Cow;