aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeComparer.scala
Commit message (Expand)AuthorAgeFilesLines
* Fix typo in previous commit.Martin Odersky2015-10-011-1/+1
* Opportunistically merge A & A -> A and B | B -> B in <:<Martin Odersky2015-10-011-0/+6
* Generalize rules for isSubType between NamedTypes.Martin Odersky2015-10-011-16/+2
* Eliminate Config.newMatch optionMartin Odersky2015-09-291-31/+1
* Avoid orphan RefinedThis types in glb/lub.Martin Odersky2015-09-181-2/+2
* Generalize eta reduction to partially applied types.Martin Odersky2015-09-181-0/+7
* Fix problem in typeParamsMartin Odersky2015-09-181-1/+1
* Rewrite compareHK to be kind-correctMartin Odersky2015-09-181-9/+7
* Replace isLambda with ifHKMartin Odersky2015-09-181-4/+3
* Rename Apply -> hkApplyMartin Odersky2015-09-181-4/+4
* Skolemize unstable prefixes in asSeenFromMartin Odersky2015-06-061-0/+5
* Move deskolemization from TypeComparer to TypeOpsMartin Odersky2015-06-061-16/+17
* Split RefinedThis and SkolemTypeMartin Odersky2015-06-061-1/+1
* Disable deskolemization in narrowGADTBoundsMartin Odersky2015-06-061-5/+4
* Make skolemsstate three valuedMartin Odersky2015-06-061-3/+4
* Tighten comparison of skolem typesMartin Odersky2015-06-061-5/+0
* Move findMember count tracking from TypeComparer to ContextMartin Odersky2015-05-211-3/+0
* Rename Reporter#echo -> printlnMartin Odersky2015-05-211-6/+6
* Avoid cycle between findMember and &Martin Odersky2015-05-211-0/+3
* Move threshold values to ConfigMartin Odersky2015-05-211-1/+1
* Generaize canWiden to classBoundsMartin Odersky2015-05-211-3/+6
* Fix isSubType bug related to testLiftedMartin Odersky2015-05-211-3/+4
* TypeComparer: Add support for ErasedValueTypeGuillaume Martres2015-05-011-0/+8
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-16/+16
* Revert following underlyingIfRepeated when matchingMartin Odersky2015-02-071-1/+1
* Tweaks to matchesMartin Odersky2015-02-071-1/+1
* New spec and implementation for matching.Martin Odersky2015-02-071-26/+15
* correct spelling mistakes in commentsOndrej Lhotak2015-01-311-1/+1
* Merge pull request #338 from dotty-staging/fix/t3152-findMemberodersky2015-01-311-18/+28
|\
| * Handle Apply projections also in lower compared type.Martin Odersky2015-01-271-18/+28
* | Fixed problem with ensureSingletonMartin Odersky2015-01-281-1/+1
* | Cleanups prompted by reviews.Martin Odersky2015-01-281-1/+1
* | Fixups taking into account reviewer's comments.Martin Odersky2015-01-271-7/+11
|/
* Some small polishings in TypeComparerMartin Odersky2015-01-241-3/+6
* Fixes suggested by reviews from @smarter.Martin Odersky2015-01-241-2/+2
* Some finetunigs in TypeComparer.Martin Odersky2015-01-241-5/+8
* Small polishings for isSubTypeMartin Odersky2015-01-191-94/+93
* Streamline TypeComparer/ConstraintHandling interface.Martin Odersky2015-01-191-12/+10
* Move PolyParam test later in isSubType and simplify addConstraintMartin Odersky2015-01-191-25/+15
* Refactorings in TypeComparer fourthTryMartin Odersky2015-01-191-23/+20
* Refactor handling of NamedTypes in isSubTypeMartin Odersky2015-01-191-62/+56
* Compare ThisType refactoringMartin Odersky2015-01-191-10/+12
* Fixed soundness hole in TypeComparerMartin Odersky2015-01-191-2/+7
* Avoid adding constraint under typeVarsMissContext is trueMartin Odersky2015-01-181-13/+15
* New constraint handlingMartin Odersky2015-01-181-23/+9
* Allow to merge TypeBounds and ClassInfos in |, &Martin Odersky2015-01-141-8/+8
* Fixed bug/typo in comparing prefixes of ClassInfo types.Martin Odersky2015-01-141-1/+1
* Removed redundant test in isSubType.Martin Odersky2015-01-141-2/+1
* Rename isConstrained -> canConstrain for clarityMartin Odersky2015-01-141-4/+12
* Fix after review: reset state variable needsGcMartin Odersky2015-01-141-1/+4
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 17:58:28 +0000