Stream: ideas

Topic: combining warning messages

view this post on Zulip Richard Feldman (Dec 29 2022 at 07:30):

I wonder if it would be nice to combine certain warnings - e.g. group all the "unused" warnings for a given file into a single warning that just lists them all one after another

view this post on Zulip Brian Carroll (Dec 29 2022 at 11:24):

Yeah that's a good idea, they are very verbose.

Last updated: Jul 23 2026 at 13:15 UTC