aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #331 from dotty-staging/fix/refined-subtypingodersky2015-01-3129-1148/+2071
|\
| * Fixed problem with ensureSingletonMartin Odersky2015-01-282-4/+4
| * Cleanups prompted by reviews.Martin Odersky2015-01-286-45/+39
| * Refinement of dependent parameter handling in OrderingConstraintMartin Odersky2015-01-281-8/+59
| * Fixups taking into account reviewer's comments.Martin Odersky2015-01-277-22/+27
| * Added explanation to comment.Martin Odersky2015-01-241-1/+2
| * Replace only substitutes top-level types.Martin Odersky2015-01-242-33/+55
| * Some small polishings in TypeComparerMartin Odersky2015-01-242-4/+7
| * Fixes suggested by reviews from @smarter.Martin Odersky2015-01-243-3/+5
| * Some finetunigs in TypeComparer.Martin Odersky2015-01-241-5/+8
| * New constraint implementation: OrderingConstraintMartin Odersky2015-01-245-64/+546
| * New constraint method: narrowBoundMartin Odersky2015-01-233-36/+48
| * Plugging a possible hole in unifyMartin Odersky2015-01-231-1/+1
| * Small polishings for isSubTypeMartin Odersky2015-01-191-94/+93
| * Streamline TypeComparer/ConstraintHandling interface.Martin Odersky2015-01-192-21/+13
| * Make checkPropagated configurableMartin Odersky2015-01-192-2/+8
| * Move PolyParam test later in isSubType and simplify addConstraintMartin Odersky2015-01-192-40/+24
| * 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-193-4/+12
| * Removed checkBound testsMartin Odersky2015-01-181-26/+5
| * Dropped non-sensical transform in unifyMartin Odersky2015-01-181-3/+1
| * Avoid adding constraint under typeVarsMissContext is trueMartin Odersky2015-01-182-14/+19
| * Removed check from addConstraintMartin Odersky2015-01-181-13/+1
| * New constraint handlingMartin Odersky2015-01-1813-825/+382
| * Fix skolemization logic.Martin Odersky2015-01-141-4/+1
| * Allow to merge TypeBounds and ClassInfos in |, &Martin Odersky2015-01-143-8/+12
| * 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-142-5/+13
| * Fix after review: reset state variable needsGcMartin Odersky2015-01-141-1/+4
| * Two new hooks in ConstraintHandlingMartin Odersky2015-01-132-3/+9
| * Added alternative TrackingConstraintMartin Odersky2015-01-136-32/+550
| * Added structural equals method to PolyParamsMartin Odersky2015-01-131-0/+6
| * Streamline unificationMartin Odersky2015-01-122-36/+33
| * Made constraint data structures pluggable.Martin Odersky2015-01-127-456/+508
| * Adapted Skolemization to new handling of skolems.Martin Odersky2015-01-111-12/+24
| * Simplified condition in isSubType.Martin Odersky2015-01-101-2/+2
| * Rename RefinedThis -> SkolemTypeMartin Odersky2015-01-107-46/+39
| * Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-108-163/+48
| * Split off ConstraintHandling into separate trait.Martin Odersky2015-01-104-272/+285
| * Removed some checksMartin Odersky2015-01-102-12/+1
| * Made refinement subtype fastpath insensitive to RefineedThis#binder.Martin Odersky2015-01-092-6/+13
| * TypeComparer cleanups.Martin Odersky2015-01-091-54/+56
| * More aggressive reduction in lookupRefinedThis.Martin Odersky2015-01-093-26/+42
| * Simplification for lookupRefinedMartin Odersky2015-01-091-5/+1
| * Made fast path for refined subtype checking configurable.Martin Odersky2015-01-092-2/+6
| * Remove unnecessary nested methods in TypeComparer.Martin Odersky2015-01-091-497/+478
| * New fast path for checking refined types.Martin Odersky2015-01-091-8/+44
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-11 11:32:35 +0000