aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix problem in constraint handlingMartin Odersky2015-01-092-80/+105
* Optimize for case where RefinedThis is absentMartin Odersky2015-01-092-3/+9
* Refacttored skolemization logicMartin Odersky2015-01-085-133/+150
* Remove choice between new and old scheme for subtyping refined types.Martin Odersky2015-01-082-189/+17
* Simplify and fix bounds propagation in constraints.Martin Odersky2015-01-081-117/+146
* New scheme for subtyping refined types.Martin Odersky2015-01-082-53/+139
* Add transitive check for cycles in constraints.Martin Odersky2015-01-082-1/+53
* Add deSkolemize method.Martin Odersky2015-01-082-1/+103
* Fixed bug that caused error message to be suppressed.Martin Odersky2015-01-081-9/+8
* Deleted diagnostics output that caused cyclic referencesMartin Odersky2015-01-061-1/+0
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 15:01:37 +0000