Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | 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 | 8 | -87/+63 | |
| | | | | | | | | | | | | | | | 1. Fix problem in fullNameSeparated 2. Revise expandedName operations | |||||
| * | | Fix inner class name table emission with semantic names | Guillaume Martres | 2017-04-11 | 1 | -1/+2 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The backend contains: val outerName = innerClassSym.rawowner.javaBinaryName // Java compatibility. See the big comment in BTypes that summarizes the InnerClass spec. val outerNameModule = if (innerClassSym.rawowner.isTopLevelModuleClass) outerName.dropModule Where `dropModule` is defined in the backend interface as: def dropModule: Name = n.stripModuleClassSuffix This will only work as expected if `javaBinaryName` returns a name with proper semantic information, but before this commit we just used the output of `fullNameSeparated` which contains no semantic information. | |||||
| * | | 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 | 20 | -48/+57 | |
| | | | ||||||
| * | | 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 | |
| | | | ||||||
| * | | Fix test | Martin Odersky | 2017-04-11 | 1 | -1/+1 | |
| | | | ||||||
| * | | 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 | 10 | -83/+71 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | 7 | -15/+71 | |
|\ \ | | | | | | | 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 | 3 | -4/+49 | |
| | | | | | | | | | | | | This was missing before, led to errors not being detected. | |||||
| * | | Explain skolem types | Martin Odersky | 2017-04-10 | 1 | -3/+11 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Strictly speaking, all the info about a skolem type is printed, e.g. A(?2) But it's reassuring to have an explanation line like ?2 is an unknown value of type A | |||||
| * | | Handle printing of term paramrefs | Martin Odersky | 2017-04-10 | 2 | -6/+8 | |
| | | | | | | | | | | | | These were not printed before, fell back to toString method. | |||||
* | | | Merge pull request #2217 from dotty-staging/upgrade/sbt0.13.15 | Felix Mulder | 2017-04-10 | 1 | -1/+1 | |
|\ \ \ | | | | | | | | | Upgrade to sbt 0.13.15 | |||||
| * | | | Upgrade to sbt 0.13.15 | Guillaume Martres | 2017-04-10 | 1 | -1/+1 | |
|/ / / |