summaryrefslogtreecommitdiff
path: root/dhall/src
diff options
context:
space:
mode:
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!(