aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/OrderingConstraint.scala
Commit message (Expand)AuthorAgeFilesLines
* Removed TrackingConstraintMartin Odersky2015-01-311-0/+4
* Refinement of dependent parameter handling in OrderingConstraintMartin Odersky2015-01-281-8/+59
* Fixups taking into account reviewer's comments.Martin Odersky2015-01-271-6/+6
* Replace only substitutes top-level types.Martin Odersky2015-01-241-32/+53
* New constraint implementation: OrderingConstraintMartin Odersky2015-01-241-0/+481