Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add bin project to separate scripted tests from compiler tests | Felix Mulder | 2016-11-22 | 2 | -18/+31 |
| | |||||
* | Add tags file to gitignore | Felix Mulder | 2016-11-22 | 1 | -0/+1 |
| | |||||
* | Add dotty-library to classpath in dottydoc tests | Felix Mulder | 2016-11-22 | 12 | -80/+111 |
| | |||||
* | Create dotty-lib.jar for run tests | Felix Mulder | 2016-11-22 | 17 | -135/+268 |
| | |||||
* | Remove compiler when running applications via dotr | Felix Mulder | 2016-11-22 | 2 | -3/+6 |
| | |||||
* | separate lib from compiler | Felix Mulder | 2016-11-22 | 166 | -31/+43 |
| | |||||
* | Move sbt-bridge | Felix Mulder | 2016-11-22 | 508 | -1/+1 |
| | |||||
* | Merge pull request #1725 from dotty-staging/change-pickle-early | Guillaume Martres | 2016-11-22 | 9 | -31/+37 |
|\ | | | | | Don't retain picklers until backend. | ||||
| * | Recreate FreshNameCreator for each run. | Martin Odersky | 2016-11-19 | 2 | -3/+4 |
| | | | | | | | | | | | | | | Previously only the FrontEnd got a fresh FreshNameCreator for each run, the other phases used a global one instead. This means that compiling the same file several times would create different synthetic names and classes on each run. | ||||
| * | Plug another space leak. | Martin Odersky | 2016-11-19 | 2 | -6/+4 |
| | | | | | | | | | | | | | | | | | | | | | | `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. | ||||
| * | Fix memory leak | Martin Odersky | 2016-11-19 | 1 | -1/+1 |
| | | | | | | | | | | | | The lazy val `dummyTree` acquires a type because of copy-on-write and that type can refer via lastDenotation to a context base. | ||||
| * | Revert 53cd512 | Martin Odersky | 2016-11-19 | 1 | -4/+3 |
| | | | | | | | | | | | | Re-enable context-leak detection by reverting 53cd512. But leak detection seems to be leaky itself :-) | ||||
| * | More extensive stats about generated trees | Martin Odersky | 2016-11-18 | 2 | -3/+6 |
| | | |||||
| * | Say what is compiled under -verbose | Martin Odersky | 2016-11-18 | 1 | -1/+3 |
| | | |||||
| * | Don't keep full picklers around until backend. | Martin Odersky | 2016-11-18 | 3 | -14/+17 |
| | | | | | | | | | | | | The memory footprint captured by pickler seems to be about 1/3rd of total footprint. So we gain a lot by not making this die sooner rather than later. | ||||
* | | Merge pull request #1634 from dotty-staging/change-tasty-pos-ctd | odersky | 2016-11-21 | 37 | -497/+703 |
|\ \ | |/ |/| | Towards correct positions in TASTY types | ||||
| * | Make inliner not rely on ambiguous map key | Martin Odersky | 2016-11-21 | 1 | -9/+25 |
| | | |||||
| * | Make This and Super take idents as qualifier/mixin | Martin Odersky | 2016-11-21 | 13 | -53/+79 |
| | | | | | | | | | | 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 typos | Martin Odersky | 2016-11-20 | 2 | -2/+2 |
| | | |||||
| * | Address reviewer's comments. | Martin Odersky | 2016-11-17 | 5 | -13/+11 |
| | | |||||
| * | Pickle and unpickle type trees | Martin Odersky | 2016-11-16 | 16 | -314/+502 |
| | | | | | | | | | | | | | | 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 typedefs | Martin Odersky | 2016-11-11 | 13 | -80/+77 |
| | | | | | | | | | | | | | | | | 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 syntheticLambdaParamNames | Martin Odersky | 2016-11-11 | 3 | -7/+3 |
| | | | | | | | | | | It seems like overengineering to use different names for poly methods in definitions and synthetic lambdas. | ||||
| * | Replace PolyType.fromSymbols with LambdaAbstract | Martin Odersky | 2016-11-11 | 7 | -33/+14 |
| | | | | | | | | As a side effect, avoid creating synthetic parameters in lambda abstract. | ||||
| * | Make test more robust | Martin Odersky | 2016-11-11 | 1 | -1/+1 |
| | | | | | | | | | | | | Pick a less common name for the missing identifier. Depending on my classpath I sometimes got `x is not a package` as an additional error for this one. | ||||
| * | Add assignType for RefinedTypeTrees | Martin Odersky | 2016-11-11 | 2 | -12/+16 |
| | | | | | | | | | | If we want to pickle type trees, we need a type assigner for RefinedTypeTree. | ||||
* | | Merge pull request #1724 from dotty-staging/fix-i1648 | odersky | 2016-11-18 | 2 | -0/+8 |
|\ \ | | | | | | | Fix #1648: don't define companion object for java.lang.Object | ||||
| * | | fix #1648: mark companion object for java.lang.Object as non-existent | liu fengyun | 2016-11-18 | 2 | -0/+8 |
|/ / | |||||
* | | Merge pull request #1722 from dotty-staging/topic/fix#1708 | odersky | 2016-11-17 | 6 | -15/+51 |
|\ \ | | | | | | | Fix #1708: duplicate symbols in package | ||||
| * | | Annotate error in test not revealed before prev commit | Felix Mulder | 2016-11-17 | 2 | -5/+5 |
| | | | |||||
| * | | Fix #1708: return ErrorTree in `typedPackageDef` if pkg has no symbol | Felix Mulder | 2016-11-17 | 2 | -9/+14 |
| | | | |||||
| * | | Only issue error, no unlinking | Felix Mulder | 2016-11-17 | 2 | -8/+8 |
| | | | | | | | | | | | | | | | | | | Unlinking proved to cause other problems in the typer, specifically if typechecking members of non-existing package or things referring to the unlinked package | ||||
| * | | Unlink type when entering clashing package | Felix Mulder | 2016-11-17 | 5 | -4/+35 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | Here we unlink the existing type that clashes with the package to be entered into the symbol table, issue an error and the proceed to enter the rest of the symbols. My concern with this approach is what happens during typechecking if other things reference the unlinked type. | ||||
* | | | Merge pull request #1720 from dotty-staging/fix-i1701 | odersky | 2016-11-17 | 4 | -4/+9 |
|\ \ \ | | | | | | | | | fix #1701: disqualify package name in type name resolution | ||||
| * | | | don't enter package to owner's scope | liu fengyun | 2016-11-17 | 2 | -4/+3 |
| | | | | |||||
| * | | | fix neg test i1701.scala | liu fengyun | 2016-11-17 | 1 | -2/+4 |
| | | | | |||||
| * | | | fix failing test | liu fengyun | 2016-11-16 | 1 | -1/+1 |
| | | | | |||||
| * | | | add tests for #1701 | liu fengyun | 2016-11-16 | 1 | -0/+3 |
| | | | | |||||
| * | | | fix #1701: disqualify package name in type name resolution | liu fengyun | 2016-11-16 | 1 | -3/+4 |
| |/ / | |||||
* | | | Merge pull request #1711 from dotty-staging/fix-isNullable | odersky | 2016-11-17 | 1 | -1/+1 |
|\ \ \ | | | | | | | | | Fix isNullable when `<:<` term refs. | ||||
| * | | | Add warning on != with same type fix isNullable. | Nicolas Stucki | 2016-11-17 | 1 | -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 #1696 from felixmulder/topic/assert-message-laziness | Felix Mulder | 2016-11-17 | 6 | -48/+122 |
|\ \ \ \ | | | | | | | | | | | Make sure messages are lazily evaluated until `report` in `Reporter` | ||||
| * | | | | Add note detailing possible memory leak in `StoreReporter` | Felix Mulder | 2016-11-14 | 1 | -3/+10 |
| | | | | | |||||
| * | | | | Make sure all `Message` creation is by name | Felix Mulder | 2016-11-14 | 3 | -22/+22 |
| | | | | | |||||
| * | | | | Make sure messages are lazily evaluated until `report` in `Reporter` | Felix Mulder | 2016-11-10 | 5 | -26/+93 |
| | |_|/ | |/| | | |||||
* | | | | Merge pull request #1718 from dotty-staging/fix-#1703 | odersky | 2016-11-17 | 2 | -1/+7 |
|\ \ \ \ | | | | | | | | | | | Fix #1703 | ||||
| * | | | | Move test to neg position | Martin Odersky | 2016-11-16 | 2 | -5/+5 |
| | | | | | |||||
| * | | | | Fix #1703 - survive illegal self type clause | Martin Odersky | 2016-11-16 | 2 | -1/+7 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Since self types are critical we should only install one if it is syntactcally correct. Fixes #1703. | ||||
* | | | | | Merge pull request #1717 from dotty-staging/fix-#1688 | odersky | 2016-11-16 | 4 | -16/+44 |
|\| | | | | |_|_|/ |/| | | | Don't allow redefinition of core classes | ||||
| * | | | Don't allow redefinition of core classes | Martin Odersky | 2016-11-10 | 4 | -16/+44 |
| |/ / | | | | | | | | | | Fixes #1688. |