Skip to content

ConsoleReporter: handling of non-sensical messages is now reusable #1123

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

Merged
merged 2 commits into from
Feb 23, 2016

Conversation

smarter
Copy link
Member

@smarter smarter commented Feb 22, 2016

Review by @odersky , this PR is based on #1100 with the fix mentioned in #1100 (comment)


This is now handled by a separate trait HideNonSensicalMessages that can
be mixed in, similar to UniqueMessagePositions. This way we'll be able
to reuse this functionality for other kind of Reporters.

This also means that we don't need doReport to return a Boolean
anymore, so we change it to return a Unit as it did before
065a002

Break it out from Reporter and eliminate all dependencies
to Context. This is done so that Diagnostics can be part
of a public and minimal compiler API.
@smarter
Copy link
Member Author

smarter commented Feb 23, 2016

/rebuild

2 similar comments
@smarter
Copy link
Member Author

smarter commented Feb 23, 2016

/rebuild

@smarter
Copy link
Member Author

smarter commented Feb 23, 2016

/rebuild

This is now handled by a separate trait HideNonSensicalMessages that can
be mixed in, similar to UniqueMessagePositions. This way we'll be able
to reuse this functionality for other kind of Reporters.

This also means that we don't need `doReport` to return a Boolean
anymore, so we change it to return a Unit as it did before
065a002
@odersky
Copy link
Contributor

odersky commented Feb 23, 2016

LGTM

smarter added a commit that referenced this pull request Feb 23, 2016
ConsoleReporter: handling of non-sensical messages is now reusable
@smarter smarter merged commit 8ecca50 into scala:master Feb 23, 2016
OlivierBlanvillain pushed a commit to OlivierBlanvillain/dotty that referenced this pull request Dec 12, 2016
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.

3 participants