aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeComparer.scala
Commit message (Expand)AuthorAgeFilesLines
* Add missing case where isHKSubType is neededMartin Odersky2014-06-201-4/+5
* Delete old, disabled code in TypeComparerMartin Odersky2014-06-181-284/+1
* Handling higher-kinded types with lambdasMartin Odersky2014-06-181-91/+65
* Fixing subtyping of refined typesMartin Odersky2014-06-151-40/+146
* Refinements in diagnosticsMartin Odersky2014-05-301-2/+2
* Adding a check that owner chains are correct for -YcheckMartin Odersky2014-05-081-1/+0
* Adding dependency tracking to constraint satisfactionMartin Odersky2014-05-081-28/+53
* Handling of higher-kinded types in intersections and unions.Martin Odersky2014-05-081-3/+17
* Optimization: Avoid substituting when checking satisfiabilityMartin Odersky2014-05-081-36/+59
* Tightened satisfiablity checks.Martin Odersky2014-05-081-5/+43
* Rename methods on FreshContext to make mutation obviousDmitry Petrashko2014-03-271-1/+1
* Fix of Fix of t1236: higher-kindedMartin Odersky2014-03-211-3/+3
* Refactored lookupRefinedMartin Odersky2014-03-211-2/+2
* Fix of t1236: higher-kindedMartin Odersky2014-03-211-15/+29
* Fix of t112606A - path dependent typesMartin Odersky2014-03-211-1/+14
* Fix of t0625 - compare method typesMartin Odersky2014-03-211-2/+6
* Merge refined types when distributing via "|".Martin Odersky2014-03-201-12/+23
* Fix of accidental omission in TypeComparerMartin Odersky2014-03-071-1/+3
* Fix problem comparing overloaded TermRefsMartin Odersky2014-03-071-3/+19
* Fix of #34Martin Odersky2014-03-031-2/+3
* Rename baseType -> baseTypeRefMartin Odersky2014-03-021-1/+1
* Fixing glb/lub of TypeBoundsMartin Odersky2014-03-011-21/+8
* Cleanup of isSubTypeMartin Odersky2014-02-261-24/+19
* Performance improvements: Split long TypeMap#mapOver and move hot fields into...Martin Odersky2014-02-261-17/+20
* Reord of superIdsMartin Odersky2014-02-251-2/+2
* Performance improvement: Streamline successful toplevel subtype checksMartin Odersky2014-02-241-6/+19
* More statistics for created and retained treesMartin Odersky2014-02-241-1/+1
* Bug fix: fix of typo in secondTryMartin Odersky2014-02-211-1/+1
* Bug fix: Logic for taking variance into account for TypeBounds comparisons wa...Martin Odersky2014-02-211-6/+3
* Reverted: Avoid using TypeBounds in alias refinements.Martin Odersky2014-02-211-28/+16
* Performance improvement: inline hasAltWithMartin Odersky2014-02-211-1/+6
* Avoid using TypeBounds in alias refinements.Martin Odersky2014-02-211-16/+28
* Avoid forming And/Or types with equal operands.Martin Odersky2014-02-141-1/+1
* Streamlined treatment of ThisType in subtype checks.Martin Odersky2014-02-141-28/+13
* Two performance optimizationsMartin Odersky2014-02-131-12/+11
* New scheme for attachments.Martin Odersky2014-02-111-2/+1
* Make Definitions load all symbols in current runId.Martin Odersky2014-02-101-1/+1
* Fix bug for reading type arguments in ClassfileParserMartin Odersky2014-02-061-3/+6
* Commenting out unused alternative isSubType implementation.Martin Odersky2014-02-031-281/+283
* Fix problems with TypeVar instantiationMartin Odersky2014-02-031-5/+8
* Optimize subtype test between refined types with multiple refinementsMartin Odersky2014-02-031-8/+37
* Relaxing check that implicits must have explicit return typeMartin Odersky2014-02-021-1/+1
* Accept method types directly in isApplicable.Martin Odersky2014-01-271-14/+15
* Instrumentation on total isSubType calls.Martin Odersky2014-01-261-4/+9
* Some more statistic samplingMartin Odersky2014-01-261-2/+16
* Breaking out gc() method in TyperState.Martin Odersky2014-01-261-3/+13
* Fixes to constraint handling.Martin Odersky2014-01-261-7/+13
* Fixing two bugs in subtype checking that cancelled each other out.Martin Odersky2014-01-261-8/+7
* Try to dealias LHS in <:< where possible.Martin Odersky2014-01-261-4/+4
* Break out suboperations in separate methods...Martin Odersky2014-01-261-66/+90
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 12:11:32 +0000