| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Narrow matches from TypeLambda to HKTypeLambda where appropriate | Martin Odersky | 2017-04-06 | 1 | -3/+3 |
| | | |||||
| * | Split HKTypeLambda from PolyType | Martin Odersky | 2017-04-06 | 1 | -2/+2 |
| | | |||||
| * | Rename PolyParam --> TypeParamRef | Martin Odersky | 2017-04-06 | 1 | -1/+1 |
| | | |||||
| * | Harmonize paramTypes and paramBounds | Martin Odersky | 2017-04-06 | 1 | -2/+2 |
| | | | | | | | MethodTypes have paramTypes whereas PolyTypes have paramBounds. We now harmonize by alling both paramInfos, and parameterizing types that will become common to both. | ||||
| * | Infer type parameters of anonymous class parents from expected type | Martin Odersky | 2016-12-17 | 1 | -0/+12 |
| | | | | | | | | If a parent type of an anonymous class is an Ident or Select which refers to a parameterized type, use the expected type to infer its type parameters. Fixes #1803. | ||||
| * | Fix #1757: Be more careful about positions of type variable binders | Martin Odersky | 2016-12-01 | 1 | -2/+2 |
| | | | | | | | | | | | | | | | We interpolate a type variable if the current tree contains the type variables binding tree. Previously, this was the application owning the variable. However, sometimes this tree is transformed so that the containment test fails, and type variables are instantiated too late (in the case of #1757 this was never). We fix this by - setting the binding tree to the type tree that first contains the type variable - making sure that tree is never copied literally anywhere else. It's a tricky dance, but I believe we got it right now. | ||||
| * | Move compiler and compiler tests to compiler dir | Felix Mulder | 2016-11-22 | 1 | -0/+362 |
 |
index : dotty | |
| Research platform for new language concepts and compiler technologies for Scala. |
| aboutsummaryrefslogtreecommitdiff |