aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Minimize inline call info in PostTyperMartin Odersky2016-10-171-0/+13
|
* Pickle Inlined treesMartin Odersky2016-10-174-17/+22
| | | | | | | | Inlined trees should be preserved by pickling so that we keep positions accurate. With that change now all tasty tests are tested for position accuracy.
* Fix dropInlined to also change positions of subtreesMartin Odersky2016-10-171-2/+3
|
* Keep position always with termMartin Odersky2016-10-171-1/+1
| | | | | | When printing with -Yprintpos always have the position follow immediately the term with the position. Makes it easier to interpret diffs.
* Drop erroneous setPos in TreeUnpickler.Martin Odersky2016-10-172-3/+3
| | | | | With that change, all files tested in pickleOK have the same positions before and after pickling.
* Fix pickling of self type positionMartin Odersky2016-10-171-1/+1
| | | | Was: position of self def, now: position of tpt in self def.
* Fix pickling of annotation positionsMartin Odersky2016-10-171-2/+2
|
* Handle shared treesMartin Odersky2016-10-164-15/+50
| | | | | | | Shared trees are pickled under multiple addresses. Previously, only the last address was stored, which led to trees with unknown positions. Now, all addresses are stored.
* Record position of self typeMartin Odersky2016-10-152-14/+18
| | | | Also, some simplifying refactorings and renamings
* Drop original on TypeTreeMartin Odersky2016-10-1511-59/+33
| | | | | | | | The plan is to keep original type until after pickling, and afterwards replace it with a simple TypeTree. # Conflicts: # src/dotty/tools/dotc/core/tasty/TreePickler.scala
* Preserve all positions in Tasty.Martin Odersky2016-10-158-52/+98
| | | | | | | The goal is that pickled and unpickled trees should print the same with -Yprintpos. There are several reasons why this is not the case so far. Some of them are fixed in this commit.
* Merge pull request #1565 from Blaisorblade/warningsFelix Mulder2016-10-146-12/+10
|\ | | | | Small fixes to some warnings/comment typos
| * Fix non-spurious unchecked warningPaolo G. Giarrusso2016-10-071-1/+1
| |
| * Suppress some spurious unchecked warningsPaolo G. Giarrusso2016-10-071-2/+2
| | | | | | | | The warning is invalid but Scalac can't tell.
| * Fix compilation warningsPaolo G. Giarrusso2016-10-072-5/+3
| |
| * Fix typosPaolo G. Giarrusso2016-10-072-4/+4
| |
* | Merge pull request #1577 from dotty-staging/fix-1543-2odersky2016-10-133-3/+76
|\ \ | | | | | | Fix #1543: Ignore IgnoredProto when normalizing method application.
| * | Fix #1543: Ignore IgnoredProto when normalizing method application.Nicolas Stucki2016-10-113-3/+76
| | |
* | | Merge pull request #1586 from dotty-staging/fix/poly-unitGuillaume Martres2016-10-132-1/+17
|\ \ \ | | | | | | | | Fix erasure of "def foo[T]: Unit", do not box the return type
| * | | Fix erasure of "def foo[T]: Unit", do not box the return typeGuillaume Martres2016-10-132-1/+17
| | | |
* | | | Merge pull request #1427 from dotty-staging/fix-i1274Felix Mulder2016-10-134-16/+46
|\ \ \ \ | | | | | | | | | | fix #1274: test for dotty bootstrap based on tasty
| * | | | fix #1274: test for dotty bootstrap based on tastyliu fengyun2016-10-134-16/+46
|/ / / /
* | | | Merge pull request #1585 from dos65/repl_file_loadingFelix Mulder2016-10-131-16/+7
|\ \ \ \ | |/ / / |/| | | Fix #1552: REPL file loading
| * | | Fix #1552: loading file inside REPLdos652016-10-131-16/+7
| | | |
* | | | Merge pull request #1560 from dotty-staging/change-one-polytypeGuillaume Martres2016-10-1339-481/+446
|\ \ \ \ | | | | | | | | | | Harmonize PolyType and TypeLambda
| * | | | Update tests to use new PolyType syntax.Martin Odersky2016-10-127-20/+20
| | | | |
| * | | | Use => instead of -> for PolyTypesMartin Odersky2016-10-125-24/+18
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | If PolyTypes are to become value types we want to keep `=>` as the arrow for consistency. `->` should be reserved for PolyTypes that do not have side effects on instantiation.
| * | | | Merge GenericType, TypeLambda and PolyTypeMartin Odersky2016-10-1232-260/+185
| | | | |
| * | | | Refactor from distribute{And,Or} to {meet,join}InfoMartin Odersky2016-10-122-176/+196
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The refactored logic only applies to infos of denotations, not general types. The reactoring avoids special cases down the road then PolyTypes and MethodTypes can be used for terms as well as type(bounds).
| * | | | Make PolyType a subtype of TypeLambdaMartin Odersky2016-10-122-30/+45
| | | | |
| * | | | Don't let import symbols go staleMartin Odersky2016-10-122-2/+5
| | | | | | | | | | | | | | | | | | | | | | | | | Otherwise we can run into problems when checking imports for e.g. scala2Mode in later runs.
| * | | | Fix rebase problemMartin Odersky2016-10-121-1/+1
| | | | |
| * | | | Change type inheritance diagramMartin Odersky2016-10-121-2/+2
| | | | | | | | | | | | | | | | | | | | to account for the fact the GenericTypes are now TypeProxies.
| * | | | Harmonize PolyType and TypeLambdaMartin Odersky2016-10-1212-84/+89
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Let them inherit the same traits and push as much functionality as possibly into the common superclass GenericType.
| * | | | Make TypeLambdas not be ValueTypesMartin Odersky2016-10-124-4/+7
|/ / / /
* | | | Merge pull request #1550 from dotty-staging/union-typesGuillaume Martres2016-10-1129-183/+273
|\ \ \ \ | | | | | | | | | | True union types
| * | | | Add test caseMartin Odersky2016-10-111-0/+6
| | | | |
| * | | | Fix cutting problemMartin Odersky2016-10-112-3/+11
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Test case: orInf.scala. This showed a problem where an `either` operation had to arbitrarily pick one constraint over another, leading to a type error down the line. What happened was that a `constrainResult` generated the constraint Set[A] <: Set[String] | Set[Int] But this constraint cannot be simplified without a cut and a resulting loss of information. We avoid the problem by not constraining the result if the prototype is a disjunction.
| * | | | Drop dotty.language from DefinitionsMartin Odersky2016-10-113-7/+4
| | | | |
| * | | | Don't report double def errors if symbol's type is erroneousMartin Odersky2016-10-111-1/+2
| | | | | | | | | | | | | | | | | | | | This happened for singletonOrs, and led to spurious errors there.
| * | | | Disallow singleton types in unionsMartin Odersky2016-10-113-2/+17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | For the moment, we do not know how to handle something like 1 | 2 or x.type | y.type correctly. So it's better to disallow these situations until we find a proper solution.
| * | | | Refactor Splitter functionalityMartin Odersky2016-10-112-30/+30
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Splitting or types is no longer needed with new scheme. Replacing idents with This nodes is better done in ExplicitSelf. So splitter now just distributes applications into and ifs.
| * | | | Scrutinize selections in TreeCheckerMartin Odersky2016-10-111-4/+23
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Makes sure the symbol in the tree can be approximately reconstructed by calling member on the qualifier type. Approximately means: The two symbols might be different but one still overrides the other.
| * | | | Adapt testsMartin Odersky2016-10-117-39/+39
| | | | |
| * | | | Remove unused language optionMartin Odersky2016-10-111-9/+0
| | | | | | | | | | | | | | | | | | | | In fact all of dotty.language can be removed.
| * | | | Refine mergeEntriesMartin Odersky2016-10-111-0/+5
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | If entries are type variables, we have to check their instances for equality. This came up onder the new or handling scheme.
| * | | | Handle feature interaction between subtyping or types and hk typesMartin Odersky2016-10-111-2/+12
| | | | |
| * | | | Keep or typesMartin Odersky2016-10-115-82/+110
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Don't replace them by their dominators, unless one of the following holds: - language:Scala2 mode is on - we are at the point of findMember selection - we compare with a higher-kinded application This means approximateUnion is now split into harmonizeUnion and orDominator which each implement one of the former's two functionalities.
| * | | | Change default of unsafe Config optionMartin Odersky2016-10-111-2/+6
| | | | |
| * | | | Reformatting to avoid a long lineMartin Odersky2016-10-111-1/+4
| | | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 16:30:55 +0000