aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Refactor handling of unpickled type paramsMartin Odersky2016-07-111-2/+6
* Handle TypeLambdas in findMemberMartin Odersky2016-07-111-4/+5
* Change underlying of HKApplyMartin Odersky2016-07-111-2/+10
* Refactoring of PolyType and TypeLambdaMartin Odersky2016-07-111-44/+63
* Various hk related fixes in typesMartin Odersky2016-07-111-23/+43
* Start new, direct HK schemeMartin Odersky2016-07-111-22/+133
* Remove old hk schemeMartin Odersky2016-07-111-133/+22
* Various tweaksMartin Odersky2016-07-111-29/+14
* Deal with nested findMember calls over the same RecTypeMartin Odersky2016-07-111-5/+43
* Make TypeAccumulators follow LazyRefsMartin Odersky2016-07-111-0/+3
* Fix condition for lambda abstracting in NamerMartin Odersky2016-07-111-1/+5
* Optionally, check kinds match for & and |Martin Odersky2016-07-111-0/+4
* Restrict betaReduce to hk applicationsMartin Odersky2016-07-111-1/+3
* Avoid accidental creation of hk typesMartin Odersky2016-07-111-4/+7
* Add a second betaReduceMartin Odersky2016-07-111-2/+36
* Normalize RecTypes on creation to avoid cycles.Martin Odersky2016-07-111-7/+29
* Fixes to BetaReduce and asMemberOf; add a second betaReduceMartin Odersky2016-07-111-13/+26
* Don't map info of SkolemTypes in type mapsMartin Odersky2016-07-111-6/+1
* Refinement of cycle avoidanceMartin Odersky2016-07-111-3/+22
* Multiple fixesMartin Odersky2016-07-111-8/+24
* Turn on new hk schemeMartin Odersky2016-07-111-11/+23
* Disable checkInst in RecTypeMartin Odersky2016-07-111-9/+8
* Abstract type parameters out from type symbolsMartin Odersky2016-07-111-3/+16
* 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
|\
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 08:25:17 +0000