aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Move findMember count tracking from TypeComparer to ContextMartin Odersky2015-05-211-8/+9
* Rename Reporter#echo -> printlnMartin Odersky2015-05-211-1/+1
* Avoid cycle between findMember and &Martin Odersky2015-05-211-15/+30
* Add equals and hashcode to LazyRefMartin Odersky2015-05-211-0/+5
* Move threshold values to ConfigMartin Odersky2015-05-211-2/+2
* Implement type beta reduction in lookupRefinedMartin Odersky2015-05-211-14/+44
* Rename for clarityMartin Odersky2015-05-211-4/+4
* Specialize printing of Lambda abstractions.Martin Odersky2015-05-211-0/+6
* Fix error in derivedTypeAliasMartin Odersky2015-05-211-1/+1
* Add "Printing" modeMartin Odersky2015-05-211-1/+1
* Correct a large number of typos.Jason Zaugg2015-05-141-2/+2
* Reload denotations that are not defined at current phaseMartin Odersky2015-05-081-1/+4
* Merge pull request #534 from dotty-staging/fix/computeDenotodersky2015-05-051-21/+33
|\
| * Rename isWeakRef -> isTightPrefixMartin Odersky2015-05-051-7/+9
| * Make data race detection more liberal.Martin Odersky2015-05-041-3/+1
| * Make computeDenot take overrides into accountMartin Odersky2015-05-041-18/+30
* | New miniphase: ExpandSAMsMartin Odersky2015-05-021-0/+10
|/
* Allow byname repated parametersMartin Odersky2015-04-241-2/+4
* Fix #492. Traits that require an outer pointer are not SAMs.Dmitry Petrashko2015-04-231-4/+4
* New method on types: givenSelfTypeMartin Odersky2015-04-131-14/+31
* Ensure spaces after `if` in Dotty source.Dmitry Petrashko2015-04-091-1/+1
* Remove trailing spaces in Dotty source.Dmitry Petrashko2015-04-091-29/+29
* Refactor checking in NamedTypes.Dmitry Petrashko2015-04-081-9/+4
* Change of TERMREFsymbol/TYPEREFsymbol semanticsMartin Odersky2015-04-071-6/+10
* Fixes to double binding check.Martin Odersky2015-04-071-3/+8
* Allow change of symbols in WithFixedSym#newLikeThisMartin Odersky2015-04-071-2/+5
* Rename inheritedName -> shadowedNameMartin Odersky2015-03-181-2/+2
* Deal gracefully with out-of-scope references wehn unpicklingMartin Odersky2015-03-181-1/+2
* Avoid annotations being dropped by stripTypeVarMartin Odersky2015-03-181-1/+2
* More careful determination of MethodType#isDependentMartin Odersky2015-03-181-9/+18
* Fix variance of type prefixes in TypeMap and TypeAccumulatorMartin Odersky2015-03-181-28/+18
* Stop type inference from creating oprphans.Martin Odersky2015-03-181-1/+5
* Fix of the escaping MethodParam problemMartin Odersky2015-02-121-51/+88
* New spec and implementation for matching.Martin Odersky2015-02-071-6/+10
* correct spelling mistakes in commentsOndrej Lhotak2015-01-311-9/+9
* Merge pull request #338 from dotty-staging/fix/t3152-findMemberodersky2015-01-311-0/+12
|\
| * Take constrained parameter bounds into account for findMemberMartin Odersky2015-01-271-0/+12
* | Merge pull request #331 from dotty-staging/fix/refined-subtypingodersky2015-01-311-42/+58
|\ \
| * | Fixups taking into account reviewer's comments.Martin Odersky2015-01-271-1/+1
| |/
| * New constraint handlingMartin Odersky2015-01-181-1/+1
| * Allow to merge TypeBounds and ClassInfos in |, &Martin Odersky2015-01-141-0/+1
| * Added structural equals method to PolyParamsMartin Odersky2015-01-131-0/+6
| * Made constraint data structures pluggable.Martin Odersky2015-01-121-1/+1
| * Rename RefinedThis -> SkolemTypeMartin Odersky2015-01-101-24/+19
| * Reverting the idea that RefinedThis types take levels.Martin Odersky2015-01-101-52/+11
| * Split off ConstraintHandling into separate trait.Martin Odersky2015-01-101-0/+2
| * Removed some checksMartin Odersky2015-01-101-11/+0
| * More aggressive reduction in lookupRefinedThis.Martin Odersky2015-01-091-25/+16
| * Simplification for lookupRefinedMartin Odersky2015-01-091-5/+1
| * Optimize for case where RefinedThis is absentMartin Odersky2015-01-091-1/+3
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 04:46:06 +0000