You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The library uses OpamConsole.warning and friends to print log messages. The problem with this is these functions print unconditionally; there is no way to set a log level and have, say, notes or warnings be suppressed. This makes it tricky to use this library in applications that want precise control over their output, like tui apps.
To fix this the library could use OpamConsole.log to print its logs as this function checks a configurable debug level before printing. Alternatively, the library could use the logs library which would give applications finer control over how and which log messages are displayed.
The text was updated successfully, but these errors were encountered:
The library uses
OpamConsole.warning
and friends to print log messages. The problem with this is these functions print unconditionally; there is no way to set a log level and have, say, notes or warnings be suppressed. This makes it tricky to use this library in applications that want precise control over their output, like tui apps.To fix this the library could use
OpamConsole.log
to print its logs as this function checks a configurable debug level before printing. Alternatively, the library could use thelogs
library which would give applications finer control over how and which log messages are displayed.The text was updated successfully, but these errors were encountered: