aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Substituters.scala
Commit message (Expand)AuthorAgeFilesLines
* Added functionality to deal with function applications.Martin Odersky2013-07-111-20/+40
* Added logic for constraint solving.Martin Odersky2013-06-221-0/+20
* Consolidation isStatic, isStaticOwner, owner is PackageMartin Odersky2013-04-101-1/+1
* Renamed creation methods of NamedTypesMartin Odersky2013-04-091-1/+1
* Renamed RefinedType#name, #info…Martin Odersky2013-03-041-7/+7
* Filling in all ???sMartin Odersky2013-02-271-7/+7
* Added substSym method and dropped NoPrefix requirement.Martin Odersky2013-02-221-18/+43
* Simplified RefinedTypes, keeping only the unary variant.Martin Odersky2013-01-271-72/+12
* Reverted tresatment of NoType in AppliedType: 6ed74c3a2f38aadfb0bfMartin Odersky2013-01-271-8/+4
* More eliminations of AppliedTypeMartin Odersky2013-01-271-99/+100
* Allows for NoType in AplliedType argument lists, as well as argument lists th...Martin Odersky2013-01-241-4/+8
* Refactored Types to move auxiliary operations into Context. Moved per-run sta...Martin Odersky2013-01-101-177/+174
* Fleshed out Types.Martin Odersky2013-01-061-0/+3
* Added substThis to substitutersMartin Odersky2012-12-251-0/+51
* Added Substitution operationsMartin Odersky2012-12-251-0/+153