Skip to content

[Batch mode] <rdar://40167848> Merge pull request #16526 from davidungar/compilation-failed #16596

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

Conversation

davidungar
Copy link
Contributor

[Batch Mode] Emit a non-specific error for all primaries lacking specific errors when a batch has errors.

Explanation: In batch mode an error in any file stops compilation of all (primary) files. Issue a nonspecific error to any primary file that has no other error/
Scope of issue: User experience when using batch mode in, e.g. Xcode.
Origination: Batch mode/Xcode interaction.
Risk: May be confusing, but less confusing than no error.
Reviewed by: Jordan Rose
Testing: Normal regression tests.
Radar: rdar://40167848

Resolves SR-NNNN.

[Batch Mode] Emit a non-specific error for all primaries lacking specific errors when a batch has errors.
@davidungar
Copy link
Contributor Author

@swift-ci please test

@davidungar
Copy link
Contributor Author

@swift-ci please nominate

@davidungar davidungar changed the title Merge pull request #16526 from davidungar/compilation-failed [Batch mode] <rdar://40167848> Merge pull request #16526 from davidungar/compilation-failed May 14, 2018
@davidungar davidungar merged commit d23e583 into swiftlang:swift-4.2-branch-04-30-2018 May 14, 2018
@davidungar davidungar deleted the rdar-40167848-nonspecific-error-swift-4.2-4-30-2018-branch branch June 20, 2019 21: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.

1 participant