summaryrefslogtreecommitdiff
path: root/dhall/src/main.rs
diff options
context:
space:
mode:
authorNadrieril2019-03-09 16:24:14 +0100
committerNadrieril2019-03-09 16:24:14 +0100
commitcb9dfc1b9421e9814dac3ba6c78bad0d271f9d67 (patch)
treefa1b6e14b16c7d63f6ad7df8ed583f24cbdad3c2 /dhall/src/main.rs
parent6037cb224c5e61828ba41cb3d34438ad03a71403 (diff)
Obey clippy lints
Closes #14
Diffstat (limited to 'dhall/src/main.rs')
-rw-r--r--dhall/src/main.rs4
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));
}