aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Introduce recursive typesMartin Odersky2016-07-111-7/+122
* Better printing of skolemsMartin Odersky2016-07-111-0/+7
* Allow general recursion in refined types.Martin Odersky2016-07-111-12/+31
* Allow refinements of new typesMartin Odersky2016-07-111-14/+38
* Avoid creating AndTypes with AnyGuillaume Martres2016-05-311-1/+6
* Never include self types in named parts of a typeGuillaume Martres2016-05-311-1/+1
* Add sbt incremental compilation supportGuillaume Martres2016-05-281-5/+11
* Add Types#TypeTraverser for convenienceGuillaume Martres2016-05-281-0/+6
* Fix memberExcluding for ClassInfoGuillaume Martres2016-05-281-2/+10
* Merge pull request #1256 from felixmulder/topic/test-bcodeDmitry Petrashko2016-05-271-1/+1
|\
| * Move `stripAnnots` to `isRef` instead of performing explicitly everywhereFelix Mulder2016-05-191-1/+1
* | Safe equality for core classes:Martin Odersky2016-05-231-0/+2
* | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 10:33:35 +0000