diff options
| author | Laurenz <laurmaedje@gmail.com> | 2021-02-11 19:26:47 +0100 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2021-02-11 19:26:47 +0100 |
| commit | 146eda102a5d0241c96a808a847f3b855340765e (patch) | |
| tree | 9fedbd9807d7db81d6da79738c5d41b910075251 /src/lib.rs | |
| parent | 1711b67877ce5c290e049775c340c9324f15341e (diff) | |
Move span directly into diagnostics 🚚
Diffstat (limited to 'src/lib.rs')
| -rw-r--r-- | src/lib.rs | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -65,9 +65,9 @@ pub fn typeset( let executed = exec::exec(env, &parsed.output, &evaluated.output, state); let frames = layout::layout(env, &executed.output); - let mut feedback = parsed.feedback; - feedback.extend(evaluated.feedback); - feedback.extend(executed.feedback); + let mut diags = parsed.diags; + diags.extend(evaluated.diags); + diags.extend(executed.diags); - Pass::new(frames, feedback) + Pass::new(frames, diags) } |
