aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* 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