Stream: t-compiler/wg-diagnostics

Topic: library for diagnostics


nikomatsakis (Aug 19 2019 at 17:29, on Zulip):

So did we ever start the effort to extract diagnostic handling into a library? (cc @Esteban Küber) If so, what is the library name?

simulacrum (Aug 19 2019 at 17:34, on Zulip):

https://github.com/rust-lang/annotate-snippets-rs maybe?

simulacrum (Aug 19 2019 at 17:35, on Zulip):

But there may be more than that, not sure. @nikomatsakis ^

nikomatsakis (Aug 19 2019 at 17:35, on Zulip):

thanks :)

Esteban Küber (Aug 19 2019 at 17:59, on Zulip):

That's it but work on it has been sparse, other than getting it into the repo

Philipp Hansch (Aug 20 2019 at 12:45, on Zulip):

the current integration of the library with rust is living here: https://github.com/rust-lang/rust/blob/master/src/librustc_errors/annotate_snippet_emitter_writer.rs
with some (but not all) remaining issues here: https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&q=is%3Aissue+is%3Aopen+sort%3Aupdated-desc+annotate-snippet+emitter

Philipp Hansch (Nov 29 2019 at 08:52, on Zulip):

hey @oli In https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/weekly.20meeting.202019-11-28.20.2354818/near/182118526 you mentioned that there's new work happening around annotate-snippet. Where is that happening? :thinking:

Philipp Hansch (Nov 29 2019 at 08:53, on Zulip):

I was hoping one of the two draft PRs would get merged at some point, because that would make integration with rustc diagnostics much easier

oli (Nov 29 2019 at 09:58, on Zulip):

Yea, I think I misread some notification dates in my emails. Last month was the last update. We should get these PRs merged, I'm not sure what work still.needs to be done

Philipp Hansch (Nov 29 2019 at 10:35, on Zulip):

I'll try and write up a status update later today in https://github.com/rust-lang/rust/issues/59346

Philipp Hansch (Nov 29 2019 at 19:45, on Zulip):

The status update can be found here: https://github.com/rust-lang/rust/issues/59346#issuecomment-559870887

Last update: Jan 24 2020 at 00:05UTC