Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Test reorg | Martin Odersky | 2015-02-07 | 1 | -28/+1 |
| | |||||
* | Made constraint data structures pluggable. | Martin Odersky | 2015-01-12 | 1 | -0/+13 |
| | | | | | Factored out interface for constraints. Current implementation: NaiveConstraint. Preparing for a more efficient one. | ||||
* | Fixed typos | Martin Odersky | 2014-11-18 | 1 | -3/+0 |
| | |||||
* | Restored accidentally deleted test code. | Martin Odersky | 2014-11-18 | 1 | -0/+6 |
| | |||||
* | Try to avoid overconstraining when comparing and/or types | Martin Odersky | 2014-11-16 | 1 | -5/+15 |
| | | | | | See comments in eitherIsSubType for an explanation what the problem is. Some test cases are in subtyping.scala | ||||
* | Fix subtyping checks involving ThisType and PolyParam | Guillaume Martres | 2014-11-11 | 1 | -0/+6 |