| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update tests to use new PolyType syntax. | Martin Odersky | 2016-10-12 | 1 | -6/+6 |
| | | |||||
| * | Bounds of type lambdas compare contravariantly | Martin Odersky | 2016-07-15 | 1 | -0/+8 |
| | | | | | | | | Enable checking of bounds when comparing type lambdas. This invalidates a pattern used in t2994 and potentially other code, where a bound [X] -> Any is used as a template that is a legal supertype of all other bounds. The old behavior is still available under language:Scala2. | ||||
| * | Add test case for hk bounds checking | Martin Odersky | 2016-07-14 | 1 | -0/+23 |
 |
index : dotty | |
| Research platform for new language concepts and compiler technologies for Scala. |
| aboutsummaryrefslogtreecommitdiff |