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.

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

consistently check outer pointer in pattern matcher or change spec #6586

Closed
scabug opened this issue Oct 30, 2012 · 3 comments
Closed

consistently check outer pointer in pattern matcher or change spec #6586

scabug opened this issue Oct 30, 2012 · 3 comments
Assignees
@adriaanm
Labels
language spec patmat won't fix
Milestone
2.11.0-RC3

Comments

@scabug
Copy link

scabug commented Oct 30, 2012

we don't always check outer pointers (because we can't, or due to bugs)
should we rethink this part of the spec?
note that we'd have to widen prefixes to reflect the outer pointer has not been checked, so some programs won't type check anymore
@scabug
Copy link
Author

scabug commented Oct 30, 2012

Imported From: https://issues.scala-lang.org/browse/SI-6586?orig=1
Reporter: @adriaanm
See #6583

@scabug
Copy link
Author

scabug commented Jul 10, 2013

@adriaanm said:
Unassigning and rescheduling to M6 as previous deadline was missed.

@scabug scabug closed this as completed Jan 28, 2014
@scabug
Copy link
Author

scabug commented Jan 28, 2014

@adriaanm said:
omitting outer pointers could be an optimization at some point, but not touching this for patmat for now

@scabug scabug added this to the 2.11.0-RC3 milestone Apr 7, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@adriaanm adriaanm

Labels
language spec patmat won't fix
Projects
None yet
Milestone
2.11.0-RC3
Development

No branches or pull requests
2 participants
@adriaanm @scabug