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/src/typecheck.rs | |
| parent | c7eff8296b7e84b69184ba98deb81a7f9462e450 (diff) | |
Correctly namespace interpolations in dhall_expr!()
Diffstat (limited to '')
| -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!( |