aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Catch stale referencesMartin Odersky2014-02-061-2/+6
* Fix problems with TypeVar instantiationMartin Odersky2014-02-031-3/+3
* Performance improvements to NamedType#denotMartin Odersky2014-01-301-29/+48
* Fixing equality for selection protosMartin Odersky2014-01-291-1/+4
* Selective caching of SelectionProtos and ViewProtosMartin Odersky2014-01-271-38/+5
* Cache result of narrow on Methods.Martin Odersky2014-01-271-1/+10
* New treatment of uniquesMartin Odersky2014-01-261-137/+37
* Refactored RefinedTypes to favor the case where refinedInfo is independent of...Martin Odersky2014-01-261-7/+16
* Better caching of typesMartin Odersky2014-01-261-19/+30
* Some more statistic samplingMartin Odersky2014-01-261-3/+9
* Add text markers around "hot" tracing operations.Martin Odersky2014-01-261-2/+2
* Fixes to constraint handling.Martin Odersky2014-01-261-6/+9
* Fixing two bugs in subtype checking that cancelled each other out.Martin Odersky2014-01-261-1/+1
* Refactoctored widening operations.Martin Odersky2014-01-261-8/+7
* Make better use of AndOrTypes.Martin Odersky2014-01-201-11/+5
* For a typeRef, prefer info.isAlias over symbol.isAliasTypeMartin Odersky2014-01-201-1/+8
* Made findDecl more forgivingMartin Odersky2014-01-171-1/+3
* Handle cases AndType and OrType in WildApproxMartin Odersky2014-01-171-2/+26
* Generalize implicit scope of ThisTypeMartin Odersky2014-01-161-16/+22
* Renaming to make program Scala2x and Dotty compatible.Martin Odersky2014-01-141-4/+9
* When instantiating a type var, need to map back from polyparams to typevars.Martin Odersky2014-01-131-2/+5
* Extend type maps and type accumulators to prototypesMartin Odersky2014-01-131-0/+8
* Better reporting of cyclic references involving imports.Martin Odersky2014-01-111-0/+1
* Type comparison tweak.Martin Odersky2014-01-101-0/+1
* Mover termRef/typeRef and friends up to Denotation.Martin Odersky2014-01-101-1/+1
* Augment namedParts to follow through on some proxy types.Martin Odersky2014-01-091-0/+6
* Change namedParts to also include the underlying types of TermRefs.Martin Odersky2014-01-081-2/+5
* New subtype constraint maintenance algorithm.Martin Odersky2014-01-071-0/+19
* Change to overloading behaviorMartin Odersky2014-01-061-2/+4
* Relax isFullyDefined testMartin Odersky2014-01-061-1/+1
* Changes to propagation of wildcardtypesMartin Odersky2014-01-041-4/+6
* Making namedPartsWith more robust.Martin Odersky2014-01-031-2/+6
* Making printing configurable.Martin Odersky2014-01-031-1/+2
* More precise widening of types referring to a block-local.Martin Odersky2014-01-011-4/+17
* Combining AndType, OrType into common Trait.Martin Odersky2013-12-311-2/+7
* Fixing problems in treatment of private symbolsMartin Odersky2013-12-241-1/+1
* Refining checkClassTypeWithStablePrefixMartin Odersky2013-12-241-0/+11
* Typing by-name parameters with ExprTypes.Martin Odersky2013-12-221-4/+0
* Changing TypeMap to drop annotationsMartin Odersky2013-12-201-1/+2
* Special handling of implicit members.Martin Odersky2013-12-171-2/+5
* Fixes for by-name argumentsMartin Odersky2013-12-171-0/+4
* Checking for double definitions among class definitions.Martin Odersky2013-12-161-0/+1
* Fixes related to SAM types.Martin Odersky2013-12-151-10/+29
* Fixed several deep problems in handling of types and symbols.Martin Odersky2013-12-141-9/+53
* Tweaks to InferencingMartin Odersky2013-11-291-8/+7
* Making substitutions deep type maps that also map parents and self type of a ...Martin Odersky2013-11-281-16/+19
* Refactorings in TypeComparers and elsewhereMartin Odersky2013-11-281-2/+12
* Making maps configurable so that they can also go inside parents and self typ...Martin Odersky2013-11-281-1/+16
* Hoisting out commonly used values into util.commonMartin Odersky2013-11-281-9/+6
* Optimizing signaturesMartin Odersky2013-11-271-23/+30
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-22 18:08:18 +0000