aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeComparer.scala
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #174 from dotty-staging/rebDmitry Petrashko2014-10-111-31/+49
|\
| * Make rejection of deep subtype call stack optionalMartin Odersky2014-10-111-1/+1
| * Fix problem in unapply typing.Martin Odersky2014-09-231-3/+5
| * Generalize equivalentThisTypesMartin Odersky2014-08-311-13/+10
| * Fixes to erasure to make -Ycheck:all work.Martin Odersky2014-08-281-0/+8
| * Make ThisTypes take TypeRefs instead of ClassSymbolsMartin Odersky2014-08-271-9/+9
| * Fixes to erasureMartin Odersky2014-08-251-2/+3
| * Fixes to erasureMartin Odersky2014-08-241-4/+9
| * More targeted eta-liftingMartin Odersky2014-08-101-3/+3
| * Detect cycles and protected legal ones with LazyRefsMartin Odersky2014-08-081-1/+6
* | Fix isSubType(A#X, B#X) not checking if A <: BGuillaume Martres2014-10-051-0/+1
|/
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 06:27:26 +0000