Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Redirect warnings to stderr #86

Closed
wants to merge 1 commit into from
Closed

Redirect warnings to stderr #86

wants to merge 1 commit into from

Conversation

dpwiz
Copy link
Contributor

@dpwiz dpwiz commented Oct 14, 2016

Since they aren't really show-stoppers it's better to have them in a separate stream. Currently they jump in the stdout where user code usually writes its useful output.

@leepike
Copy link
Contributor

leepike commented Oct 26, 2016

What about redirecting both warnings and errors to stderr? I believe that's the typical compiler convention.

@leepike
Copy link
Contributor

leepike commented Oct 26, 2016

I've made a fix sending everything to stderr in https://github.com/GaloisInc/ivory/tree/wip/stderr

@leepike
Copy link
Contributor

leepike commented Oct 27, 2016

Having gotten a literal thumbs up, I'm merging into master. :)

@leepike leepike closed this Oct 27, 2016
@dpwiz dpwiz deleted the warnings-stderr branch October 27, 2016 16:33
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