aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/ConstraintHandling.scala
Commit message (Expand)AuthorAgeFilesLines
* Clean up config.Printers importsOlivier Blanvillain2016-09-231-1/+1
* Avoid dealiasing on type applicationMartin Odersky2016-07-121-5/+7
* Address reviewers commentsMartin Odersky2016-07-111-7/+1
* Fix SI-2712Martin Odersky2016-07-111-2/+35
* Refactor Typevar instantiationMartin Odersky2016-07-111-0/+51
* Less eager removal of type parameters from constraintMartin Odersky2016-07-111-4/+11
* Remove refinement encoding of hk typesMartin Odersky2016-07-111-2/+0
* When comparing types revert eta-expansion as neededMartin Odersky2016-07-111-3/+8
* Make Constraint#bounds work for aliasesMartin Odersky2016-07-111-3/+3
* Start new, direct HK schemeMartin Odersky2016-07-111-2/+2
* Avoid accidental creation of hk typesMartin Odersky2016-07-111-0/+2
* Add a second betaReduceMartin Odersky2016-07-111-1/+1
* Fixes to BetaReduce and asMemberOf; add a second betaReduceMartin Odersky2016-07-111-0/+2
* Fix documentation of ConstraintHandling#addConstraintGuillaume Martres2016-02-081-1/+1
* Avoid `related` buffer in `addConstraint`.Martin Odersky2016-02-051-11/+17
* Narrow problematic constraint instead of widening it.Martin Odersky2016-02-051-8/+22
* Fix docs and namingMartin Odersky2016-02-051-2/+4
* Prune constraints that could turn into cyclesMartin Odersky2016-02-051-1/+48
* Switch to new hk scheme.Martin Odersky2015-12-061-0/+10
* Freeze constraints when checking parameter matching and subsumption.Martin Odersky2015-10-011-0/+8
* Fix compilation error.Martin Odersky2015-10-011-1/+1
* 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-05-12 15:25:56 +0000