aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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.
| * | Avoid stale symbol errors for Scala-2 compiled symbolsMartin Odersky2016-09-191-0/+1
| | | | | | | | | | | | | | | | | | | | | | | | Wehn compiling dotty repeatedly using dotc.Bench, we got a stale symbol error involving an outer field of a Scala class. These can always be assumed to be current, as we would not think to recompile Scala2 classes mixed with dotty classes in the same session (we'd need two concurrent compilers for that).
| * | Fix select staticMartin Odersky2016-09-192-26/+27
| | | | | | | | | | | | | | | | | | Need to do time travel to find out whether members were created as static symbols. After LambdaLift and Flatten most symbols are static anyway.
| * | Fix handling of superCalls.Dmitry Petrashko2016-09-192-3/+10
| | | | | | | | | | | | | | | 1. There may be calls to super on non-this. 2. there may be calls to in-dirrect super-traits.
* | | Merge pull request #1529 from dotty-staging/remove/scoverage-sbt-pluginGuillaume Martres2016-09-211-2/+0
|\ \ \ | |/ / |/| | Remove scoverage sbt plugin
| * | Remove scoverage sbt pluginGuillaume Martres2016-09-211-2/+0
| | | | | | | | | It doesn't work.
* | | Merge pull request #1522 from dotty-staging/fix-#1503odersky2016-09-189-11/+90
|\ \ \ | | | | | | | | Fix #1503: be more careful where to insert apply
| * | | Address reviewer commentsMartin Odersky2016-09-182-3/+8
| | | |
| * | | Fix #1503 - be careful where to insert an apply.Martin Odersky2016-09-179-12/+86
|/ / / | | | | | | | | | | | | | | | `apply` nodes should not be inserted in the result parts of a block, if-then-else, match, or try. Instead they should be added to the surrounding statement.
* | | Merge pull request #1465 from dotty-staging/fix-#1457odersky2016-09-169-51/+110
|\ \ \ | | | | | | | | Fix #1457: Three incompatbilities with scalac
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-11 22:53:13 +0000