Skip to content

[Docs] Edits for educational note on PATs #33736

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 4 commits into from
Mar 20, 2021
Merged

[Docs] Edits for educational note on PATs #33736

merged 4 commits into from
Mar 20, 2021

Conversation

xwu
Copy link
Collaborator

@xwu xwu commented Sep 1, 2020

Some edits for the educational note on PATs, to accompany the educational note on existential types.

Initial changes are just some grammatical changes and edits to try to improve the text's flow, but @theblixguy points out an interesting issue over at #33735 that we should incorporate here.

Additionally, the restriction on using PATs as existential types may be easily lifted, but we will need to do an even better job of explaining why some APIs are missing, so this text will need to be fleshed out.

@xwu xwu requested a review from owenv September 1, 2020 03:12
@xwu
Copy link
Collaborator Author

xwu commented Sep 1, 2020

cc @theblixguy

@xwu xwu changed the base branch from master to main September 24, 2020 03:01
@xwu xwu marked this pull request as ready for review March 20, 2021 00:30
@xwu xwu changed the title [WIP][Docs] Edits for educational note on PATs [Docs] Edits for educational note on PATs Mar 20, 2021
@xwu
Copy link
Collaborator Author

xwu commented Mar 20, 2021

@owenv I must have had higher ambitions initially for this revision when I left it as a draft, but as an incremental improvement, I think it's in a state that's worth landing; more can always be added later. WDYT?

@xwu
Copy link
Collaborator Author

xwu commented Mar 20, 2021

@swift-ci smoke test

Copy link
Contributor

@owenv owenv left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I agree, these changes look good to me. thanks!

@xwu xwu merged commit ae35835 into swiftlang:main Mar 20, 2021
@xwu xwu deleted the pat-edu branch March 20, 2021 03:46
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.

4 participants