aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/core/Constraint.scala
Commit message (Collapse)AuthorAgeFilesLines
* Further refactoringsMartin Odersky2017-04-061-4/+4
| | | | | - Use TypeLambda instead of PolyType. - Further harmonize factory operations
* Make PolyTypes subtypes of LambdaTypesMartin Odersky2017-04-061-9/+9
| | | | Also, rename LambdaOver{Type,Term}s to {Type,Term}Lambda
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-061-21/+21
|
* Make alignArgsInAnd safe and turn it on by defaultMartin Odersky2017-03-011-6/+0
| | | | | | | Turned out hmaps.scala requires the arg alignment to compile. So we have our first counterexample that we cannot drop this hack. Now it is made safe in the sense that no constraints get lost anymore.
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-0/+154