aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core
Commit message (Collapse)AuthorAgeFilesLines
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-2256-26359/+0
|
* TastyPrinter: fix RefinedType printingGuillaume Martres2016-11-221-1/+1
|
* Move sjs, make sure that partest compiles everything in dirsFelix Mulder2016-11-221-3/+2
|
* Merge pull request #1725 from dotty-staging/change-pickle-earlyGuillaume Martres2016-11-221-3/+3
|\ | | | | Don't retain picklers until backend.
| * Plug another space leak.Martin Odersky2016-11-191-3/+3
| | | | | | | | | | | | | | | | | | | | | | `initInfo` was retained in Symbols. When called from `Namer`, `initInfo` referred to a completer, which referred to a context. With this space leak plugged, we can now compile 1000 times core/Comments.scala (460lines) with -Xmx400M. There still seems to be a space leak on the order of 200KB per run, though. But that seems to have to do with symbols, not contexts.
* | Merge pull request #1634 from dotty-staging/change-tasty-pos-ctdodersky2016-11-2112-347/+449
|\ \ | |/ |/| Towards correct positions in TASTY types
| * Make This and Super take idents as qualifier/mixinMartin Odersky2016-11-213-18/+33
| | | | | | | | | | The qualifier of a This and the mixin of a Super were names, which meant that their positions were lost. Now they are untyped idents.
| * Fix typosMartin Odersky2016-11-201-1/+1
| |
| * Address reviewer's comments.Martin Odersky2016-11-174-13/+7
| |
| * Pickle and unpickle type treesMartin Odersky2016-11-167-293/+410
| | | | | | | | | | | | | | Lots of other changes to make positions work out everywhere. One important change is that now trees can be shared, just as types can. This change improves memory requirements (a bit) and also makes positions in shared trees more robust.
| * Clean up parameterized typedefsMartin Odersky2016-11-112-7/+6
| | | | | | | | | | | | | | | | Express them in terms PolyTypeTrees rather than having an irregular, untyped only tparams field. This is necessary if we want to pickle type trees instead of types, because now the rhs of a typedef tells the whole story, so we are not required any longer to use the info of the symbol.
| * Merge syntheticTypeParamNames and syntheticLambdaParamNamesMartin Odersky2016-11-113-7/+3
| | | | | | | | | | It seems like overengineering to use different names for poly methods in definitions and synthetic lambdas.
| * Replace PolyType.fromSymbols with LambdaAbstractMartin Odersky2016-11-114-29/+10
| | | | | | | | As a side effect, avoid creating synthetic parameters in lambda abstract.
* | fix #1648: mark companion object for java.lang.Object as non-existentliu fengyun2016-11-181-0/+7
| |
* | Merge pull request #1720 from dotty-staging/fix-i1701odersky2016-11-171-1/+1
|\ \ | | | | | | fix #1701: disqualify package name in type name resolution
| * | don't enter package to owner's scopeliu fengyun2016-11-171-1/+1
| | |
* | | Merge pull request #1711 from dotty-staging/fix-isNullableodersky2016-11-171-1/+1
|\ \ \ | | | | | | | | Fix isNullable when `<:<` term refs.
| * | | Add warning on != with same type fix isNullable.Nicolas Stucki2016-11-171-1/+1
| |/ / | | | | | | | | | | | | Note that without the fix console tests will fail and without the warning there is no way to test the fix.
* | | Merge pull request #1717 from dotty-staging/fix-#1688odersky2016-11-162-8/+14
|\ \ \ | |/ / |/| | Don't allow redefinition of core classes
| * | Don't allow redefinition of core classesMartin Odersky2016-11-102-8/+14
| |/ | | | | | | Fixes #1688.
* | Merge pull request #1678 from Blaisorblade/sync-diagramsGuillaume Martres2016-11-121-0/+2
|\ \ | |/ |/| Resync copy of the type diagram in docs
| * Resync copy of the type diagram in docsPaolo G. Giarrusso2016-11-071-0/+2
| | | | | | | | | | | | | | Also add a note that the two diagrams should be kept in sync, both ways, so there's a chance that the copies are kept in sync. Alternatively one could drop a copy.
* | Merge pull request #1677 from dotty-staging/fix-#1647odersky2016-11-102-5/+2
|\ \ | |/ |/| Use inline flag instead of @inline annotation
| * Use inline flag instead of @inline annotationMartin Odersky2016-11-072-5/+2
| | | | | | | | | | Convert `@inline` annotations to `inline` flags, not the other way round as was done before.
* | Merge pull request #1632 from dotty-staging/fix/hash-assertFelix Mulder2016-11-072-6/+9
|\ \ | |/ |/| Avoid calling unsupported computeHash in some situations
| * Avoid calling unsupported computeHash in some situationsGuillaume Martres2016-10-262-6/+9
| | | | | | | | | | | | | | | | | | | | | | | | Some types do not implement `computeHash`, instead they override `myHash` directly. This works fine as long as `myHash` is not equal to `HashUnknown` but this was not guaranteed before this commit, if `myHash` is equal to `HashUnknown` then `computeHash` is called by `CachedGroundType#hash` or `CachedProxyType#hash` causing an exception: https://gist.github.com/smarter/6b642db0495e995d8f3c26d614cf54d6 This commit fixes this by making sure we never compute a hash equal to `HashUnknown`, instead `HashUnknownAlt` should be used.
* | Merge pull request #1657 from dotty-staging/fix-#1638odersky2016-11-051-0/+5
|\ \ | | | | | | Fix #1638: Don't import when typing a package clause
| * | Fix #1638: Don't import when typing a package clauseMartin Odersky2016-11-031-0/+5
| | | | | | | | | | | | | | | | | | | | | When typing the first identifier of a package clause, disable imports, as package clauses are never imported. Fixes #1638.
* | | Merge pull request #1655 from dotty-staging/change-future-defs-okodersky2016-11-056-71/+16
|\ \ \ | | | | | | | | Fix #1637: Future defs are always OK
| * | | Fix #1637: Future defs are always OKMartin Odersky2016-10-316-71/+16
| | |/ | |/| | | | | | | | | | | | | | | | Drop special mode that handles future defs without which we get DenotationNotDefinedHere errors. In more than a year, this has only turned up false negatives. So I think it's better to drop the check, and the contortions needed to deal with it.
* | | Merge pull request #1656 from dotty-staging/fix-#1652odersky2016-11-041-3/+14
|\ \ \ | | | | | | | | Fix #1652: Make assertion more robust
| * | | Add doc commentMartin Odersky2016-11-041-0/+3
| | | |
| * | | Fix #1652: Make assertion more robustMartin Odersky2016-11-031-3/+11
| | |/ | |/| | | | | | | | | | An assertion fired giving a false negative after a fuzzing test which introduced an ill-kinded type argument.
* | | Merge pull request #1587 from dotty-staging/change-tasty-posGuillaume Martres2016-11-047-106/+195
|\ \ \ | |/ / |/| | Fix Tasty positions
| * | 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.
| * | Keep rhs of TypeDefs until picklingMartin Odersky2016-10-311-2/+6
| | | | | | | | | | | | | | | Don't convert to a TypeTree in PostTyper, because that loses internal positions.
| * | Don't convert to TypeTrees before picklingMartin Odersky2016-10-313-12/+6
| | | | | | | | | | | | | | | | | | 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.
| * | Maintain point for positions of definitionsMartin Odersky2016-10-202-14/+21
| | | | | | | | | | | | | | | 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.
| * | Pickle Inlined treesMartin Odersky2016-10-173-15/+20
| | | | | | | | | | | | | | | | | | | | | | | | 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.
| * | Drop erroneous setPos in TreeUnpickler.Martin Odersky2016-10-171-2/+2
| | | | | | | | | | | | | | | 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-163-13/+48
| | | | | | | | | | | | | | | | | | | | | 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-151-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | 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-155-45/+86
| | | | | | | | | | | | | | | | | | | | | 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.
* | | Clean up in `messages.scala`Felix Mulder2016-11-021-1/+1
| |/ |/|
* | Add error message - Comments.scala:128Thiago Pereira2016-10-251-1/+2
| | | | | | | | | | This commit adds the semantic object for the ```definition not found``` error. It is part of the (https://github.com/lampepfl/dotty/issues/1589)[https://github.com/lampepfl/dotty/issues/1589]
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 23:39:53 +0000