Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add original test case of #360 | Martin Odersky | 2017-03-12 | 1 | -0/+6 |
| | |||||
* | Fix #1569: Improve avoidance algorithm | Martin Odersky | 2017-03-12 | 1 | -0/+6 |
| | | | | | | The essential change is that we do not throw away more precise info of the avoided type if the expected type is fully defined. | ||||
* | Avoid hoisting local classes | Martin Odersky | 2014-10-26 | 1 | -5/+0 |
| | | | | | | | | | | | | The patch disables hoisting of classes local to a block into the result type of the block. Instead, we widen the result type of the block to one which reflects all refinements made to the parents type of the local class. Test cases in avoid.scala, t1569.scala. The original t1569.scala no longer works. Why is explained in neg/t1569-failedAvoid.scala | ||||
* | More tests | Martin Odersky | 2014-05-12 | 1 | -0/+5 |