aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Handle outer this in InlinerMartin Odersky2016-10-029-36/+46
| | | | Also, do some refactorings and fix some bugs in Inliner.
* Drop Inlined when homogenizeMartin Odersky2016-10-021-2/+7
| | | | Pickler drops Inlined nodes, so homogenize needs to do the same.
* Harden Inliner.sourceFileMartin Odersky2016-10-021-1/+1
|
* Don't inline after typer.Martin Odersky2016-10-021-1/+3
| | | | | Safety measure: Inline only during typer, not when code is generated in later phases.
* Add comment missing from last PRMartin Odersky2016-10-021-0/+12
|
* Remove redundanr testMartin Odersky2016-10-021-17/+0
| | | | Same test with separate compilation is in inlinePower
* Fix some problems in InlinerMartin Odersky2016-10-024-27/+33
| | | | | | | | | | | | | | 1. Don't retypecheck the arguments of an inlined epressions. These might be very large (e.g. inlined track, or traceIndented in dotty)/ 2. Keep track of inlined calls in context instead of Inlined nodes. We only need the to compute the source file, the rest is irrelevant. 3. In Def bindings of inlined by-name parameters, change owner of right hand side. Otherwise we get incorrect owner chains. 4. In TreeTypeMap, treat Inlined in the same way as a block.
* Neg test demonstrating inline positions under cross-compilationMartin Odersky2016-10-022-0/+15
|
* Set the positions of inlined trees wehn read form TastyMartin Odersky2016-10-0210-162/+107
| | | | | | | | | | | This required a major change in the way positions are handled, as the previous scheme did not allow to read the positions of arbitrary subtrees selectively. Fortunately, it's altogether a major simplification. Also, this fixed a bug in the previous scheme, where positions were generated before compactification, resulting in addresses being wrong.
* Add check filesMartin Odersky2016-10-022-0/+6
|
* Support separate compilationMartin Odersky2016-10-026-18/+52
| | | | | Inline trees can now be read form TASTY. However, positions are not set correctly. This remains to be implemented.
* Simplify enclosingInlinedsMartin Odersky2016-10-023-24/+10
| | | | | - represent directly as a list - can replace separate inlineCount
* Fix stack overflow on recurs in namerFelix Mulder2016-10-021-4/+4
|
* Don't expand stat before recursion in namerFelix Mulder2016-10-021-2/+2
| | | | | Dottydoc needs the unexpanded trees so that it can have access to the attached docstring
* Recursive inlining testsMartin Odersky2016-10-022-0/+32
| | | | | pos/power inlines with alomst no extraneous boilerplate. neg/power gives an error that maximal numbers of inlines was exceeded.
* Avoid simple aliases in bindingsMartin Odersky2016-10-021-53/+66
| | | | | | | | | Avoid bindings such as type T = T' val x: x'.type = x' Required some refactorings in Inliner.
* Implement inline ifMartin Odersky2016-10-022-1/+14
| | | | Inline conditionals with constant conditions
* Print inlining positions in error messagesMartin Odersky2016-10-025-23/+42
| | | | | Error messages now print the inlined positions as well as the position of the inlined call, recursively.
* Track Inlined nodes in ctx.sourceMartin Odersky2016-10-023-4/+30
|
* Add Inlined tree nodeMartin Odersky2016-10-0211-7/+98
| | | | | | | | | ... to tag inlined calls. Perform typings and transformations of inlined calls in a context that refers to the INlined node in its InlinedCall property. The idea is that we can use this to issue better error positions. This remains to be implemented.
* Make Context#moreProperties strongly typedMartin Odersky2016-10-029-26/+39
| | | | To do this, factor out Key from Attachment into a new type, Property.Key.
* First version of inline schemeMartin Odersky2016-10-0215-12/+325
| | | | | To be done: outer accessors To be done: error positions
* Namer refactoingMartin Odersky2016-10-021-30/+31
| | | | | - DRY - Refactor out special path operations
* Merge pull request #1539 from dotty-staging/drop-modifiersDmitry Petrashko2016-09-3011-128/+111
|\ | | | | Drop modifiers
| * Make namePos a member of memberDefMartin Odersky2016-09-293-14/+20
| | | | | | | | | | That way it can be accessed by other parts which deal with error messages.
| * Make Modifiers untyped only.Martin Odersky2016-09-284-63/+58
| | | | | | | | | | The typed variant is no longer needed. This means modifiers can safely be ignored in typed trees if we so choose.
| * Eliminate tpd.Modifiers.Martin Odersky2016-09-263-10/+10
| | | | | | | | | | | | Backend does not need them after all, can just use nulls there. So the functionality is only used for printing, and it makes sense to move everything there.
| * Drop tpd.modsDecoMartin Odersky2016-09-268-46/+28
| | | | | | | | Prefer to access directly via symbol.
* | Merge pull request #1538 from dotty-staging/simplify-treesodersky2016-09-2623-254/+86
|\| | | | | Simplify trees
| * Simplify typedSelect logicMartin Odersky2016-09-251-25/+22
| |
| * Eliminate SelectFromTypeTree from docsMartin Odersky2016-09-253-7/+3
| |
| * Get rid of Thicket(List(...)) as an expressionMartin Odersky2016-09-252-6/+6
| | | | | | | | Thicket has a vararg constructor, so this syntax is redundant.
| * Get rid of SelectFromType tree node.Martin Odersky2016-09-2514-115/+51
| | | | | | | | | | | | Roll its functionality into Select. Since we can always tell whether a tree is a type or term there is no expressiveness gained by having a separate tree node.
| * Drop PairMartin Odersky2016-09-2516-131/+34
|/ | | | | | | | Drop tree node class 'Pair'. It was used only in imports, where it can easily be replaced by Thicket. The envisaged use for generic pairs is almost sure better modelled by a "Pair" class in Dotty's standard library.
* Merge pull request #1536 from dotty-staging/fixes-for-treesodersky2016-09-2522-240/+367
|\ | | | | Make positions fit for meta
| * Address reviewers commentsMartin Odersky2016-09-252-7/+14
| |
| * Specially mark functions coming from wildcard expressionsMartin Odersky2016-09-243-4/+13
| | | | | | | | | | | | That way, we can check functions for the ordering requirement as well. We only have to remember that the last parameter of a wildcard function does not precede its body (because the parameter is in fact part of the body).
| * Make InterpolatedString conform to ordering requirementMartin Odersky2016-09-246-42/+53
| | | | | | | | Arrange its sub-elements so that they appear strictly left to right.
| * Check that (most) positions are non-overlapping.Martin Odersky2016-09-242-10/+30
| | | | | | | | | | | | | | | | | | | | | | | | | | Check that children of a node have non-overlapping positions and that positions of successive children are monotonically increasing. This holds currently except for 3 exceptions: - Trees coming from Java as the Java parser also does desugarings which copy trees. - Functions coming from wildcard expressions - Interpolated strings We'll see whether we can do something about the latter two.
| * Swap order of elements in AnnotatedMartin Odersky2016-09-2413-32/+32
| | | | | | | | | | | | | | | | | | Now it's annotated first, annotation second. This is in line with AnnotatedType and in line with the principle that tree arguments should come in the order they are written. The reason why the order was swapped before is historical - Scala2 did it that way.
| * Make positions fit for metaMartin Odersky2016-09-2415-163/+243
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | In particular: - get rid of envelope, it's too complicated and hides too many errors - check that everywhere in parsed trees the position range of a parent node contains the position ranges of its children. - check that all non-empty trees coming from parser have positions. The commit contains lots of fixes to make these checks pass. In particular, it changes the scheme how definitions are positioned. Previously the position of a definition was the token range of the name defined by it. That does obviously not work with the parent/children invariant. Now, the position is the whole definition range, with the point at the defined name (care is taken to not count backticks). Namer is changed to still use the token range of defined name as the position of the symbol.
| * Fix isWildcardMartin Odersky2016-09-241-1/+1
|/ | | | | Code inspection revealed that it did the wrong thing for annotated trees, looking in the annotation instead of in the argument.
* Merge pull request #1534 from OlivierBlanvillain/clean-up-printersFelix Mulder2016-09-2325-30/+26
|\ | | | | Clean up config.Printers imports
| * Clean up config.Printers importsOlivier Blanvillain2016-09-2325-30/+26
| | | | | | | | And remove the not used Printer#echo
* | Merge pull request #1530 from MasseGuillaume/feature/sbt-bridge-reporterGuillaume Martres2016-09-228-2/+155
|\ \ | | | | | | sbt bridge reporter
| * | delegate compilation info to sbt reporterGuillaume Massé2016-09-224-10/+72
| | |
| * | cleanBridge command to clean sbt cacheGuillaume Massé2016-09-211-0/+17
| | |
| * | scripted test to check for delegation to the sbt compiler reporterGuillaume Massé2016-09-215-0/+74
| | |
* | | Merge pull request #1477 from dotty-staging/fix-bootstrap-3odersky2016-09-214-31/+41
|\ \ \ | |/ / |/| | Fix bootstrap, take 3
| * | Fix CollectSuperMartin Odersky2016-09-211-7/+8
| | | | | | | | | | | | | | | Add comment what it is supposed to achieve and change the implementation to follow the comment.
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-21 17:51:28 +0000