diff options
Diffstat (limited to 'dhall/src/typecheck.rs')
-rw-r--r-- | dhall/src/typecheck.rs | 2 |
1 files changed, 0 insertions, 2 deletions
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!( |