Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fleshed out TypeTreeGen. | Martin Odersky | 2013-02-18 | 1 | -0/+6 |
* | Added methods to convert between (virtual) type application and refinements. | Martin Odersky | 2013-02-08 | 1 | -1/+31 |
* | New Context architecture based on cloning | Martin Odersky | 2013-01-29 | 1 | -7/+6 |
* | Consolidation of Symbols | Martin Odersky | 2013-01-28 | 1 | -2/+2 |
* | Simplified RefinedTypes, keeping only the unary variant. | Martin Odersky | 2013-01-27 | 1 | -17/+5 |
* | More eliminations of AppliedType | Martin Odersky | 2013-01-27 | 1 | -49/+32 |
* | Optimized RefinedType | Martin Odersky | 2013-01-25 | 1 | -116/+121 |
* | Various additions to symbols, denotations, and elsewhere | Martin Odersky | 2013-01-24 | 1 | -1/+1 |
* | Allows for NoType in AplliedType argument lists, as well as argument lists th... | Martin Odersky | 2013-01-24 | 1 | -3/+5 |
* | Refactored Types to move auxiliary operations into Context. Moved per-run sta... | Martin Odersky | 2013-01-10 | 1 | -0/+210 |