aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/OrderingConstraint.scala
Commit message (Expand)AuthorAgeFilesLines
* Clean up config.Printers importsOlivier Blanvillain2016-09-231-1/+0
* Implement constraint mergingMartin Odersky2016-08-261-2/+42
* Less eager removal of type parameters from constraintMartin Odersky2016-07-111-15/+11
* Avoid orphan parameters in Constraint#replaceMartin Odersky2016-07-111-1/+1
* Cleanup of Signature matchingMartin Odersky2016-07-111-1/+1
* Refactoring of PolyType and TypeLambdaMartin Odersky2016-07-111-24/+24
* Implement toString for OrderingConstraintMartin Odersky2015-10-011-1/+18
* Rename SimpleMap#mapValues -> mapValuesNowMartin Odersky2015-06-231-1/+1
* Polish code.Martin Odersky2015-06-231-2/+2
* Avoid junk produced by Constraint#replace.Martin Odersky2015-06-221-4/+26
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-96/+96
* Make all Dotty source files end in newline.Dmitry Petrashko2015-04-091-1/+1
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-13 06:55:20 +0000