Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix bounds checking of hk applied typed | Martin Odersky | 2016-07-14 | 1 | -1/+1 |
* | Disallow higher-kinded types that simulate general existential types | Martin Odersky | 2016-07-11 | 2 | -0/+265 |
* | Don't evaluate isInstanceOf for value classes, disable bugged tests | Felix Mulder | 2016-05-26 | 1 | -10/+0 |
* | Downwards comparisons for implicit search and overloading resolution | Martin Odersky | 2016-05-23 | 1 | -0/+8 |
* | support `xs @ _*` and `_*` in Scala2 mode | liu fengyun | 2016-03-18 | 1 | -0/+10 |
* | Fix two rewrite patches. | Martin Odersky | 2016-03-12 | 1 | -0/+1 |
* | Add patch for variance errors | Martin Odersky | 2016-03-12 | 1 | -0/+6 |
* | Rewrite test | Martin Odersky | 2016-03-12 | 1 | -0/+29 |
* | Enforce rule that laziness is preserved when overriding. | Martin Odersky | 2016-02-09 | 1 | -0/+4 |
* | Reorganize tests to account for new typing of projection | Martin Odersky | 2016-02-09 | 9 | -0/+262 |