aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeComparer.scala
Commit message (Expand)AuthorAgeFilesLines
* Handle subtyping of LazyVals that are in train of being evaluated.Martin Odersky2016-02-051-2/+5
* Merge pull request #1004 from dotty-staging/linker/typesodersky2016-01-061-1/+1
|\
| * Allow comparisons between TypeRefs and ThisTypes.Dmitry Petrashko2016-01-041-1/+1
* | Fix hk comparison between class and range lambdaMartin Odersky2015-12-201-4/+15
* | Fix higher-kinded unions and intersectionsMartin Odersky2015-12-181-34/+37
* | Revise alias rules in type comparisons.Martin Odersky2015-12-151-40/+36
* | Dont push `|' inside refined types.Martin Odersky2015-12-151-11/+8
|/
* Use symbolic refs when testing whether a TypeBounds contains a ClassInfoMartin Odersky2015-12-141-6/+5
* Better diagnostics for clashing classesMartin Odersky2015-12-141-1/+1
* Remove redundant type parameter in testLiftedMartin Odersky2015-12-141-1/+1
* In isSubType, follow aliases only if prefix is a path.Martin Odersky2015-12-131-2/+20
* Perform variance adaptation only when needed in isSubTypeMartin Odersky2015-12-131-2/+10
* Disallow hk type parameters in lower bounds.Martin Odersky2015-12-111-2/+2
* Cleanup of RefinedType subtype comparison.Martin Odersky2015-12-061-9/+7
* Switch to new hk scheme.Martin Odersky2015-12-061-38/+108
* Add missing type params in testMartin Odersky2015-12-061-1/+1
* TypeComparer: delay looking up members of AndTypesGuillaume Martres2015-11-301-7/+13
* Drop argumnt interpolation.Martin Odersky2015-11-301-3/+3
* The change to do compareAlias early caused a dramatic slowdown of compilationMartin Odersky2015-11-301-28/+28
* isSubtype: try to dealias TypeRefs before recursively checking the prefixesGuillaume Martres2015-11-251-4/+5
* Fix comparisonMartin Odersky2015-11-171-1/+1
* Compensate for getter transform in isSubType testMartin Odersky2015-11-171-0/+3
* Renamings in DefinitionsMartin Odersky2015-11-091-2/+2
* Fix hole in subtyping of modulesMartin Odersky2015-10-251-4/+9
* Merge pull request #843 from dotty-staging/fix-#830odersky2015-10-251-3/+19
|\
| * Only replace intersections of constants with NothingMartin Odersky2015-10-231-4/+10
| * Fix #830: Compiler hangs on implicit search with singleton &/|Martin Odersky2015-10-221-3/+13
* | Address reviewer commentsMartin Odersky2015-10-221-5/+1
* | Simplify treatment of merge conflictsMartin Odersky2015-10-221-37/+16
* | Better handling of merge errorsMartin Odersky2015-10-221-0/+2
|/
* Add explanations for rewritingsMartin Odersky2015-10-061-0/+6
* Reshuffle nested and/or calls.Martin Odersky2015-10-011-0/+24
* Freeze constraints when checking parameter matching and subsumption.Martin Odersky2015-10-011-3/+3
* Fix typo in previous commit.Martin Odersky2015-10-011-1/+1
* Opportunistically merge A & A -> A and B | B -> B in <:<Martin Odersky2015-10-011-0/+6
* Generalize rules for isSubType between NamedTypes.Martin Odersky2015-10-011-16/+2
* Eliminate Config.newMatch optionMartin Odersky2015-09-291-31/+1
* Avoid orphan RefinedThis types in glb/lub.Martin Odersky2015-09-181-2/+2
* Generalize eta reduction to partially applied types.Martin Odersky2015-09-181-0/+7
* Fix problem in typeParamsMartin Odersky2015-09-181-1/+1
* Rewrite compareHK to be kind-correctMartin Odersky2015-09-181-9/+7
* Replace isLambda with ifHKMartin Odersky2015-09-181-4/+3
* Rename Apply -> hkApplyMartin Odersky2015-09-181-4/+4
* Skolemize unstable prefixes in asSeenFromMartin Odersky2015-06-061-0/+5
* Move deskolemization from TypeComparer to TypeOpsMartin Odersky2015-06-061-16/+17
* Split RefinedThis and SkolemTypeMartin Odersky2015-06-061-1/+1
* Disable deskolemization in narrowGADTBoundsMartin Odersky2015-06-061-5/+4
* Make skolemsstate three valuedMartin Odersky2015-06-061-3/+4
* Tighten comparison of skolem typesMartin Odersky2015-06-061-5/+0
* Move findMember count tracking from TypeComparer to ContextMartin Odersky2015-05-211-3/+0
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-26 04:29:13 +0000