aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeComparer.scala
Commit message (Expand)AuthorAgeFilesLines
* 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
* Two new hooks in ConstraintHandlingMartin Odersky2015-01-131-2/+2
* Made constraint data structures pluggable.Martin Odersky2015-01-121-7/+0
* Simplified condition in isSubType.Martin Odersky2015-01-101-2/+2
* Rename RefinedThis -> SkolemTypeMartin Odersky2015-01-101-3/+3
* Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-101-3/+3
* Split off ConstraintHandling into separate trait.Martin Odersky2015-01-101-258/+1
* Made refinement subtype fastpath insensitive to RefineedThis#binder.Martin Odersky2015-01-091-5/+12
* TypeComparer cleanups.Martin Odersky2015-01-091-54/+56
* Made fast path for refined subtype checking configurable.Martin Odersky2015-01-091-2/+2
* Remove unnecessary nested methods in TypeComparer.Martin Odersky2015-01-091-497/+478
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 05:34:37 +0000