Skip to content

Conversation

@odersky
Copy link
Contributor

@odersky odersky commented May 10, 2019

Based on #6488.

@odersky odersky requested a review from biboudis May 10, 2019 16:15
odersky added 12 commits May 12, 2019 12:52
So far pathTo(span) would only guarantee to return the path
to the closest tree enclosing `span` if trees were non-overlapping.
This is property does not hold for typed trees, yet `pathTo` is called
from `Interactive` on such typed trees.

This commit makes `pathTo` work correctly also for overlapping trees.
With given coming last, some of the no-overlaps and in-order position
checks have to be weakened. But with the more generalized pathTo
implementation, non-overlapping and in-order is not really needed anymore.
They printed as normal arguments before.
The previous syntax was unparseable without major contortions in the Parser.
@odersky odersky force-pushed the implicit-alias-rhs branch from 899f780 to a0f3dc9 Compare May 14, 2019 08:00
Can do it now that we have a full bootstrap.
@odersky odersky force-pushed the implicit-alias-rhs branch from a0f3dc9 to 67fcf92 Compare May 14, 2019 08:08
odersky added 3 commits May 14, 2019 16:17
These were printed as old-style implicit parameters before.

This is in preparation for merging it with `Implied`. We already compensate for
it when printing modifiers by eliding it when it appear with `Param`.
Synthesized creator expressions for classes passed all parameters
as normal arguments. This works no longer with `given` clauses. We
have use `given` arguments for those.
@biboudis biboudis merged commit 21cb490 into scala:master May 16, 2019
@biboudis biboudis deleted the implicit-alias-rhs branch May 16, 2019 14:04
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