Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Drop dotty.language from Definitions | Martin Odersky | 2016-10-11 | 1 | -1/+0 |
| | |||||
* | Push `|' into corresponding RefinedTypes in approximateUnion | Martin Odersky | 2016-02-04 | 1 | -3/+1 |
| | | | | | This gives in general a supertype, that's OK for approximation. See ee76fda for an explanation. | ||||
* | New pos tests | Martin Odersky | 2015-05-27 | 1 | -0/+19 |
Some of them were moved from disabled after verifiying that they compile now. |