| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
| |
The Ref copier copies Idents and Selects, changing the name
of either.
|
| |
|
|
|
| |
When the expected type is an implicit function, create an
implicit closure to match it.
|
| |
|
|
|
| |
Implicit modifiers were quite irregular compared
to the other ones. This commit does a cleanup.
|
| |
|
|
|
|
|
|
|
| |
Also: show implicit function types correctly.
Also: refine applications of implicit funcitons
- don't do it for closure trees
- don't do it after typer.
|
| | |
|
| |\
| |
| | |
Fix #1790: Change by-name pattern matching.
|
| | |
| |
| |
| | |
This implements the rules laid down in #1805.
|
| |/
|
|
|
| |
Drop explicit types for local implicit vals of type Context
and Position. Exercises the functionality and shortens the code.
|
| |\
| |
| | |
Fix #1765: Context bounds and denotation handling
|
| | |
| |
| |
| |
| |
| | |
With the change to the representation of higher-kinded type definitions,
context bounds could be hidden in the body of a type lambda. Need to
compensate for that.
|
| |/ |
|
| |
|
|
|
| |
Honor the new scheme where any explicit import of a
root import will disable the root import.
|
| | |
|
| |
|
|
|
|
|
|
|
| |
This manifested itself as a pickling difference in tasty_tools
Note that there are probably more issues in this method, in particular
the old type is reused when `qualifier.tpe eq tree.qualifier.tpe` even
if the `name` is different. But I'm only trying to get the tests to pass
for now.
|
| |
|
|
| |
This manifested itself as a pickling difference in tasty_tools
|
| |
|
