aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* New spec and implementation for matching.Martin Odersky2015-02-073-34/+27
* Fix of #329.Martin Odersky2015-02-071-1/+1
* Fixes handling of op-assignments for polymorphic apply/update.Martin Odersky2015-02-073-6/+20
* Merge pull request #346 from dotty-staging/local-lazy-valsodersky2015-02-075-53/+82
|\
| * Fix problems with lazy vals and separate compilationDmitry Petrashko2015-02-031-1/+2
| * Getters shouldn't handle LazyVals.Dmitry Petrashko2015-02-031-1/+1
| * Dotty deviation in shadowing rules for names.Dmitry Petrashko2015-02-031-8/+8
| * Bring back lazyVals. Changed encoding of local lazy vals.Dmitry Petrashko2015-02-034-44/+72
* | Fix implicitScope for the case when implicit scopes cannot be cachedOndrej Lhotak2015-02-051-16/+20
* | Addressing review comments of #336Dmitry Petrashko2015-02-031-1/+3
* | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 04:42:38 +0000