Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Negtests with // error comments | vsalvis | 2016-02-18 | 1 | -4/+4 |
| | |||||
* | Fixed test | Martin Odersky | 2014-12-13 | 1 | -1/+1 |
| | |||||
* | One more test case, coming from #214. | Martin Odersky | 2014-12-13 | 1 | -0/+1 |
| | |||||
* | Fix #248: Class cannot inherit from refinement types | Martin Odersky | 2014-12-13 | 1 | -0/+9 |
We now check that classes do not inherit from refinement types (unless they are an encoding of parameterized types), nor from & or | types. |