coq-tools icon indicating copy to clipboard operation
coq-tools copied to clipboard

Better logging by kind

Open JasonGross opened this issue 4 months ago • 0 comments

After #375, following up on #374, we should:

  • move all logging over to being based on kind rather than verbosity level
  • instead of passing verbose_base, passing around a kind string suffix
  • have a dictionary of default verbosity levels for all the kinds, which is used to decide which kinds are logged by default when a given verbosity is set, so that current logging behavior remains unchanged
  • have a special dict of "does logging kind k1 include logging kind k2". "all" should be defaultdict(lambda: True), others should be defaultdict((lambda: None), ... stuff included). If a file is tagged with one of these kinds, any kind that is included in that kind should be logged to the file, unless explicitly disabled.

JasonGross avatar Oct 10 '25 20:10 JasonGross