aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/typer/Dynamic.scala
Commit message (Collapse)AuthorAgeFilesLines
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-061-1/+1
| | | | | | MethodTypes have paramTypes whereas PolyTypes have paramBounds. We now harmonize by alling both paramInfos, and parameterizing types that will become common to both.
* Address reviewer commentsMartin Odersky2017-01-101-2/+3
|
* Change scheme to use SelectableMartin Odersky2017-01-071-20/+21
| | | | | Use base types instead of implicits. This is more robust in the presence of type abstraction.
* CleanupsMartin Odersky2017-01-051-2/+2
|
* Implement structural type member accessMartin Odersky2017-01-051-2/+62
| | | | New scheme for implementing structural type member access.
* Make errors are not swept under the carpetMartin Odersky2016-12-171-6/+5
| | | | | | | | | 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/+104
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 16:31:15 +0000