aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc
Commit message (Collapse)AuthorAgeFilesLines
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-22260-75428/+0
|
* Make homogenize apply HKApplysFelix Mulder2016-11-221-0/+2
| | | | | The pickler doesn't unpickle to HKApply, as such - we need to print them in their applied form.
* TastyPrinter: fix RefinedType printingGuillaume Martres2016-11-221-1/+1
|
* PathResolver: fix priorityClassPathGuillaume Martres2016-11-221-1/+1
| | | | | It was wrongly defined before with respect to `commandLineFor` (this is what happens when you rely on strings instead of types!)
* Move sjs, make sure that partest compiles everything in dirsFelix Mulder2016-11-224-51/+13
|
* Add dotty-library to classpath in dottydoc testsFelix Mulder2016-11-223-27/+18
|
* Create dotty-lib.jar for run testsFelix Mulder2016-11-222-4/+22
|
* Merge pull request #1725 from dotty-staging/change-pickle-earlyGuillaume Martres2016-11-227-25/+33
|\ | | | | Don't retain picklers until backend.
| * Recreate FreshNameCreator for each run.Martin Odersky2016-11-192-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 Odersky2016-11-192-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 leakMartin Odersky2016-11-191-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.
| * More extensive stats about generated treesMartin Odersky2016-11-182-3/+6
| |
| * Say what is compiled under -verboseMartin Odersky2016-11-181-1/+3
| |
| * Don't keep full picklers around until backend.Martin Odersky2016-11-182-12/+16
| | | | | | | | | | | | 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-ctdodersky2016-11-2130-491/+666
|\ \ | |/ |/| Towards correct positions in TASTY types
| * Make inliner not rely on ambiguous map keyMartin Odersky2016-11-211-9/+25
| |
| * Make This and Super take idents as qualifier/mixinMartin Odersky2016-11-2112-51/+77
| | | | | | | | | | 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-202-2/+2
| |
| * Address reviewer's comments.Martin Odersky2016-11-175-13/+11
| |
| * Pickle and unpickle type treesMartin Odersky2016-11-1612-312/+469
| | | | | | | | | | | | | | 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-1112-79/+76
| | | | | | | | | | | | | | | | 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-117-33/+14
| | | | | | | | As a side effect, avoid creating synthetic parameters in lambda abstract.
| * Add assignType for RefinedTypeTreesMartin Odersky2016-11-112-12/+16
| | | | | | | | | | If we want to pickle type trees, we need a type assigner for RefinedTypeTree.
* | fix #1648: mark companion object for java.lang.Object as non-existentliu fengyun2016-11-181-0/+7
| |
* | Merge pull request #1722 from dotty-staging/topic/fix#1708odersky2016-11-174-15/+39
|\ \ | | | | | | Fix #1708: duplicate symbols in package
| * | Annotate error in test not revealed before prev commitFelix Mulder2016-11-171-4/+4
| | |
| * | Fix #1708: return ErrorTree in `typedPackageDef` if pkg has no symbolFelix Mulder2016-11-172-9/+14
| | |
| * | Only issue error, no unlinkingFelix Mulder2016-11-172-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 packageFelix Mulder2016-11-173-4/+23
| | | | | | | | | | | | | | | | | | | | | | | | | | | 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-i1701odersky2016-11-172-3/+3
|\ \ \ | | | | | | | | fix #1701: disqualify package name in type name resolution
| * | | don't enter package to owner's scopeliu fengyun2016-11-172-4/+3
| | | |
| * | | fix #1701: disqualify package name in type name resolutionliu fengyun2016-11-161-3/+4
| |/ /
* | | 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 #1696 from felixmulder/topic/assert-message-lazinessFelix Mulder2016-11-175-48/+85
|\ \ \ \ | | | | | | | | | | Make sure messages are lazily evaluated until `report` in `Reporter`
| * | | | Add note detailing possible memory leak in `StoreReporter`Felix Mulder2016-11-141-3/+10
| | | | |
| * | | | Make sure all `Message` creation is by nameFelix Mulder2016-11-142-20/+20
| | | | |
| * | | | Make sure messages are lazily evaluated until `report` in `Reporter`Felix Mulder2016-11-104-26/+56
| | |_|/ | |/| |
* | | | Merge pull request #1718 from dotty-staging/fix-#1703odersky2016-11-171-1/+2
|\ \ \ \ | | | | | | | | | | Fix #1703
| * | | | Fix #1703 - survive illegal self type clauseMartin Odersky2016-11-161-1/+2
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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-#1688odersky2016-11-163-16/+38
|\| | | | | |_|_|/ |/| | | Don't allow redefinition of core classes
| * | | Don't allow redefinition of core classesMartin Odersky2016-11-103-16/+38
| |/ / | | | | | | | | | Fixes #1688.
* | | Merge pull request #1697 from dotty-staging/fix-#1664Dmitry Petrashko2016-11-161-8/+12
|\ \ \ | | | | | | | | Fix #1664: Refine isOuterRef condition
| * | | Fix #1664: Refine isOuterRef conditionMartin Odersky2016-11-101-8/+12
| |/ / | | | | | | | | | | | | | | | | | | | | | We forgot the case where a hoistable method can still refer to free variables that have to be passed using outer pointers. Fixes #1664.
* | | Merge pull request #1666 from dotty-staging/fix-#1653odersky2016-11-162-10/+12
|\ \ \ | | | | | | | | Fix #1653: Check "no inherit from final" earlier.
| * | | Fix #1653: Check "no inherit from final" earlier.Martin Odersky2016-11-062-10/+12
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | The test case is an illegal inheritance from a primitive value class, which makes this an illegal value class. Previously, the error was detected by refchecks, but crashes occured earlier (when generating synthesized methods) or at the same phase block (in extension methods). The problem is avoided by moving the test to Namer. Review by @smarter.
* | | | Merge pull request #1695 from dotty-staging/fix-#1662odersky2016-11-161-2/+3
|\ \ \ \ | | | | | | | | | | Fix #1662: Add missing case for singleton
| * | | | Fix #1662: Add missing case for singletonMartin Odersky2016-11-101-2/+3
| | |/ / | |/| | | | | | | | | | | | | | | | | | Have to handle also SkolemTypes there. Fixes #1662.
* | | | Add an error message for illegal start of simple patternMiron Aseev2016-11-162-1/+80
| |_|/ |/| |
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 00:44:09 +0000