summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
authorNadrieril2019-03-24 23:35:02 +0100
committerNadrieril2019-03-24 23:35:02 +0100
commit5663b4499b46a914ad59792220b0a6cfc24b608c (patch)
treec863a8a43b748f8fc90c03e51aa4991b401ad60e /dhall/src
parentc7eff8296b7e84b69184ba98deb81a7f9462e450 (diff)
Correctly namespace interpolations in dhall_expr!()
Diffstat (limited to 'dhall/src')
-rw-r--r--dhall/src/normalize.rs1
-rw-r--r--dhall/src/typecheck.rs2
2 files changed, 0 insertions, 3 deletions
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!(