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: Oct 15 2026 at 17:56 UTC