Skip to content

Revert "Move attribute enforcement from v9 to preview"#17752

Closed
vzarytovskii wants to merge 5 commits into
mainfrom
revert-17739-T-Gro-Move-LangFeature-AttrEnforcement
Closed

Revert "Move attribute enforcement from v9 to preview"#17752
vzarytovskii wants to merge 5 commits into
mainfrom
revert-17739-T-Gro-Move-LangFeature-AttrEnforcement

Conversation

@vzarytovskii

Copy link
Copy Markdown
Member

Reverts #17739, since the fix is in.
@T-Gro @KevinRansom should this go to lang version 9.1, since 9 is frozen for release?

@vzarytovskii vzarytovskii requested a review from a team as a code owner September 16, 2024 18:02
@github-actions

github-actions Bot commented Sep 16, 2024

Copy link
Copy Markdown
Contributor

⚠️ Release notes required, but author opted out

Warning

Author opted out of release notes, check is disabled for this pull request.
cc @dotnet/fsharp-team-msft

Comment thread tests/fsharp/typecheck/sigs/neg110.bsl Outdated
Comment thread tests/fsharp/typecheck/sigs/neg110.bsl
@T-Gro

T-Gro commented Sep 17, 2024

Copy link
Copy Markdown
Member

The test regression should not be there, since Kevin's fixed address this.
Removed from the diff, now it should all pass with nothing but a langversion move.

@T-Gro T-Gro enabled auto-merge (squash) September 17, 2024 08:59
Comment thread src/Compiler/Facilities/LanguageFeatures.fs Outdated
@edgarfgp edgarfgp added the NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes label Sep 17, 2024
@edgarfgp

Copy link
Copy Markdown
Contributor

Just in case this PR gets merged instead of Kekin's . I think the tests should be using withLangVersion90 instead of withLangVersionPreview

auto-merge was automatically disabled September 18, 2024 10:53

Pull request was closed

@T-Gro T-Gro deleted the revert-17739-T-Gro-Move-LangFeature-AttrEnforcement branch November 11, 2024 10:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

NO_RELEASE_NOTES Label for pull requests which signals, that user opted-out of providing release notes

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants