diff options
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/src/normalize.rs | 1 | ||||
| -rw-r--r-- | dhall/src/typecheck.rs | 2 |
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!( |