aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/core/ConstraintHandling.scala
Commit message (Expand)AuthorAgeFilesLines
* PolishingsMartin Odersky2017-04-061-2/+2
* Further refactoringsMartin Odersky2017-04-061-11/+11
* Rename PolyParam --> TypeParamRefMartin Odersky2017-04-061-18/+18
* Harmonize paramTypes and paramBoundsMartin Odersky2017-04-061-2/+2
* Better type inference in harmonizeUnionGuillaume Martres2017-03-181-11/+10
* Merge pull request #2045 from dotty-staging/fix-hlist-hmapodersky2017-03-091-1/+23
|\
| * Make alignArgsInAnd safe and turn it on by defaultMartin Odersky2017-03-011-1/+23
* | Drop named type parameters in classesMartin Odersky2017-03-041-3/+0
|/
* Print typerstate nesting info as part of constr printingMartin Odersky2017-02-081-5/+5
* Fix #1891: Don't add redundant constraintMartin Odersky2017-01-101-0/+1
* Move compiler and compiler tests to compiler dirFelix Mulder2016-11-221-0/+458