aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/ConstraintHandling.scala
Commit message (Expand)AuthorAgeFilesLines
* addToConstraint: Disable debug message by defaultGuillaume Martres2015-05-031-1/+1
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-19/+19
* Cleanups prompted by reviews.Martin Odersky2015-01-281-39/+28
* Fixups taking into account reviewer's comments.Martin Odersky2015-01-271-1/+2
* Fixes suggested by reviews from @smarter.Martin Odersky2015-01-241-1/+1
* New constraint method: narrowBoundMartin Odersky2015-01-231-36/+33
* Streamline TypeComparer/ConstraintHandling interface.Martin Odersky2015-01-191-9/+3
* Make checkPropagated configurableMartin Odersky2015-01-191-2/+2
* Move PolyParam test later in isSubType and simplify addConstraintMartin Odersky2015-01-191-15/+9
* Avoid adding constraint under typeVarsMissContext is trueMartin Odersky2015-01-181-1/+4
* Removed check from addConstraintMartin Odersky2015-01-181-13/+1
* New constraint handlingMartin Odersky2015-01-181-202/+192
* Rename isConstrained -> canConstrain for clarityMartin Odersky2015-01-141-1/+1
* Two new hooks in ConstraintHandlingMartin Odersky2015-01-131-1/+7
* Added alternative TrackingConstraintMartin Odersky2015-01-131-1/+7
* Streamline unificationMartin Odersky2015-01-121-35/+32
* Made constraint data structures pluggable.Martin Odersky2015-01-121-6/+12
* Split off ConstraintHandling into separate trait.Martin Odersky2015-01-101-0/+275
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 04:33:55 +0000