Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | 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 | |
|/ / / / | ||||||
* | | | | Merge pull request #2197 from dotty-staging/add-enum-exhaustiveness | odersky | 2017-04-10 | 14 | -105/+175 | |
|\ \ \ \ | | | | | | | | | | | Add enum exhaustivity checking | |||||
| * | | | | simplify exhaustivity check using ConstantType | liu fengyun | 2017-04-06 | 1 | -49/+11 | |
| | | | | | | | | | | | | | | | | | | | | Now the algorithm is the same as in the paper. | |||||
| * | | | | add more enum exhaustivity tests | liu fengyun | 2017-04-06 | 3 | -0/+77 | |
| | | | | | ||||||
| * | | | | remove obsolete code | liu fengyun | 2017-04-06 | 1 | -9/+0 | |
| | | | | | ||||||
| * | | | | exhaustivity support for enums | liu fengyun | 2017-04-06 | 9 | -56/+86 | |
| | | | | | ||||||
| * | | | | Add child annotations for enum values | Martin Odersky | 2017-04-06 | 3 | -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-#2198 | odersky | 2017-04-10 | 2 | -2/+10 | |
|\ \ \ \ | |_|/ / |/| | | | Fix #2198: Don't widen module singletons | |||||
| * | | | Fix #2198: Don't widen module singletons | Martin Odersky | 2017-04-09 | 2 | -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-#2188 | Nicolas Stucki | 2017-04-09 | 2 | -0/+8 | |
|\ \ \ \ | | | | | | | | | | | Fix #2188: Do cbn transform also on Selects | |||||
| * | | | | Fix #2188: Do cbn transform also on Selects | Martin Odersky | 2017-04-09 | 2 | -0/+8 | |
| |/ / / | | | | | | | | | | | | | These can arise as a result of an explicit outer transform. | |||||
* | | | | Merge pull request #2208 from dotty-staging/fix-#2192 | Guillaume Martres | 2017-04-09 | 2 | -2/+19 | |
|\ \ \ \ | | |_|/ | |/| | | Fix #2192: Follow supertypes when determining whether an expect type … | |||||
| * | | | Fix #2192: Fullow supertypes when determining whether an expect type is a ↵ | Martin Odersky | 2017-04-09 | 2 | -2/+19 | |
| |/ / | | | | | | | | | | function type | |||||
* | | | Merge pull request #2205 from dotty-staging/fix-#2220 | odersky | 2017-04-09 | 5 | -32/+80 | |
|\ \ \ | |/ / |/| | | Fix #2220: Change handling of package objects and tweak hk type inference | |||||
| * | | Fix documentation | Martin Odersky | 2017-04-09 | 1 | -4/+3 | |
| | | | ||||||
| * | | Tweak logic for hk type comparisons | Martin Odersky | 2017-04-09 | 2 | -0/+10 | |
| | | |