Skip to content

Leading keyword synbinding - #14056

Merged
0101 merged 18 commits into
dotnet:mainfrom
nojaf:leading-keyword-synbinding
Oct 13, 2022
Merged

Leading keyword synbinding#14056
0101 merged 18 commits into
dotnet:mainfrom
nojaf:leading-keyword-synbinding

Conversation

@nojaf

@nojafnojaf commented Oct 9, 2022

Copy link
Copy Markdown
Contributor

After #14030, I realized that there could be a better approach to all of this.

The nice thing here is that you can tell from an individual SynBinding what keywords it had. No need to rely on the parent context and no duplicate information.

@nojaf
nojafforce-pushed the leading-keyword-synbinding branch from 3d04933 to 06355a0CompareOctober 9, 2022 14:46
@nojaf
nojaf marked this pull request as ready for review October 9, 2022 16:35
@nojaf
nojafforce-pushed the leading-keyword-synbinding branch from 0d46542 to b431f2aCompareOctober 10, 2022 12:36
@nojafnojaf closed this Oct 10, 2022
@nojafnojaf reopened this Oct 10, 2022
@nojaf
nojafforce-pushed the leading-keyword-synbinding branch from 4d6dc12 to 43542a2CompareOctober 10, 2022 14:52
@nojafnojaf closed this Oct 11, 2022
@nojafnojaf reopened this Oct 11, 2022
@nojaf

Copy link
Copy Markdown
ContributorAuthor

@T-Gro can I get a review on this as well, please?

@T-Gro
T-Gro requested review from 0101 and T-GroOctober 12, 2022 13:02
T-Gro
T-Gro previously approved these changes Oct 12, 2022
T-Gro
T-Gro previously approved these changes Oct 12, 2022
0101
0101 previously approved these changes Oct 12, 2022
@nojaf
nojaf dismissed stale reviews from 0101 and T-Gro via f0709afOctober 12, 2022 13:23
0101
0101 previously approved these changes Oct 12, 2022
T-Gro
T-Gro previously approved these changes Oct 12, 2022
@T-Gro
T-Gro enabled auto-merge (squash) October 12, 2022 13:30
auto-merge was automatically disabled October 12, 2022 14:07

Head branch was pushed to by a user without write access

@nojaf
nojaf dismissed stale reviews from T-Gro and 0101 via 5e5803cOctober 12, 2022 14:07
@nojaf

Copy link
Copy Markdown
ContributorAuthor

@T-Gro good to go?

@nojaf

Copy link
Copy Markdown
ContributorAuthor

Thanks, can I get the auto-merge thing, please 😇?
It got disabled because I needed to clean up something after a merge.

@0101
0101 merged commit 0520199 into dotnet:mainOct 13, 2022
@nojaf
nojaf deleted the leading-keyword-synbinding branch October 13, 2022 13:48
@nojaf

Copy link
Copy Markdown
ContributorAuthor

Many thanks @0101 and @T-Gro!
This really is quite significant PR for Fantomas!
If we ever meet in real life, beer is on me!

Sign up for freeto 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

@nojaf@0101@T-Gro