diff options
| author | Nadrieril | 2019-03-24 23:35:02 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-24 23:35:02 +0100 |
| commit | 5663b4499b46a914ad59792220b0a6cfc24b608c (patch) | |
| tree | c863a8a43b748f8fc90c03e51aa4991b401ad60e /dhall | |
| parent | c7eff8296b7e84b69184ba98deb81a7f9462e450 (diff) | |
Correctly namespace interpolations in dhall_expr!()
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!( |