Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename RefinedThis -> SkolemType | Martin Odersky | 2015-01-10 | 1 | -1/+1 |
* | Reverting the idea that RefinedThis types take levels. | Martin Odersky | 2015-01-10 | 1 | -1/+1 |
* | Reorg of subtyping. | Martin Odersky | 2015-01-01 | 1 | -1/+1 |
* | Test for patmat action on a @ Bind(_, Typed(_: Unapply, _) | Dmitry Petrashko | 2014-10-14 | 1 | -0/+3 |
* | Cleanup patmat based on feedback | Dmitry Petrashko | 2014-10-11 | 1 | -0/+1 |
* | Enable outer tests in pattern matcher. | Dmitry Petrashko | 2014-10-11 | 1 | -0/+12 |
* | More complicated tests for patmat | Dmitry Petrashko | 2014-09-17 | 1 | -12/+30 |
* | Several fixes to patmat. | Dmitry Petrashko | 2014-09-17 | 1 | -12/+12 |
* | More complicated patterns. | Dmitry Petrashko | 2014-09-17 | 1 | -0/+24 |
* | Split Nullarify functionality to ElimByName, Erasure | Martin Odersky | 2014-08-17 | 1 | -3/+3 |
* | Fixed two problems with annotated types in patterns | Martin Odersky | 2014-03-14 | 1 | -3/+9 |
* | Fixes for by-name arguments | Martin Odersky | 2013-12-17 | 1 | -1/+14 |
* | New tests. | Martin Odersky | 2013-11-09 | 1 | -0/+19 |