Skip to content

Add the option to log "debug" messages alongside warnings#207

Closed
miniBill wants to merge 1 commit intomainfrom
debug-log
Closed

Add the option to log "debug" messages alongside warnings#207
miniBill wants to merge 1 commit intomainfrom
debug-log

Conversation

@miniBill
Copy link
Collaborator

No description provided.

@miniBill
Copy link
Collaborator Author

This is currently unused but I'm going to use it for the next PR

@github-actions
Copy link

@miniBill
Copy link
Collaborator Author

Hm. Maybe we can just Debug.log I guess 🤔

@adamdicarlo0
Copy link
Contributor

Hm. Maybe we can just Debug.log I guess 🤔

Two thoughts:

  1. I think Debug.log outputs will not always be properly ordered with respect to CliMonad warnings, because Debug.log instantly outputs the message, and CliMonad as I understand, sort of "accumulates" them, since it's delayed computation. So it would depend where you call Debug.log.
  2. Is it a goal ever to be able to remove Debug calls and compile with optimizations? I'm a bit curious how much faster it would be. (Though I'll admit, it's plenty fast for my work project!)

@miniBill miniBill closed this Feb 9, 2026
@miniBill miniBill deleted the debug-log branch February 9, 2026 10:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants