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

Support package interface gen and verification in driver #1487

Merged
merged 1 commit into from
Nov 29, 2023
Merged

Conversation

elsh
Copy link
Contributor

@elsh elsh commented Nov 15, 2023

Support package interface generation.
Generate .package.swiftinterface if -package-name is passed.
Add package interface to Module Verification step.
Support -experimental-package-interface-load for frontend.
Downgrade typecheck interface error for package.swiftinterface.

Resolves rdar://118469253

@elsh
Copy link
Contributor Author

elsh commented Nov 15, 2023

@swift-ci test

@elsh
Copy link
Contributor Author

elsh commented Nov 28, 2023

@swift-ci test

1 similar comment
@elsh
Copy link
Contributor Author

elsh commented Nov 28, 2023

@swift-ci test

@elsh
Copy link
Contributor Author

elsh commented Nov 28, 2023

@swift-ci test

@nkcsgexi
Copy link
Contributor

Thank you, Ellie! Can we pass down -downgrade-typecheck-interface-error to the jobs for verifying package interfaces for now? because failing package interface may fail the builds.

@elsh
Copy link
Contributor Author

elsh commented Nov 28, 2023

@swift-ci test

Generate .package.swiftinterface if -package-name is passed.
Add package interface to Module Verification step.
Support -experimental-package-interface-load for frontend.
Downgrade typecheck interface error for package.swiftinterface.

Resolves rdar://118469253
@elsh
Copy link
Contributor Author

elsh commented Nov 29, 2023

@swift-ci test

@elsh
Copy link
Contributor Author

elsh commented Nov 29, 2023

@swift-ci test windows

@elsh elsh merged commit 563d196 into main Nov 29, 2023
3 checks passed
@elsh elsh deleted the es-pkg-interface branch November 29, 2023 12:06
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