aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/printing
Commit message (Collapse)AuthorAgeFilesLines
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-2210-2129/+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.
* Make This and Super take idents as qualifier/mixinMartin Odersky2016-11-211-1/+4
| | | | | 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-171-0/+4
|
* Pickle and unpickle type treesMartin Odersky2016-11-162-13/+49
| | | | | | | 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-111-11/+14
| | | | | | | | 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 pull request #1655 from dotty-staging/change-future-defs-okodersky2016-11-051-1/+1
|\ | | | | Fix #1637: Future defs are always OK
| * Fix #1637: Future defs are always OKMartin Odersky2016-10-311-1/+1
| | | | | | | | | | | | | | 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.
* | Don't convert to TypeTrees before picklingMartin Odersky2016-10-311-1/+4
| | | | | | | | | | | | 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-201-3/+5
| | | | | | | | | | This is needed to figure out where the defined name is in a definition.
* | Mention Inlined transformation in docsMartin Odersky2016-10-181-1/+1
| |
* | Keep position always with termMartin Odersky2016-10-171-1/+1
| | | | | | | | | | | | When printing with -Yprintpos always have the position follow immediately the term with the position. Makes it easier to interpret diffs.
* | Drop original on TypeTreeMartin Odersky2016-10-151-2/+2
| | | | | | | | | | | | | | | | 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-151-3/+5
|/ | | | | | | 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.
* Use => instead of -> for PolyTypesMartin Odersky2016-10-122-21/+6
| | | | | | If PolyTypes are to become value types we want to keep `=>` as the arrow for consistency. `->` should be reserved for PolyTypes that do not have side effects on instantiation.
* Merge GenericType, TypeLambda and PolyTypeMartin Odersky2016-10-122-13/+5
|
* Don't let import symbols go staleMartin Odersky2016-10-121-1/+1
| | | | | Otherwise we can run into problems when checking imports for e.g. scala2Mode in later runs.
* Remove unnecessary printing of hints for `-explain`Felix Mulder2016-10-101-1/+1
|
* Change `typeDiff` to highlight changes less than 50%Felix Mulder2016-10-101-6/+6
|
* Insert message "inline" into multiline code at pointFelix Mulder2016-10-102-7/+7
|
* Improve positions for MemberDefs using `namePos`Felix Mulder2016-10-101-6/+4
|
* Get rid of `kind` in `MessageContainer`Felix Mulder2016-10-101-1/+4
|
* Don't force Message twice in MessageContainerFelix Mulder2016-10-101-1/+1
|
* Fix reporting of ErrorTypes in highlighted segmentsFelix Mulder2016-10-102-28/+36
|
* Make `typeDiff` aware of placeholder typesFelix Mulder2016-10-101-19/+36
|
* Refactor explanation interpolatorFelix Mulder2016-10-102-48/+85
|
* Unrainbow syntax highlightingFelix Mulder2016-10-101-1/+3
|
* Better operator highlightingFelix Mulder2016-10-101-4/+5
|
* Improve syntax highlighting on polymorphic defsFelix Mulder2016-10-101-2/+5
|
* Improve syntax highlighting for ValDefsFelix Mulder2016-10-101-17/+37
|
* Make relevant parts of compiler conform to new error handlingFelix Mulder2016-10-101-2/+3
|
* Make `FancyConsoleReporter` and `Highlighting` obey color settingFelix Mulder2016-10-102-12/+34
| | | | | | | Fancy console reporter and the string interpolator for highlighting now obey the color setting - this means that the next step towards unifying the reporters is to make sure the tests work with `FancyConsoleReporter` under the `-color:never` flag.
* Add modifiers to highlightingFelix Mulder2016-10-101-31/+39
|
* Add coloring utilFelix Mulder2016-10-101-0/+60
|
* Refactor common error messages to `diagnostic.basic`Felix Mulder2016-10-101-1/+1
|
* Rename Diagnostic to diagnostic.MessageFelix Mulder2016-10-101-2/+3
|
* Add ability to choose between fancy and non-fancy outputFelix Mulder2016-10-101-2/+3
|
* Simplify "hl" interpolatorFelix Mulder2016-10-101-11/+2
|
* Add highlighting for `???`Felix Mulder2016-10-101-1/+6
|
* Return iterable from highlighting function instead of vectorFelix Mulder2016-10-101-2/+2
|
* Add highlighter string interpolatorFelix Mulder2016-10-101-0/+16
|
* Make inline a keywordMartin Odersky2016-10-021-1/+1
| | | | | | | `inline` is now a modifier keyword. To keep disruption tolerable, we still allow `@inline` as an annotation as well. Other uses of `inline` are supported only under `-language:Scala2` and are rewritten to identifiers in backticks.
* Juggling with close in RefinedPrinterMartin Odersky2016-10-021-10/+7
| | | | | | Because of different close seqences before and after pickling we could get spurious differences, where in one file things were put on one line, and in the pther there was a linebreak.
* Fix problem with homogenize treesMartin Odersky2016-10-021-1/+1
|
* Drop Inlined when homogenizeMartin Odersky2016-10-021-2/+7
| | | | Pickler drops Inlined nodes, so homogenize needs to do the same.
* Add Inlined tree nodeMartin Odersky2016-10-021-0/+2
| | | | | | | | | ... 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.
* Eliminate tpd.Modifiers.Martin Odersky2016-09-261-1/+6
| | | | | | 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-261-2/+4
| | | | Prefer to access directly via symbol.
* Get rid of SelectFromType tree node.Martin Odersky2016-09-251-3/+2
| | | | | | 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.
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-22 17:10:53 +0000