Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Allow definition of new types in refinements | Martin Odersky | 2016-07-12 | 1 | -2/+2 |
| | | | | | Allow definition of types in refinements that do not appear in parent type. | ||||
* | Adapt neg tests to new neg tests checks | VladimirNik | 2016-02-18 | 1 | -2/+2 |
| | |||||
* | Negtests with // error comments | vsalvis | 2016-02-18 | 1 | -5/+5 |
| | |||||
* | Fix tests to survive wellformedness checks | Martin Odersky | 2015-10-22 | 1 | -1/+1 |
| | |||||
* | Fix of #50 - volatile | Martin Odersky | 2014-03-09 | 1 | -0/+25 |
Volatile checking needs to take all intersections into account; previously these could be discarded through needsChecking. Plus several refactorings and additions. 1) Module vals now have Final and Stable flags set 2) All logic around isVolatile is now in TypeOps; some of it was moved from Types. 3) Added stability checking to Select and SelectFromType typings. Todo: We should find a better name for isVolatile. Maybe define the negation instead under the name "isRealizable"?. |