Stream: t-compiler/wg-diagnostics

Topic: "see issue"


Jake Goulding (Jul 24 2019 at 23:29, on Zulip):
 = note: for more information, see https://github.com/rust-lang/rust/issues/51999

 = note: for more information, see issue #36887 <https://github.com/rust-lang/rust/issues/36887>

It would be super if we standardized on a form to show this type of help; the playground uses regexes to try and link these

lqd (Jul 25 2019 at 03:11, on Zulip):

@Jake Goulding is the link to an issue always present in the message ?

lqd (Jul 25 2019 at 03:24, on Zulip):

that is, should we probably additionally look for /https://github.com/rust-lang/rust/issues/\d+/ in general ?

Jake Goulding (Jul 25 2019 at 13:26, on Zulip):

perhaps, or even just automatically linkify any http...

Jake Goulding (Jul 25 2019 at 13:28, on Zulip):

but even beyond the playground, a consistent format is nice for users

Jake Goulding (Jul 25 2019 at 13:28, on Zulip):

previously, the error text just said "see issue #DDDDD"

Jake Goulding (Jul 25 2019 at 13:28, on Zulip):

which is why the regex existed

varkor (Jul 25 2019 at 13:48, on Zulip):

it would be nice to make these consist

varkor (Jul 25 2019 at 13:48, on Zulip):

*consistent

varkor (Jul 25 2019 at 13:48, on Zulip):

it could be opened as an E-easy issue

Jake Goulding (Jul 25 2019 at 15:48, on Zulip):

Done! https://github.com/rust-lang/rust/issues/62976

Last update: Nov 15 2019 at 10:05UTC