Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Drop out of date comment | Martin Odersky | 2016-08-26 | 1 | -1/+1 |
| | |||||
* | GADT test | Martin Odersky | 2016-08-26 | 1 | -0/+25 |
This one failed in getters before because a (previously unchecked) assignment was turned into a checked application. Now it passes. |