Skip to content

Fix #8632: Reveal "not found" message more often #8638

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

Merged
merged 2 commits into from
Mar 31, 2020

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Mar 30, 2020

If a creator expression is tried, we want to make sure we see a "not found" message,
so that we fall back in this case to reporting the original select failure. To this
purpose

  • we check for stable path prefixes after doing the selection proper
  • we recognize leading not found messages also if they are following by other messages

@smarter
Copy link
Member

smarter commented Mar 30, 2020

Fix #8362

Typo: that should be #8632

@odersky odersky changed the title Fix #8362: Reveal "not found" message more often Fix #8632: Reveal "not found" message more often Mar 30, 2020
If a creator expression is tried, we want to make sure we see a "not found" message,
so that we fall back in this case to reporting the original select failure. To this
purpose

 - we check for stable path prefixes after doing the selection proper
 - we recognize leading not found messages also if they are following by other messages
@odersky
Copy link
Contributor Author

odersky commented Mar 30, 2020

I changed the commit message

@odersky odersky merged commit 9b640f6 into scala:master Mar 31, 2020
@odersky odersky deleted the fix-#8632 branch March 31, 2020 07:48
smarter added a commit to dotty-staging/dotty that referenced this pull request Apr 8, 2020
In particular, this contains scala#8638 which avoids getting some confusing
error messages.
smarter added a commit to dotty-staging/dotty that referenced this pull request Apr 8, 2020
In particular, this contains scala#8638 which avoids getting some confusing
error messages.
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.

2 participants