Skip to content

end not working with extensions #8241

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.

Sign up for GitHub

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

Jump to bottom
Closed
nicolasstucki opened this issue Feb 7, 2020 · 1 comment · Fixed by #8252
Closed

end not working with extensions #8241

nicolasstucki opened this issue Feb 7, 2020 · 1 comment · Fixed by #8252
Labels
area:extension-methods itype:bug

Comments

@nicolasstucki
Copy link
Contributor

minimized code

extension NameOps on (name: String) with
  def isWildcard = ???
end NameOps

Compilation output

4 |end NameOps
  |^
  |misaligned end marker

expectation

Should compile
@nicolasstucki
Copy link
Contributor Author

Found in #8240

nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Feb 7, 2020
@nicolasstucki
Workaround scala#8241
bdc47ba
odersky added a commit to dotty-staging/dotty that referenced this issue Feb 8, 2020
@odersky
Fix scala#8241: Allow end markers for extensions
5168662
@nicolasstucki nicolasstucki linked a pull request Feb 8, 2020 that will close this issue
Fix #8241: Allow end markers for extensions #8252
Merged
nicolasstucki added a commit that referenced this issue Feb 8, 2020
@nicolasstucki
Merge pull request #8252 from dotty-staging/fix-#8241
ce39ddb 
Fix #8241: Allow end markers for extensions
gabro pushed a commit to gabro/dotty that referenced this issue Feb 11, 2020
@nicolasstucki @gabro
Workaround scala#8241
3f55b42
gabro pushed a commit to gabro/dotty that referenced this issue Feb 11, 2020
@odersky @gabro
Fix scala#8241: Allow end markers for extensions
5926d40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area:extension-methods itype:bug
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix #8241: Allow end markers for extensions dotty-staging/dotty
1 participant
@nicolasstucki