From 5663b4499b46a914ad59792220b0a6cfc24b608c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 24 Mar 2019 23:35:02 +0100
Subject: Correctly namespace interpolations in dhall_expr!()

---
 dhall/src/normalize.rs | 1 -
 dhall/src/typecheck.rs | 2 --
 2 files changed, 3 deletions(-)

(limited to 'dhall')

diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index 2ffa5a5..1bf4b6a 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -12,7 +12,6 @@ where
     S: fmt::Debug,
     A: fmt::Debug,
 {
-    use dhall_core::BinOp::*;
     use dhall_core::Builtin::*;
     use dhall_core::Expr::*;
     let f = rc(Builtin(b));
diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs
index 32ffe0e..f21721d 100644
--- a/dhall/src/typecheck.rs
+++ b/dhall/src/typecheck.rs
@@ -115,8 +115,6 @@ where
 
 fn type_of_builtin<S>(b: Builtin) -> Rc<Expr<S, X>> {
     use dhall_core::Builtin::*;
-    use dhall_core::Const::*;
-    use dhall_core::Expr::*;
     match b {
         Bool | Natural | Integer | Double | Text => dhall_expr!(Type),
         List | Optional => dhall_expr!(
-- 
cgit v1.2.3