Skip to content
Snippets Groups Projects
Select Git revision
  • dev default protected
  • release/1.10.0
  • emacs-version
  • alan@lltz_codegen/stability_and_optimizations
  • tpm/testing-views
  • tpm/functions
  • tpm/make-public-public
  • tpm/one-or-two-entrypoints
  • release/1.8.1
  • rinderknecht@ts_decoder
  • krendelhoff/#1997-build-system-driver
  • heitor.toledo/#1999-#import-migration-tool
  • heitor.toledo/#1999-#import-migration-tool-backup
  • tpm/decorators
  • heitor.toledo/#1998-deprecate-#import
  • cameligo2
  • krendlhoff/#1997-build-system-driver
  • rinderknecht@ctypes_foreign
  • rinderknecht@ts_ast
  • tpm/branching
  • 1.10.0
  • 1.9.2
  • 1.9.1
  • 1.9.0
  • 1.8.2
  • 1.8.1
  • 1.6.0
  • 1.5.0
  • 1.4.0
  • 1.3.0
  • 1.2.0
  • 1.1.0
  • 1.0.0
  • 0.73.0
  • 0.72.0
  • 0.71.1
  • 0.1.2023080401
  • 0.1.20230804
  • 0.0.20230804
  • 0.71.0
40 results

dune

Blame Permalink
  • Heitor Toledo Lassarote de Paula's avatar
    b2f7f58d
    [#1658] Respect logging verbosity · b2f7f58d
    Heitor Toledo Lassarote de Paula authored 
    Problem: We have `debug` which controls whether to send debug messages
or not. Let's generalize it and have `logging_verbosity` to control
which messages to filter.

Solution: Replace `debug : bool` with `logging_verbosity :
MessageType.t` and use it to control when to send logging messages to
the user. Also update the VSCode config to support this.
    Verified
    b2f7f58d
    History
    [#1658] Respect logging verbosity
    Heitor Toledo Lassarote de Paula authored 
    Problem: We have `debug` which controls whether to send debug messages
or not. Let's generalize it and have `logging_verbosity` to control
which messages to filter.

Solution: Replace `debug : bool` with `logging_verbosity :
MessageType.t` and use it to control when to send logging messages to
the user. Also update the VSCode config to support this.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
dune 212 B