aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeComparer.scala
Commit message (Expand)AuthorAgeFilesLines
* 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
* Rename Reporter#echo -> printlnMartin Odersky2015-05-211-6/+6
* Avoid cycle between findMember and &Martin Odersky2015-05-211-0/+3
* Move threshold values to ConfigMartin Odersky2015-05-211-1/+1
* Generaize canWiden to classBoundsMartin Odersky2015-05-211-3/+6
* Fix isSubType bug related to testLiftedMartin Odersky2015-05-211-3/+4
* TypeComparer: Add support for ErasedValueTypeGuillaume Martres2015-05-011-0/+8
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-16/+16
* Revert following underlyingIfRepeated when matchingMartin Odersky2015-02-071-1/+1
* Tweaks to matchesMartin Odersky2015-02-071-1/+1
* New spec and implementation for matching.Martin Odersky2015-02-071-26/+15
* correct spelling mistakes in commentsOndrej Lhotak2015-01-311-1/+1
* Merge pull request #338 from dotty-staging/fix/t3152-findMemberodersky2015-01-311-18/+28
|\
| * Handle Apply projections also in lower compared type.Martin Odersky2015-01-271-18/+28
* | Fixed problem with ensureSingletonMartin Odersky2015-01-281-1/+1
* | Cleanups prompted by reviews.Martin Odersky2015-01-281-1/+1
* | Fixups taking into account reviewer's comments.Martin Odersky2015-01-271-7/+11
|/
* Some small polishings in TypeComparerMartin Odersky2015-01-241-3/+6
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 19:35:12 +0000