Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Allow definition of new types in refinements | Martin Odersky | 2016-07-12 | 1 | -1/+1 |
| | | | | | Allow definition of types in refinements that do not appear in parent type. | ||||
* | Avoid propagating unresolved implicits | Martin Odersky | 2016-04-21 | 1 | -1/+1 |
| | | | | | | | | | | When an implicit argument is not found, we should in any case assume the result type of the implicit method as the type of the tree (after reporting an error, of course). If we don't do that, we get implicit errors on weird positions when we try to find an implicit argument for the same tree again. This caused a spurious error in subtyping.scala, and also caused an additional error at the end of EqualityStrawman1.scala. | ||||
* | Adapt neg tests to new neg tests checks | VladimirNik | 2016-02-18 | 1 | -4/+4 |
| | |||||
* | Negtests with // error comments | vsalvis | 2016-02-18 | 1 | -3/+3 |
| | |||||
* | Fix subtyping of types without symbols | Guillaume Martres | 2014-10-09 | 1 | -1/+5 |
| | |||||
* | Simplify subtying test | Guillaume Martres | 2014-10-09 | 1 | -4/+1 |
| | |||||
* | Fix isSubType(A#X, B#X) not checking if A <: B | Guillaume Martres | 2014-10-05 | 1 | -0/+13 |