Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Recategorize tests | Martin Odersky | 2016-08-26 | 1 | -0/+14 |
| | | | | | | | | | Passing tests from pending/pos go in pos. Some others go in diabled/not-testable. These are tests that require a compilation order which we cannot yet do with our unit testing framework. Compiling them alltogether (as is now doen in junit) does not work either for them because they contain a duplicate class. | ||||
* | Introduce recursive types | Martin Odersky | 2016-07-11 | 1 | -14/+0 |
| | | | | | | | | | | | | | | | | | Map self-references in refinements to recursive types. This commit does this for refinement types appearing in source. We still have to do it for unpickled refinements. Test apply-equiv got moved to pending because it simulates the old higher-kinded type encoding in source, which relies on the old representation in terms of self-referential refinement types. The plan is not to adapt this encoding to the new representation, but to replace it with a different encoding that makes critical use of the added power of recursive types. Use recursive types also when unpickling from Scala 2.x. Add mapInfo method to Denotations. | ||||
* | Handling higher-kinded types with lambdas | Martin Odersky | 2014-06-18 | 1 | -0/+14 |
Switch to the new scheme where higher-kinded types (and also some polymorphic type aliases) are represented as instances of Lambda traits. |