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
-- it uses unsafePerformIO to print messages to the log
-- it can take in some descriptor describing the logging call, and then the options file can allow you to specify such descriptors (so you have a "logging" option, which has a list of descriptors). So you can turn on and off logging quite selectively.
The text was updated successfully, but these errors were encountered:
Desirable features:
-- it uses unsafePerformIO to print messages to the log
-- it can take in some descriptor describing the logging call, and then the options file can allow you to specify such descriptors (so you have a "logging" option, which has a list of descriptors). So you can turn on and off logging quite selectively.
The text was updated successfully, but these errors were encountered: