coq-tools
coq-tools copied to clipboard
Better logging by kind
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 bedefaultdict(lambda: True), others should bedefaultdict((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.