Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Further refactorings | Martin Odersky | 2017-04-06 | 1 | -3/+9 |
| | | | | | - Use TypeLambda instead of PolyType. - Further harmonize factory operations | ||||
* | Harmonize paramTypes and paramBounds | Martin Odersky | 2017-04-06 | 1 | -1/+1 |
| | | | | | | MethodTypes have paramTypes whereas PolyTypes have paramBounds. We now harmonize by alling both paramInfos, and parameterizing types that will become common to both. | ||||
* | Break out functionality from MethodType | Martin Odersky | 2017-04-06 | 1 | -0/+40 |
and generalize MethodParam to ParamRef, and TypeParamInfo to ParamInfo |