aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala
Commit message (Collapse)AuthorAgeFilesLines
* Make module var names semanticMartin Odersky2017-04-111-2/+1
|
* Make freshName semanticMartin Odersky2017-04-111-1/+1
|
* Add Variant NameInfoMartin Odersky2017-04-111-5/+1
| | | | Plus further bug fixes.
* Handle printing of term paramrefsMartin Odersky2017-04-101-5/+7
| | | | These were not printed before, fell back to toString method.
* Further refactoringsMartin Odersky2017-04-061-2/+2
| | | | | - Use TypeLambda instead of PolyType. - Further harmonize factory operations
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-061-5/+5
|
* Remove parameter from lambda typeMartin Odersky2017-04-061-1/+1
|
* Get rid of Name parameter for LambdaType and ParamRefMartin Odersky2017-04-061-1/+1
| | | | Use an abstract type instead.
* ParamType refactoringsMartin Odersky2017-04-061-2/+2
| | | | Trying to bring PolyTypes closer to TypeLambdas
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-061-2/+2
| | | | | | MethodTypes have paramTypes whereas PolyTypes have paramBounds. We now harmonize by alling both paramInfos, and parameterizing types that will become common to both.
* Break out functionality from MethodTypeMartin Odersky2017-04-061-3/+3
| | | | | and generalize MethodParam to ParamRef, and TypeParamInfo to ParamInfo
* Encode variances in parameter namesMartin Odersky2017-04-061-4/+4
| | | | | | | | | | This leads to a slight overall simplification, harmonizes pickle format with internal representation, and makes MethodTypes and PolyTypes more similar to each other. I believe the change is useful as it is, but in particular it is a useful step for an eventual unification of MethodTypes and PolyTypes.
* -Yplain-printer: do not print positions by defaultGuillaume Martres2017-03-121-1/+1
| | | | You can still have positions printed by explictly passing -Yprintpos
* Fix printing of refined applied typesMartin Odersky2017-02-281-1/+3
| | | | | | If an applied type has a refinement, it was printed before as one large refinement type including the type parameter bindings.
* Merge pull request #1974 from dotty-staging/fix/ctx-captureodersky2017-02-211-0/+12
|\ | | | | Avoid accidental captures of Context
| * ImportInfo: removed ctx parameter from constructorGuillaume Martres2017-02-191-0/+12
| | | | | | | | | | ImportInfo#toString required the ctx parameter,so it was replaced by ImportInfo#toText.
* | Tweak printing of polymrophic methodsMartin Odersky2017-02-141-1/+2
|/ | | | Omit the `=>' if a PolyType has a MethodType as result type.
* Implement SearchResult.showMartin Odersky2017-02-081-0/+18
|
* Make errors are not swept under the carpetMartin Odersky2016-12-171-1/+1
| | | | | | | | | Typer#ensureReported's comment outlines an example where errors could go unreported, resulting in error trees after typer without any reported error messages. This commit makes sure that at least one error is reported if a tree node has an error type. Fixes #1802.
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-0/+500
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 14:33:30 +0000