From ef8aa763faa59fd62c90c6d6245e8d2c5eece35e Mon Sep 17 00:00:00 2001 From: Laurenz Date: Sun, 4 Oct 2020 20:22:11 +0200 Subject: =?UTF-8?q?Shorten=20some=20names=20=E2=86=94?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- main/src/main.rs | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) (limited to 'main/src') diff --git a/main/src/main.rs b/main/src/main.rs index 21b96a25..126dbf8b 100644 --- a/main/src/main.rs +++ b/main/src/main.rs @@ -45,25 +45,24 @@ fn main() { let state = State::default(); let Pass { output: layouts, - feedback: Feedback { mut diagnostics, .. }, + feedback: Feedback { mut diags, .. }, } = block_on(typeset(&src, state, Rc::clone(&loader))); - if !diagnostics.is_empty() { - diagnostics.sort(); + if !diags.is_empty() { + diags.sort(); let map = LineMap::new(&src); - for diagnostic in diagnostics { - let span = diagnostic.span; + for diag in diags { + let span = diag.span; let start = map.location(span.start); let end = map.location(span.end); - println!( " {}: {}:{}-{}: {}", - diagnostic.v.level, + diag.v.level, src_path.display(), start, end, - diagnostic.v.message, + diag.v.message, ); } } -- cgit v1.2.3