aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | Streamline pickling and unpickling of namesMartin Odersky2017-04-113-24/+18
| | | |
| * | | Get rid of SuperAccessor flagMartin Odersky2017-04-1112-17/+23
| | | |
| * | | Get rid of ExpandedName flagMartin Odersky2017-04-1120-48/+57
| | | |
| * | | Fix PrefixNameExtractor mkStringMartin Odersky2017-04-111-1/+3
| | | |
| * | | Drop Config.semanticNames optionMartin Odersky2017-04-1111-185/+97
| | | | | | | | | | | | | | | | | | | | We now handle only semantic names. Also, name extractor tags and TASTY name tags are now aligned.
| * | | Add missing fileMartin Odersky2017-04-111-0/+148
| | | |
| * | | Eliminate TastyNamesMartin Odersky2017-04-1111-219/+107
| | | |
| * | | Add NameExtractorsMartin Odersky2017-04-119-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 SuperAccessorsMartin Odersky2017-04-111-1/+1
| | | |
| * | | Fix to fieldName for trait settersMartin Odersky2017-04-111-1/+1
| | | |
| * | | Properly integrate TraitSetter namesMartin Odersky2017-04-113-13/+28
| | | |
| * | | Fix testMartin Odersky2017-04-111-1/+1
| | | |
| * | | Semantic SuperAccessor and Initializer namesMartin Odersky2017-04-116-58/+122
| | | |
| * | | Turn on semantic namesMartin Odersky2017-04-111-1/+1
| | | |
| * | | Add Variant NameInfoMartin Odersky2017-04-1111-21/+42
| | | | | | | | | | | | | | | | Plus further bug fixes.
| * | | Add default getter namesMartin Odersky2017-04-119-57/+169
| | | | | | | | | | | | | | | | Plus various bug fixes and filling in missing functionality
| * | | Handle expansion and flatteningMartin Odersky2017-04-1112-49/+131
| | | |
| * | | PolishingsMartin Odersky2017-04-114-38/+47
| | | |
| * | | Bug fixesMartin Odersky2017-04-1112-65/+115
| | | | | | | | | | | | | | | | nameddefaults.scala now compiles without crashing
| * | | Implement startsWith/encode/decode for derived names.Martin Odersky2017-04-115-18/+34
| | | |
| * | | Disentangle Names from SeqsMartin Odersky2017-04-1110-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 SimpleTermNamesMartin Odersky2017-04-111-4/+2
| | | | | | | | | | | | | | | | Keep start as a hash for SimpleTermNames because it distributed better.
| * | | Fix typos and redundant statements in previous commitsMartin Odersky2017-04-113-6/+2
| | | |
| * | | Deug info in classfile parserMartin Odersky2017-04-111-1/+8
| | | |
| * | | Unmangle class names in ClassfileParserMartin Odersky2017-04-111-1/+1
| | | |
| * | | Self-checked structured qualified namesMartin Odersky2017-04-111-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 ModuleNamesMartin Odersky2017-04-114-8/+31
| | | | | | | | | | | | | | | | Subject to flags Config.semanticNames.
| * | | Fix handling of qualified namesMartin Odersky2017-04-112-19/+42
| | | | | | | | | | | | | | | | | | | | These always construct a new name, other derivations should not commute with Qualified.
| * | | Fix @sharable problemMartin Odersky2017-04-111-1/+1
| | | |
| * | | Add derived name machineryMartin Odersky2017-04-113-11/+114
| | | | | | | | | | | | | | | | Add machinery to define and hash cons derived names.
| * | | Cleanup of simple namesMartin Odersky2017-04-111-45/+39
|/ / / | | | | | | | | | | | | Reduce # of creation methods and make TypeNames simple derived names from TermNames.
* | | Merge pull request #2215 from dotty-staging/#2142odersky2017-04-117-15/+71
|\ \ \ | | | | | | | | Fix #2142: Skolemize arguments of dependent methods if necessary
| * | | Align safe parameter substitution with other subst methodsMartin Odersky2017-04-102-6/+6
| | | | | | | | | | | | | | | | Change name and align order of parameters.
| * | | Generalize definition of Type#isStableMartin Odersky2017-04-101-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 Odersky2017-04-103-4/+49
| | | | | | | | | | | | | | | | This was missing before, led to errors not being detected.
| * | | Explain skolem typesMartin Odersky2017-04-101-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 paramrefsMartin Odersky2017-04-102-6/+8
| | | | | | | | | | | | | | | | These were not printed before, fell back to toString method.
* | | | Merge pull request #2217 from dotty-staging/upgrade/sbt0.13.15Felix Mulder2017-04-101-1/+1
|\ \ \ \ | | | | | | | | | | Upgrade to sbt 0.13.15
| * | | | Upgrade to sbt 0.13.15Guillaume Martres2017-04-101-1/+1
|/ / / /
* | | | Merge pull request #2197 from dotty-staging/add-enum-exhaustivenessodersky2017-04-1014-105/+175
|\ \ \ \ | | | | | | | | | | Add enum exhaustivity checking
| * | | | simplify exhaustivity check using ConstantTypeliu fengyun2017-04-061-49/+11
| | | | | | | | | | | | | | | | | | | | Now the algorithm is the same as in the paper.
| * | | | add more enum exhaustivity testsliu fengyun2017-04-063-0/+77
| | | | |
| * | | | remove obsolete codeliu fengyun2017-04-061-9/+0
| | | | |
| * | | | exhaustivity support for enumsliu fengyun2017-04-069-56/+86
| | | | |
| * | | | Add child annotations for enum valuesMartin Odersky2017-04-063-4/+14
| | |/ / | |/| | | | | | | | | | | | | | A new kind of child annotation that points to the term symbol representing an enum value.
* | | | Merge pull request #2206 from dotty-staging/fix-#2198odersky2017-04-102-2/+10
|\ \ \ \ | |_|/ / |/| | | Fix #2198: Don't widen module singletons
| * | | Fix #2198: Don't widen module singletonsMartin Odersky2017-04-092-2/+10
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Since module classes are a compiler-generated construct that's not directly visible to programmers, it seems better not to automatically widen a module singleton to its underlying class. Fixes #2198.
* | | | Merge pull request #2207 from dotty-staging/fix-#2188Nicolas Stucki2017-04-092-0/+8
|\ \ \ \ | | | | | | | | | | Fix #2188: Do cbn transform also on Selects
| * | | | Fix #2188: Do cbn transform also on SelectsMartin Odersky2017-04-092-0/+8
| |/ / / | | | | | | | | | | | | These can arise as a result of an explicit outer transform.
* | | | Merge pull request #2208 from dotty-staging/fix-#2192Guillaume Martres2017-04-092-2/+19
|\ \ \ \ | | |_|/ | |/| | Fix #2192: Follow supertypes when determining whether an expect type …
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-27 07:09:18 +0000