| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
| |
MethodTypes have paramTypes whereas PolyTypes have paramBounds.
We now harmonize by alling both paramInfos, and parameterizing
types that will become common to both.
|
|
|
|
|
| |
To allow for dependencies between method type parameters, construct MethodTypes
from a closure that maps the currently constructed MethodType to its parameter types.
|
|\
| |
| | |
Fix #1639: Changes around implicits and apply methods
|
| |
| |
| |
| |
| |
| | |
This can lead to stackoverflow, as i1639.scala shows.
Fixes #1639.
|
|/
|
|
|
|
| |
If we want to do annotation macros right, we need to add
annotations before completing definitions. This commit achieves
that by adding a new "phase" between index and typecheck.
|
|
|