aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Even more careful handling of tailcalls.Dmitry Petrashko2015-02-031-19/+23
* Fix i321, tail call needs to be careful with abstracting over class type argu...Dmitry Petrashko2015-02-031-6/+10
* Allow FullParametrization to not parametrize over class targs.Dmitry Petrashko2015-02-031-9/+11
* correct spelling mistakes in commentsOndrej Lhotak2015-01-312-10/+10
* Merge pull request #343 from dotty-staging/workaround-324odersky2015-01-311-0/+3
|\
| * workaround #342Dmitry Petrashko2015-01-301-0/+3
* | Merge pull request #338 from dotty-staging/fix/t3152-findMemberodersky2015-01-313-19/+41
|\ \
| * | Take constrained parameter bounds into account for findMemberMartin Odersky2015-01-271-0/+12
| * | Handle Apply projections also in lower compared type.Martin Odersky2015-01-271-18/+28
| * | Use normnalized type to report type errors.Martin Odersky2015-01-271-1/+1
* | | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-30 15:26:39 +0000