aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Address review commentMartin Odersky2016-10-311-1/+2
| | | | Other comments had already been addressed in previous commits.
* Eliminate LAMBDAtype from TASTYformatMartin Odersky2016-10-313-16/+7
| | | | Merge with POLYtypem, as we do already for internal types.
* Make cloned trees have new uniqueIdsMartin Odersky2016-10-311-5/+15
| | | | | They used to share the same id as the tree they were cloned from, which makes id's not really unique.
* Keep rhs of TypeDefs until picklingMartin Odersky2016-10-312-20/+21
| | | | | Don't convert to a TypeTree in PostTyper, because that loses internal positions.
* Roll normalizedTree into main PostTyper transformMartin Odersky2016-10-312-80/+50
| | | | | Since we now transform all type trees, no need to have a separate traversal for checking.
* Don't convert to literals before picklingMartin Odersky2016-10-313-50/+86
| | | | | | | | | We need to keep the original expressions around for accurate linking with the source file. That holds also if the expression has a constant type, so it should not be converted to a literal before pickling. Instead it will be converted in FirstTransform.
* Don't convert to TypeTrees before picklingMartin Odersky2016-10-317-36/+56
| | | | | | If we want to pickle types with positions we should not converyt to TypeTrees before pickling. Instead, type trees are now converted to TypeTrees in FirstTransform.
* Updated .gitignoreMartin Odersky2016-10-201-0/+2
| | | | Updated to ignore two .cache files in ScalaIDE 4.4
* Maintain point for positions of definitionsMartin Odersky2016-10-204-18/+27
| | | | | This is needed to figure out where the defined name is in a definition.
* Don't generate positions that can be reconstructedMartin Odersky2016-10-181-2/+9
| | | | Don't generate positions that can be reconstructed from the initial position of a tree.
* Mention Inlined transformation in docsMartin Odersky2016-10-183-2/+7
|
* 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
| | | | |
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-04 01:31:20 +0000