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

ExistentialTypeTree.whereClauses are now MemberDefs #3332

Merged
merged 1 commit into from Jan 9, 2014

Conversation

xeno-by
Copy link
Member

@xeno-by xeno-by commented Jan 7, 2014

Today’s flight back to Lausanne wasn’t as productive as the recent flight
to Minsk (#3305), but I noticed
one minor thingie: ExistentialTypeTree had an imprecise type specified
for its whereClauses. This is now fixed.

I didn’t increment PickleFormat.*Version numbers, because this change
introduces only a miniscule incompatibility with what would have been
a meaningless and most likely crash-inducing pickle anyway.

@ghost ghost assigned retronym Jan 7, 2014
@xeno-by
Copy link
Member Author

xeno-by commented Jan 7, 2014

review @retronym

@retronym
Copy link
Member

retronym commented Jan 7, 2014

LGTM

@xeno-by
Copy link
Member Author

xeno-by commented Jan 7, 2014

@retronym I've just updated the changes to the parser. Could you take a look again?

@retronym
Copy link
Member

retronym commented Jan 7, 2014

What source code leads to refinement() yielding EmptyTree? Is it okay to filter that out by way of the flatMap?

Today’s flight back to Lausanne wasn’t as productive as the recent flight
to Minsk (scala#3305), but I noticed
one minor thingie: ExistentialTypeTree had an imprecise type specified
for its whereClauses. This is now fixed.

I didn’t increment PickleFormat.*Version numbers, because this change
introduces only a miniscule incompatibility with what would have been
a meaningless and most likely crash-inducing pickle anyway.
@xeno-by
Copy link
Member Author

xeno-by commented Jan 7, 2014

@retronym Only parse errors manifest themselves as empty trees, so it's okay to filter those out. Added a comment that explains that.

retronym added a commit that referenced this pull request Jan 9, 2014
ExistentialTypeTree.whereClauses are now MemberDefs
@retronym retronym merged commit 572b092 into scala:master Jan 9, 2014
@xeno-by xeno-by deleted the topic/existential-type-tree branch January 24, 2014 16:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants