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/src/main.rs | |
parent | 6037cb224c5e61828ba41cb3d34438ad03a71403 (diff) |
Obey clippy lints
Closes #14
Diffstat (limited to '')
-rw-r--r-- | dhall/src/main.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/main.rs b/dhall/src/main.rs index edc6baf..3328d99 100644 --- a/dhall/src/main.rs +++ b/dhall/src/main.rs @@ -28,7 +28,7 @@ fn print_error(message: &str, source: &str, start: usize, end: usize) { BOLD.with(|| { print!(" -->"); }); - println!(" {}:{}:0", "(stdin)", line_number); + println!(" (stdin):{}:0", line_number); BOLD.with(|| { println!("{:w$} |", "", w = line_number_width); print!("{} |", line_number_str); @@ -88,6 +88,6 @@ fn main() { }; println!("{}", type_expr); - println!(""); + println!(); println!("{}", normalize::<_, X, _>(&expr)); } |