diff options
| author | Nadrieril | 2019-03-09 16:24:14 +0100 |
|---|---|---|
| committer | Nadrieril | 2019-03-09 16:24:14 +0100 |
| commit | cb9dfc1b9421e9814dac3ba6c78bad0d271f9d67 (patch) | |
| tree | fa1b6e14b16c7d63f6ad7df8ed583f24cbdad3c2 /dhall_core/src/lib.rs | |
| parent | 6037cb224c5e61828ba41cb3d34438ad03a71403 (diff) | |
Obey clippy lints
Closes #14
Diffstat (limited to 'dhall_core/src/lib.rs')
| -rw-r--r-- | dhall_core/src/lib.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dhall_core/src/lib.rs b/dhall_core/src/lib.rs index 386d6bc..86b0363 100644 --- a/dhall_core/src/lib.rs +++ b/dhall_core/src/lib.rs @@ -1,5 +1,10 @@ #![feature(box_patterns)] #![feature(trace_macros)] +#![allow( + clippy::many_single_char_names, + clippy::should_implement_trait, + clippy::new_without_default +)] pub mod core; pub use crate::core::*; |