Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Disallow refinements of types or methods that do not appear in parent. | Martin Odersky | 2015-03-18 | 1 | -7/+4 |
* | Fix subtyping of null and refined types. | Martin Odersky | 2014-12-13 | 1 | -0/+19 |
index : dotty | ||
Research platform for new language concepts and compiler technologies for Scala. |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Disallow refinements of types or methods that do not appear in parent. | Martin Odersky | 2015-03-18 | 1 | -7/+4 |
* | Fix subtyping of null and refined types. | Martin Odersky | 2014-12-13 | 1 | -0/+19 |