aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeComparer.scala
Commit message (Expand)AuthorAgeFilesLines
* Introduce recursive typesMartin Odersky2016-07-111-2/+29
* Allow general recursion in refined types.Martin Odersky2016-07-111-3/+2
* Avoid forming ???.T type.Martin Odersky2016-04-271-1/+2
* Rename Reporting#println -> Reporting#echoMartin Odersky2016-04-271-4/+4
* Fix constraint handling in eitherIsSubtypeMartin Odersky2016-04-211-1/+1
* Merge pull request #1186 from dotty-staging/fix-#1185odersky2016-04-061-2/+16
|\
| * Fix documentation of liftIfHKMartin Odersky2016-03-301-1/+1
| * Don't lambda expand and/or types over named type parametersMartin Odersky2016-03-301-2/+16
* | Make erased value type take a TypeRef instead of a ClassSymbolMartin Odersky2016-04-031-3/+3
* | Move Mode to coreMartin Odersky2016-04-011-1/+0
|/
* Add some flexibility in comparing named and unnamed parameterized types.Martin Odersky2016-02-191-3/+38
* Merge pull request #1058 from dotty-staging/fix-#864-v2Guillaume Martres2016-02-091-2/+7
|\
| * Prune constraints that could turn into cyclesMartin Odersky2016-02-051-2/+7
* | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-21 15:14:33 +0000