Stream: t-compiler/wg-meta

Topic: Diagnostics WG


nikomatsakis (Feb 27 2019 at 20:16, on Zulip):

Hey @Esteban Küber, @oli -- I have down the idea of making a working group around this diagnostics effort that was discussed at the All Hands. You all still interested in doing that work (if so, I think we might as well have a working group)?

There are instructions in the compiler-team repository, and I can create the Zulip stuff.

oli (Feb 28 2019 at 07:58, on Zulip):

I think we already have a zulip stream. I'll try setting up the working group asap

davidtwco (Feb 28 2019 at 09:44, on Zulip):

I think we already have a zulip stream. I'll try setting up the working group asap

Maybe we should rename #t-compiler/diagnostics to #t-compiler/wg-diagnostics so it is consistent with other working groups?

nikomatsakis (Feb 28 2019 at 16:49, on Zulip):

Yeah, I'd say let's rename it

nikomatsakis (Feb 28 2019 at 16:49, on Zulip):

That said, do we want to call this WG "Diagnostics"

nikomatsakis (Feb 28 2019 at 16:50, on Zulip):

If it's specifically targeted at the factoring out of a diagnostics library, maybe we can give a name to that effort specifically?

nikomatsakis (Feb 28 2019 at 16:50, on Zulip):

Even just "diagnostics library"

davidtwco (Feb 28 2019 at 16:51, on Zulip):

I think there were other improvements desired as part of this effort too but I'm not too sure.

nikomatsakis (Feb 28 2019 at 16:51, on Zulip):

I think that's true, my point is just that maybe we should be pushing for more 'snazzy' WG names where possible

nikomatsakis (Feb 28 2019 at 16:52, on Zulip):

admittedly things like "Traits WG" don't help here :)

nikomatsakis (Feb 28 2019 at 16:52, on Zulip):

but I basically think that's an ungreat name

nikomatsakis (Feb 28 2019 at 16:52, on Zulip):

it's a minor thing, obviously. Diagnostics just feels like an open-ended task

davidtwco (Feb 28 2019 at 16:53, on Zulip):

I see where you're coming from, I'm not too sure.

nikomatsakis (Feb 28 2019 at 16:53, on Zulip):

Also, I think we should come up with a funner name for this library than "libdiagnostics"

nikomatsakis (Feb 28 2019 at 16:53, on Zulip):

Just because I like fun names L:P

oli (Feb 28 2019 at 18:22, on Zulip):

I have a crate called nag that I have a repo but no real code pushed yet

oli (Feb 28 2019 at 18:23, on Zulip):

https://github.com/oli-obk/nag

davidtwco (Feb 28 2019 at 18:27, on Zulip):

nag is a good name.

nikomatsakis (Feb 28 2019 at 19:26, on Zulip):

@oli I was thinking of silly names like diagnosticator but they seemed insufficiently creative :)

nikomatsakis (Feb 28 2019 at 19:26, on Zulip):

I approve...

oli (Mar 01 2019 at 18:03, on Zulip):

I did not know about the way nag has been misused in english. Discussion about this topic can be found here. TLDR: we're choosing a different name, but also creating a process for naming things.

nikomatsakis (Mar 01 2019 at 18:56, on Zulip):

@oli I thought of it right away but didn't mention it. my bad. I wasn't sure if I was being silly. But when @pnkfelix had same thought I knew I wasn't

nikomatsakis (Mar 01 2019 at 18:56, on Zulip):

I should learn by now to trust my instincts

nikomatsakis (Mar 01 2019 at 18:57, on Zulip):

libirk? ;)

nikomatsakis (Mar 01 2019 at 18:57, on Zulip):

or maybe "nitpick"?

varkor (Mar 02 2019 at 01:32, on Zulip):

I think we should try to find a positive name, e.g. "assist", "aid", "suggest" — it's much more optimistic

varkor (Mar 02 2019 at 01:33, on Zulip):

it might be a small thing, but I think avoiding unnecessary negativity is valuable :)

oli (Mar 02 2019 at 16:35, on Zulip):

elaboraid?

oli (Mar 03 2019 at 19:51, on Zulip):

schreiberling/scribe

oli (Mar 03 2019 at 20:30, on Zulip):

spruiker

davidtwco (Mar 03 2019 at 20:54, on Zulip):

abet (or libabet)

abet[uh-bet]
verb (used with object), a·bet·ted, a·bet·ting.
to encourage, support, or countenance by aid or approval, usually in wrongdoing:

davidtwco (Mar 03 2019 at 21:04, on Zulip):

I think it may be worth deciding how the name should be chosen and when that decision will be made, or, push that off to some future point so it doesn’t block work getting started and the working group being properly established.

Manish Goregaokar (Mar 04 2019 at 13:45, on Zulip):

BTW the tools team is getting a rustfix WG , maybe, which y'all prob should coordinate with

Manish Goregaokar (Mar 04 2019 at 13:46, on Zulip):

glad to see diagnostics become a priority though, it's something i used to care about a lot (still do, don't have time anymore)

oli (Mar 08 2019 at 15:57, on Zulip):

So... Even without the crate bikeshed, I think we could start with just creating a wg-diagnostics. We already have the diagnostics substream. Maybe we could just rename it? Not sure how good zulip is with renaming

oli (Mar 08 2019 at 15:57, on Zulip):

@nikomatsakis can we either rename the diagnostics channel or create a new one calls wg-diagnostics and archive the old diagnostics channel?

davidtwco (Mar 08 2019 at 15:58, on Zulip):

#t-compiler/wg-diagnostics

oli (Mar 08 2019 at 15:58, on Zulip):

I'll start creating the working group on github and create the PR to the meta repo

davidtwco (Mar 08 2019 at 15:59, on Zulip):

I've made a user group too.

nikomatsakis (Mar 08 2019 at 16:35, on Zulip):

Awesome!

nikomatsakis (Mar 08 2019 at 16:35, on Zulip):

I agree that there is no reason to block on a bikeshed, particularly since there is no reason for crate name to be equal to the WG name

Esteban Küber (Mar 14 2019 at 17:53, on Zulip):

Just catching up with zulip notifications after a while. Just wanted to :+1:

Last update: Nov 18 2019 at 00:40UTC