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

SepRegion: rename regions for case expressions #3132

Merged
merged 1 commit into from May 26, 2023

Conversation

kitbellew
Copy link
Contributor

Let's rename Region{Arrow,Case} for clarity

  • RegionArrow was inserted on case (before arrow), whereas
  • RegionCase was inserted on arrow, leading to a bit of confusion.

For #3045.

Let's rename Region{Arrow,Case} for clarity
  - RegionArrow was inserted on `case` (before arrow), whereas
  - RegionCase was inserted on arrow, leading to a bit of confusion.
@kitbellew kitbellew merged commit 734b15b into scalameta:main May 26, 2023
33 checks passed
@kitbellew kitbellew deleted the 3045_7 branch May 26, 2023 05:15
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.

None yet

1 participant