The current log system is alright, but doesn't allow the user to log anything. I'm also kind of unhappy that we always have a TimeFastLogger although it may not be used (glcTimed = False).
I think a good way forward is to rework logging again completely and let the user set an IO action for logging. Additionally I think the LogMessage sum type needs to be simplified somehow, without sacrificing the ability to hide private data.
This should be done before 0.3.0.0 since I don't want to break the API twice in a row.
The current log system is alright, but doesn't allow the user to log anything. I'm also kind of unhappy that we always have a
TimeFastLogger
although it may not be used (glcTimed = False
).I think a good way forward is to rework logging again completely and let the user set an
IO
action for logging. Additionally I think theLogMessage
sum type needs to be simplified somehow, without sacrificing the ability to hide private data.This should be done before
0.3.0.0
since I don't want to break the API twice in a row.