diff options
| author | Laurenz <laurmaedje@gmail.com> | 2020-10-04 20:22:11 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2020-10-04 20:22:11 +0200 |
| commit | ef8aa763faa59fd62c90c6d6245e8d2c5eece35e (patch) | |
| tree | d36192af0c770b076a5004ba8bcae3c2df728c75 /main/src/main.rs | |
| parent | a41d7ab47dda1e30465bdf91fd02bca0e634a38d (diff) | |
Shorten some names ↔
Diffstat (limited to 'main/src/main.rs')
| -rw-r--r-- | main/src/main.rs | 15 |
1 files changed, 7 insertions, 8 deletions
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, ); } } |
