Skip to content

Frontend: Migrate several options to no longer be ignorable in swiftinterfaces #67980

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 3 commits into from
Aug 17, 2023

Conversation

tshortli
Copy link
Contributor

Frontend options should only be printed under swift-module-flags-ignored: temporarily to prevent condfails for older development compilers that are still in use (as a rule of thumb, swiftinterfaces should be compatible with compilers that are up to 6 months old). None of the frontend flags that are currently categorized as "ignorable" need to be ignorable anymore.

I've also added myself as a CODEOWNER to volunteer to review changes to Options.td that might affect swiftinterface compatibility.

…erfaces.

Frontend options should only be printed under `swift-module-flags-ignored:`
temporarily to prevent condfails for older development compilers that are still
in use (as a rule of thumb, swiftinterfaces should be compatible with compilers
that are up to 6 months old). None of the frontend flags that are currently
categorized as "ignorable" need to be ignorable anymore.
I'm volunteering to review PRs that update Options.td to ensure the right
ModuleInterface flags are specified for new options.
@tshortli
Copy link
Contributor Author

@swift-ci please test

@tshortli tshortli changed the title Frontend: Migrate several options to no longer be ignored in swiftinterfaces Frontend: Migrate several options to no longer be ignorable in swiftinterfaces Aug 17, 2023
@tshortli tshortli merged commit 9ecb6b4 into swiftlang:main Aug 17, 2023
@tshortli tshortli deleted the stop-ignoring-me branch August 17, 2023 16:51
@nkcsgexi
Copy link
Contributor

Thank you!

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