aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Fix dotc bootstrap failureMartin Odersky2016-05-191-1/+5
* Refined handling of atSignatureMartin Odersky2016-05-181-2/+2
* Dealias more types in resultTypeMartin Odersky2016-04-271-26/+31
* Fix misprediction of dependent method type status.Martin Odersky2016-04-271-7/+10
* Small improvements in TypesMartin Odersky2016-04-151-2/+4
* Merge pull request #1186 from dotty-staging/fix-#1185odersky2016-04-061-31/+99
|\
| * Add ApproximatingTypeMap classMartin Odersky2016-03-301-22/+94
| * Take named type parameters into account when instantiating variables.Martin Odersky2016-03-301-1/+5
| * Simplify and fix avoid logicMartin Odersky2016-03-301-8/+0
* | Fix TermRefWithSignature.newLikeThisDmitry Petrashko2016-04-041-1/+1
* | Fix double computation in TermRefWithSignature.newLikeThisDmitry Petrashko2016-04-041-1/+1
* | Move Mode to coreMartin Odersky2016-04-011-2/+1
|/
* Add patching functionality for migrationMartin Odersky2016-03-121-2/+0
* Fix incorrect hashing leading to cache pollutionGuillaume Martres2016-03-111-1/+1
* Merge pull request #1139 from dotty-staging/change-needs-companionDmitry Petrashko2016-03-031-1/+1
|\
| * Speed up LazyVals isCompanion neededMartin Odersky2016-03-031-1/+1
* | Make Types#membersBasedOnFlags safer and fasterGuillaume Martres2016-02-291-1/+1
|/
* Merge pull request #1066 from dotty-staging/fix-#997odersky2016-02-191-1/+7
|\
| * Merge parentsWithArgs and instantiatedParentsMartin Odersky2016-02-191-5/+2
| * Add checking for leaking private definitionsMartin Odersky2016-02-191-0/+9
* | Make some operations surivive partial named parameter listsMartin Odersky2016-02-191-5/+3
* | Support named type parametersMartin Odersky2016-02-191-1/+7
|/
* Move realizability logic from Types to TypeOps.Martin Odersky2016-02-091-39/+0
* Realizability refactoringMartin Odersky2016-02-091-10/+30
* Also consider type aliases when checking for realizabilityMartin Odersky2016-02-091-1/+16
* Move scala2Mode test from isStable to isRealizableMartin Odersky2016-02-091-2/+4
* Use isRealizable to identify stable prefixesMartin Odersky2016-02-091-0/+17
* Merge pull request #1053 from dotty-staging/fix-#1045odersky2016-02-081-0/+19
|\
| * Try to make refinements match in approximateUnionsMartin Odersky2016-02-041-0/+19
* | Merge pull request #1057 from dotty-staging/fix/hide-stacktracesodersky2016-02-061-1/+1
|\ \
| * | Hide stack traces behind -YdebugGuillaume Martres2016-02-051-1/+1
| |/
* / Make LazyRef#ref a def instead of a lazy valMartin Odersky2016-02-051-1/+2
|/
* Small refactoringMartin Odersky2016-01-191-2/+5
* Avoid infinite subtyping checks when intersecting denotationsGuillaume Martres2016-01-181-9/+24
* Fix caching bug: don't assume that tvars instantiation cannot be retractedGuillaume Martres2016-01-171-1/+4
* Make skolems uncachedMartin Odersky2016-01-161-2/+2
* Merge pull request #1004 from dotty-staging/linker/typesodersky2016-01-061-2/+7
|\
| * Mark TermRefWithFixedSym as non-final.Dmitry Petrashko2016-01-041-2/+3
| * Linker specific: add note to withSymAndName.Dmitry Petrashko2015-12-201-0/+4
* | Merge pull request #1003 from dotty-staging/linker/tastyDmitry Petrashko2016-01-041-0/+8
|\ \
| * | Address review comments.Dmitry Petrashko2016-01-041-1/+1
| * | Linker Specific: allow phases to get to TASTY section.Dmitry Petrashko2015-12-201-0/+8
| |/
* | Merge pull request #1006 from dotty-staging/more-testsGuillaume Martres2015-12-261-4/+8
|\ \
| * | Don't do eta expansion on bottom typesMartin Odersky2015-12-201-4/+8
* | | Make asSeenFrom idempotentMartin Odersky2015-12-211-0/+20
|/ /
* | Refactoring of derivedSelectMartin Odersky2015-12-181-17/+17
* | Fix layoutMartin Odersky2015-12-151-17/+17
* | Optionally rewrite projections.Martin Odersky2015-12-151-2/+32
|/
* Use symbolic refs when testing whether a TypeBounds contains a ClassInfoMartin Odersky2015-12-141-3/+9
* Better diagnostics for clashing classesMartin Odersky2015-12-141-1/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 03:54:19 +0000