| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Adapt neg tests to new neg tests checks | VladimirNik | 2016-02-18 | 1 | -6/+6 |
| | | |||||
| * | Check that a self type T is closed. | Martin Odersky | 2015-07-06 | 1 | -0/+4 |
| | | | | | | | | | What is checked: A self type T is a subtype of all selftypes of classes refernced by T. That is, a self type has to subsume all self types of its required type. Ot, otherwise said, requirements must be closed; you cannot discover new ones in following them. | ||||
| * | Self type inheritance check | Martin Odersky | 2015-04-13 | 1 | -0/+28 |
| Check that the self type of a class conforms to the self types of its parent classes. | |||||
 |
index : dotty | |
| Research platform for new language concepts and compiler technologies for Scala. |
| aboutsummaryrefslogtreecommitdiff |