aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/typer/EtaExpansion.scala
Commit message (Collapse)AuthorAgeFilesLines
* Names are no longer SeqsMartin Odersky2017-04-111-1/+1
| | | | | | | | Drop Seq implementation of name. This implementation was always problematic because it entailed potentially very costly conversions to toSimpleName. We now have better control over when we convert a name to a simple name.
* Rename NameExtractor -> NameKindMartin Odersky2017-04-111-1/+1
|
* Make freshName semanticMartin Odersky2017-04-111-4/+5
|
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-061-4/+4
| | | | | | MethodTypes have paramTypes whereas PolyTypes have paramBounds. We now harmonize by alling both paramInfos, and parameterizing types that will become common to both.
* Construct MethodTypes from parameter closureMartin Odersky2017-03-141-2/+2
| | | | | To allow for dependencies between method type parameters, construct MethodTypes from a closure that maps the currently constructed MethodType to its parameter types.
* Represent untyped operators as Ident instead of NameGuillaume Martres2017-02-051-1/+1
| | | | | | | | This has two advantages: - We can distinguish BackquotedIdent from Ident, allowing the user to use a defined "type `&`", see testcase. - We get better positions for the operators. This is useful in IDEs, for example to get the type at point.
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-0/+191