aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/core/TyperState.scala
Commit message (Collapse)AuthorAgeFilesLines
* Make PolyTypes subtypes of LambdaTypesMartin Odersky2017-04-061-3/+3
| | | | Also, rename LambdaOver{Type,Term}s to {Type,Term}Lambda
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-061-1/+1
|
* Print typerstate nesting info as part of constr printingMartin Odersky2017-02-081-0/+6
| | | | | When printing info about adding to constraints, show the hashes of the typerstate stack, so that we know where constraints are added.
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-0/+210