aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Swiztched to name table, added StdNames and related definitions. Introduced L...Martin Odersky2013-01-301-1/+1
* New Context architecture based on cloningMartin Odersky2013-01-291-2/+2
* Consolidation of SymbolsMartin Odersky2013-01-281-21/+23
* Simplified RefinedTypes, keeping only the unary variant.Martin Odersky2013-01-271-138/+23
* Completed elimination of AppliedTypeMartin Odersky2013-01-271-42/+3
* Reverted tresatment of NoType in AppliedType: 6ed74c3a2f38aadfb0bfMartin Odersky2013-01-271-13/+1
* More eliminations of AppliedTypeMartin Odersky2013-01-271-73/+105
* Optimized RefinedTypeMartin Odersky2013-01-251-26/+118
* Various additions to symbols, denotations, and elsewhereMartin Odersky2013-01-241-12/+14
* Allows for NoType in AplliedType argument lists, as well as argument lists th...Martin Odersky2013-01-241-1/+13
* Changed NamedType dereferencing so that we need not keep track of name validi...Martin Odersky2013-01-211-11/+17
* Big renaming to drop Reference(d) as a terminology and use Denotation instead...Martin Odersky2013-01-211-34/+34
* Fleshed out Flags architecture and started work on Symbols.Martin Odersky2013-01-201-3/+50
* Defined Denotation parameters.Martin Odersky2013-01-171-6/+6
* Renamed "Reference" to "Referenced".Martin Odersky2013-01-171-29/+27
* Completed period-tracking in named types. Made Denotation a subtype of symbli...Martin Odersky2013-01-171-5/+4
* Made Period a value class.Martin Odersky2013-01-131-19/+20
* Update reference handling in NamedTypeMartin Odersky2013-01-121-15/+25
* Refactored Types to move auxiliary operations into Context. Moved per-run sta...Martin Odersky2013-01-101-520/+359
* Fleshed out Type operationsMartin Odersky2013-01-061-24/+44
* Merge remote-tracking branch 'origin/master'Martin Odersky2013-01-061-13/+11
|\
| * Added isStatic check to asSeenFromMartin Odersky2012-12-261-18/+13
* | Fleshed out Types.Martin Odersky2013-01-061-72/+257
|/
* Refactored asSeenFrom to avoid unnecessary map creationsMartin Odersky2012-12-251-66/+80
* Added substThis to substitutersMartin Odersky2012-12-251-5/+7
* Added Substitution operationsMartin Odersky2012-12-251-27/+61
* First implementation of SubTyper.Martin Odersky2012-12-221-2/+3
* Refactored ClassInfoType content back to Denotation. Created separate ClassIn...Martin Odersky2012-12-221-430/+159
* (1) Moved logic from ClassDenotation to ClassInfoType. (2) Tweaks to other ty...Martin Odersky2012-12-181-21/+227
* Implemented baseClasses and baseTypes. Refactored RefinedType and ClassInfoType.Martin Odersky2012-12-161-104/+100
* Re-introducing Rereferences as an intermediate structure, separate from types.Martin Odersky2012-12-141-419/+566
* Streamlined hashing scheme for typesMartin Odersky2012-12-061-56/+63
* Initial commitMartin Odersky2012-12-061-0/+943