Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Skolemize arguments to dependent methods as necessary. | Martin Odersky | 2017-04-10 | 1 | -0/+28 |
This was missing before, led to errors not being detected. |
index : dotty | ||
Research platform for new language concepts and compiler technologies for Scala. |
aboutsummaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Skolemize arguments to dependent methods as necessary. | Martin Odersky | 2017-04-10 | 1 | -0/+28 |
This was missing before, led to errors not being detected. |