Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | Names are no longer Seqs | Martin Odersky | 2017-04-11 | 16 | -139/+124 | |
| | | | | | | | | | | | | | | | | | | | | | | | | Drop Seq implementation of name. This implementation was always problematic because it entailed potentially very costly conversions to toSimpleName. We now have better control over when we convert a name to a simple name. | |||||
* | | | Cleanups of NameOps | Martin Odersky | 2017-04-11 | 5 | -98/+13 | |
| | | | | | | | | | | | | Remove unused functionality | |||||
* | | | Make outer select names semantic | Martin Odersky | 2017-04-11 | 9 | -24/+27 | |
| | | | ||||||
* | | | Make module var names semantic | Martin Odersky | 2017-04-11 | 5 | -25/+5 | |
| | | | ||||||
* | | | Avoid duplicate hashCode/equals | Martin Odersky | 2017-04-11 | 3 | -5/+4 | |
| | | | ||||||
* | | | Fix dropModule logic | Martin Odersky | 2017-04-11 | 1 | -2/+2 | |
| | | | ||||||
* | | | Make field names semantic | Martin Odersky | 2017-04-11 | 4 | -22/+12 | |
| | | | ||||||
* | | | Make "direct names" semantic | Martin Odersky | 2017-04-11 | 4 | -5/+7 | |
| | | | ||||||
* | | | Revise qualified names | Martin Odersky | 2017-04-11 | 7 | -85/+62 | |
| | | | | | | | | | | | | | | | 1. Fix problem in fullNameSeparated 2. Revise expandedName operations | |||||
* | | | New unmangling for ExpandedName | Martin Odersky | 2017-04-11 | 3 | -45/+40 | |
| | | | ||||||
* | | | Decentralize unmangling, add new nameKinds | Martin Odersky | 2017-04-11 | 10 | -58/+62 | |
| | | | | | | | | | | | | | | | | | | | | | Start scheme where unmangling is done by NameKinds instead of in NameOps. Also add namekinds for protected accessors. | |||||
* | | | Fix rebase breakage | Martin Odersky | 2017-04-11 | 1 | -0/+1 | |
| | | | ||||||
* | | | Rename NameExtractor -> NameKind | Martin Odersky | 2017-04-11 | 34 | -123/+121 | |
| | | | ||||||
* | | | Make freshName semantic | Martin Odersky | 2017-04-11 | 28 | -173/+244 | |
| | | | ||||||
* | | | Redefine definesNewName | Martin Odersky | 2017-04-11 | 3 | -8/+18 | |
| | | | | | | | | | | | | | | | | | | | | | Make it a method of info instead of a convention over tags, because it's less fragile that way. Also, add UniqueName extractor. | |||||
* | | | Add ShadowedName and AvoidClashName | Martin Odersky | 2017-04-11 | 11 | -32/+26 | |
| | | | ||||||
* | | | Streamline pickling and unpickling of names | Martin Odersky | 2017-04-11 | 3 | -24/+18 | |
| | | | ||||||
* | | | Get rid of SuperAccessor flag | Martin Odersky | 2017-04-11 | 12 | -17/+23 | |
| | | | ||||||
* | | | Get rid of ExpandedName flag | Martin Odersky | 2017-04-11 | 19 | -47/+56 | |
| | | | ||||||
* | | | Fix PrefixNameExtractor mkString | Martin Odersky | 2017-04-11 | 1 | -1/+3 | |
| | | | ||||||
* | | | Drop Config.semanticNames option | Martin Odersky | 2017-04-11 | 11 | -185/+97 | |
| | | | | | | | | | | | | | | | We now handle only semantic names. Also, name extractor tags and TASTY name tags are now aligned. | |||||
* | | | Add missing file | Martin Odersky | 2017-04-11 | 1 | -0/+148 | |
| | | | ||||||
* | | | Eliminate TastyNames | Martin Odersky | 2017-04-11 | 11 | -219/+107 | |
| | | | ||||||
* | | | Add NameExtractors | Martin Odersky | 2017-04-11 | 9 | -202/+90 | |
| | | | | | | | | | | | | | | | Use a new scheme for creating and accessing semantic names which is based on semantic name extractors with nested info classes. | |||||
* | | | Don't forget ExpandedName when unpickling SuperAccessors | Martin Odersky | 2017-04-11 | 1 | -1/+1 | |
| | | | ||||||
* | | | Fix to fieldName for trait setters | Martin Odersky | 2017-04-11 | 1 | -1/+1 | |
| | | | ||||||
* | | | Properly integrate TraitSetter names | Martin Odersky | 2017-04-11 | 3 | -13/+28 | |
| | | | ||||||
* | | | Semantic SuperAccessor and Initializer names | Martin Odersky | 2017-04-11 | 6 | -58/+122 | |
| | | | ||||||
* | | | Turn on semantic names | Martin Odersky | 2017-04-11 | 1 | -1/+1 | |
| | | | ||||||
* | | | Add Variant NameInfo | Martin Odersky | 2017-04-11 | 11 | -21/+42 | |
| | | | | | | | | | | | | Plus further bug fixes. | |||||
* | | | Add default getter names | Martin Odersky | 2017-04-11 | 9 | -57/+169 | |
| | | | | | | | | | | | | Plus various bug fixes and filling in missing functionality | |||||
* | | | Handle expansion and flattening | Martin Odersky | 2017-04-11 | 12 | -49/+131 | |
| | | | ||||||
* | | | Polishings | Martin Odersky | 2017-04-11 | 4 | -38/+47 | |
| | | | ||||||
* | | | Bug fixes | Martin Odersky | 2017-04-11 | 12 | -65/+115 | |
| | | | | | | | | | | | | nameddefaults.scala now compiles without crashing | |||||
* | | | Implement startsWith/encode/decode for derived names. | Martin Odersky | 2017-04-11 | 5 | -18/+34 | |
| | | | ||||||
* | | | Disentangle Names from Seqs | Martin Odersky | 2017-04-11 | 9 | -81/+69 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | |||||
* | | | Use system hashcode for all names except SimpleTermNames | Martin Odersky | 2017-04-11 | 1 | -4/+2 | |
| | | | | | | | | | | | | Keep start as a hash for SimpleTermNames because it distributed better. | |||||
* | | | Fix typos and redundant statements in previous commits | Martin Odersky | 2017-04-11 | 3 | -6/+2 | |
| | | | ||||||
* | | | Deug info in classfile parser | Martin Odersky | 2017-04-11 | 1 | -1/+8 | |
| | | | ||||||
* | | | Unmangle class names in ClassfileParser | Martin Odersky | 2017-04-11 | 1 | -1/+1 | |
| | | | ||||||
* | | | Self-checked structured qualified names | Martin Odersky | 2017-04-11 | 1 | -4/+27 | |
| | | | | | | | | | | | | | | | | | | This is a temporary step. If semanticNames is true we construct structured qualified names, but check they have the same string representation as the unstructured names. | |||||
* | | | Start to use structured ModuleNames | Martin Odersky | 2017-04-11 | 4 | -8/+31 | |
| | | | | | | | | | | | | Subject to flags Config.semanticNames. | |||||
* | | | Fix handling of qualified names | Martin Odersky | 2017-04-11 | 2 | -19/+42 | |
| | | | | | | | | | | | | | | | These always construct a new name, other derivations should not commute with Qualified. | |||||
* | | | Fix @sharable problem | Martin Odersky | 2017-04-11 | 1 | -1/+1 | |
| | | | ||||||
* | | | Add derived name machinery | Martin Odersky | 2017-04-11 | 3 | -11/+114 | |
| | | | | | | | | | | | | Add machinery to define and hash cons derived names. | |||||
* | | | Cleanup of simple names | Martin Odersky | 2017-04-11 | 1 | -45/+39 | |
| | | | | | | | | | | | | | | | Reduce # of creation methods and make TypeNames simple derived names from TermNames. | |||||
* | | | Merge pull request #2215 from dotty-staging/#2142 | odersky | 2017-04-11 | 6 | -15/+43 | |
|\ \ \ | | | | | | | | | Fix #2142: Skolemize arguments of dependent methods if necessary | |||||
| * | | | Align safe parameter substitution with other subst methods | Martin Odersky | 2017-04-10 | 2 | -6/+6 | |
| | | | | | | | | | | | | | | | | Change name and align order of parameters. | |||||
| * | | | Generalize definition of Type#isStable | Martin Odersky | 2017-04-10 | 1 | -2/+3 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | We now consider a type also as stable if it refers to an ExprType whose result type is stable. The previous commit made pos/z1720.scala break, because it skolemized unstable argument types. This commit makes the test pass again. | |||||
| * | | | Skolemize arguments to dependent methods as necessary. | Martin Odersky | 2017-04-10 | 2 | -4/+21 | |
| | | | | | | | | | | | | | | | | This was missing before, led to errors not being detected. |