aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fixed problem with ensureSingletonMartin Odersky2015-01-283-7/+5
* Cleanups prompted by reviews.Martin Odersky2015-01-287-46/+43
* 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-245-6/+7
* 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
* Moved previously failing tests to posMartin Odersky2015-01-185-66/+6
* 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
* New test: moduleSubtypingMartin Odersky2015-01-142-0/+24
* 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-128-456/+521
* 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-108-47/+40
* Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-109-164/+49
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-30 05:47:08 +0000