Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Rename NameExtractor -> NameKind | Martin Odersky | 2017-04-11 | 1 | -1/+1 |
| | |||||
* | Add ShadowedName and AvoidClashName | Martin Odersky | 2017-04-11 | 1 | -1/+1 |
| | |||||
* | Get rid of ExpandedName flag | Martin Odersky | 2017-04-11 | 1 | -1/+2 |
| | |||||
* | Drop Config.semanticNames option | Martin Odersky | 2017-04-11 | 1 | -11/+1 |
| | | | | | We now handle only semantic names. Also, name extractor tags and TASTY name tags are now aligned. | ||||
* | Eliminate TastyNames | Martin Odersky | 2017-04-11 | 1 | -26/+7 |
| | |||||
* | Add NameExtractors | Martin Odersky | 2017-04-11 | 1 | -3/+3 |
| | | | | | Use a new scheme for creating and accessing semantic names which is based on semantic name extractors with nested info classes. | ||||
* | Properly integrate TraitSetter names | Martin Odersky | 2017-04-11 | 1 | -1/+1 |
| | |||||
* | Semantic SuperAccessor and Initializer names | Martin Odersky | 2017-04-11 | 1 | -12/+17 |
| | |||||
* | Add Variant NameInfo | Martin Odersky | 2017-04-11 | 1 | -0/+1 |
| | | | | Plus further bug fixes. | ||||
* | Bug fixes | Martin Odersky | 2017-04-11 | 1 | -1/+1 |
| | | | | nameddefaults.scala now compiles without crashing | ||||
* | Disentangle Names from Seqs | Martin Odersky | 2017-04-11 | 1 | -1/+1 |
| | | | | | | | | | Structured names are not Seqs anymmore. But the Seq behavior is required in many places that mangle names. As an intermediate step we drop the Seq basetype but add Seq behavior through a decorator. Most Seq operations only work on SimpleTermNames and their TypeName analogue, will throw an exception wehn called on structured names. | ||||
* | Split HKTypeLambda from PolyType | Martin Odersky | 2017-04-06 | 1 | -1/+1 |
| | |||||
* | Handle hk lambdas in tasty | Martin Odersky | 2017-04-06 | 1 | -9/+11 |
| | |||||
* | Further refactorings | Martin Odersky | 2017-04-06 | 1 | -1/+1 |
| | | | | | - Use TypeLambda instead of PolyType. - Further harmonize factory operations | ||||
* | Rename PolyTypeTree -> LambdaTypeTree | Martin Odersky | 2017-04-06 | 1 | -1/+1 |
| | |||||
* | Eliminate ParamType | Martin Odersky | 2017-04-06 | 1 | -3/+3 |
| | | | | Replace with ParamRef | ||||
* | Rename PolyParam --> TypeParamRef | Martin Odersky | 2017-04-06 | 1 | -1/+1 |
| | |||||
* | Refactor ParamRef so that no type params are needed | Martin Odersky | 2017-04-06 | 1 | -1/+1 |
| | |||||
* | Get rid of Name parameter for LambdaType and ParamRef | Martin Odersky | 2017-04-06 | 1 | -1/+1 |
| | | | | Use an abstract type instead. | ||||
* | ParamType refactorings | Martin Odersky | 2017-04-06 | 1 | -1/+1 |
| | | | | Trying to bring PolyTypes closer to TypeLambdas | ||||
* | Harmonize paramTypes and paramBounds | Martin Odersky | 2017-04-06 | 1 | -3/+3 |
| | | | | | | 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 | -1/+1 |
| | | | | | and generalize MethodParam to ParamRef, and TypeParamInfo to ParamInfo | ||||
* | Encode variances in parameter names | Martin Odersky | 2017-04-06 | 1 | -3/+1 |
| | | | | | | | | | | This leads to a slight overall simplification, harmonizes pickle format with internal representation, and makes MethodTypes and PolyTypes more similar to each other. I believe the change is useful as it is, but in particular it is a useful step for an eventual unification of MethodTypes and PolyTypes. | ||||
* | Move compiler and compiler tests to compiler dir | Felix Mulder | 2016-11-22 | 1 | -0/+641 |