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/src') 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(b: Builtin) -> Rc> { 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