| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix tests to survive wellformedness checks | Martin Odersky | 2015-10-22 | 1 | -1/+1 |
| | | |||||
| * | Fix and enable RefChecks | Martin Odersky | 2014-08-13 | 1 | -2/+2 |
| | | | | | RefChecks is now enabled. Some of the tests had to be fixed to be refchecks-correct. | ||||
| * | Avoid classtype checking for refinements. | Martin Odersky | 2014-05-30 | 1 | -0/+22 |
| In a refinement type T { R } we do not need T to be a class. But analyzing the refeinement type will create a temporary class type. This refinement class has to be treated specially in what concerns parent types. | |||||
 |
index : dotty | |
| Research platform for new language concepts and compiler technologies for Scala. |
| aboutsummaryrefslogtreecommitdiff |