aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Improved documentationMartin Odersky2014-06-261-1/+2
* Avoid caching values that depend on typevar state.Martin Odersky2014-06-201-18/+30
* Make refines work for aliasesMartin Odersky2014-06-201-17/+21
* Fixes to lambda abstractionMartin Odersky2014-06-191-0/+7
* Handling higher-kinded types with lambdasMartin Odersky2014-06-181-64/+16
* More careful with lookupRefinedMartin Odersky2014-06-131-2/+31
* Optionally check variance of Lambda classes.Martin Odersky2014-06-121-2/+15
* Fix RefinementType#memberMartin Odersky2014-06-121-3/+4
* Fixing hashing for RefinedThis types.Martin Odersky2014-06-121-2/+2
* Change definition of isLegalPrefix so that it allows projecting on an abstrac...Martin Odersky2014-06-121-3/+4
* Better printing of anonymous classes.Martin Odersky2014-05-201-0/+11
* More systematic treatment of prototypes.Martin Odersky2014-05-201-2/+8
* Adding dependency tracking to constraint satisfactionMartin Odersky2014-05-081-1/+2
* Making dotc/transform Dotty compliantMartin Odersky2014-05-081-1/+1
* Changed handling of repeated parameters.Martin Odersky2014-05-081-3/+9
* Fix withSymAndNameMartin Odersky2014-05-081-5/+6
* Helper method to get all members of type.Dmitry Petrashko2014-05-061-1/+1
* Members of stable methodsMartin Odersky2014-04-141-3/+9
* Fixing prefix of implicit membersMartin Odersky2014-04-141-2/+2
* Shadowed referencesMartin Odersky2014-04-081-12/+10
* Option for testing for double bindingsMartin Odersky2014-04-081-5/+13
* Reworked TermRef handlingMartin Odersky2014-04-081-21/+117
* Fix in NamedType#denotMartin Odersky2014-03-311-0/+1
* Reworked erasure denotation transformerMartin Odersky2014-03-291-5/+5
* Fix Denotations#currentMartin Odersky2014-03-271-1/+1
* Fix context.withPhaseMartin Odersky2014-03-271-1/+1
* Fix of Fix of t1236: higher-kindedMartin Odersky2014-03-211-1/+4
* Refactored lookupRefinedMartin Odersky2014-03-211-8/+8
* Fix of t1236: higher-kindedMartin Odersky2014-03-211-10/+12
* Fix for t1292 - legal prefixesMartin Odersky2014-03-211-2/+22
* Fix of t1056 - PartialFunctionMartin Odersky2014-03-211-2/+4
* Appromiximate union types by intersections.Martin Odersky2014-03-201-1/+46
* Allow And/OrTypes in baseType operationsMartin Odersky2014-03-201-3/+19
* Added auto-tupling.Martin Odersky2014-03-201-0/+7
* Renamings TreeTransformer -> TreeMap, TreeMapper -> TreeTypeMapMartin Odersky2014-03-181-1/+1
* Fix of #56 - newModuleSymbol & newCompleteModuleSymbolMartin Odersky2014-03-121-4/+8
* Fix of #50 - volatileMartin Odersky2014-03-091-45/+2
* Fix problem in TermRef.alternativesMartin Odersky2014-03-071-1/+1
* Merge pull request #37 from DarkDimius/assertionsDmitry Petrashko2014-03-041-1/+1
|\
| * More informative asserts.Dmitry Petrashko2014-03-031-1/+1
* | Fix of #34Martin Odersky2014-03-031-1/+1
|/
* Rename baseType -> baseTypeRefMartin Odersky2014-03-021-3/+5
* Fixing glb/lub of TypeBoundsMartin Odersky2014-03-011-4/+14
* Performance improvements: Split long TypeMap#mapOver and move hot fields into...Martin Odersky2014-02-261-57/+71
* Reord of superIdsMartin Odersky2014-02-251-2/+2
* Performance improvement: Avoid most operations in interpolateUndetVarsMartin Odersky2014-02-251-1/+13
* Performance improvement: Streamline successful toplevel subtype checksMartin Odersky2014-02-241-16/+1
* Performance improvements: Changes to TypeAccumulators and variances.Martin Odersky2014-02-241-32/+44
* Performance improvement: Specialize folds in accumulators.Martin Odersky2014-02-241-4/+9
* Performance improvement: Special-case implementation of underlyingIfRepeatedMartin Odersky2014-02-211-2/+6
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-23 09:43:53 +0000