aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeOps.scala
Commit message (Collapse)AuthorAgeFilesLines
* Fleshed out TypeTreeGen.Martin Odersky2013-02-181-0/+6
| | | | All base cases now supported. Still missing: Intelligent treatment of positions.
* Added methods to convert between (virtual) type application and refinements.Martin Odersky2013-02-081-1/+31
| | | | Refactored parent normalization from Unpickler to TypeOps.
* New Context architecture based on cloningMartin Odersky2013-01-291-7/+6
|
* Consolidation of SymbolsMartin Odersky2013-01-281-2/+2
|
* Simplified RefinedTypes, keeping only the unary variant.Martin Odersky2013-01-271-17/+5
|
* More eliminations of AppliedTypeMartin Odersky2013-01-271-49/+32
|
* Optimized RefinedTypeMartin Odersky2013-01-251-116/+121
|
* Various additions to symbols, denotations, and elsewhereMartin Odersky2013-01-241-1/+1
|
* Allows for NoType in AplliedType argument lists, as well as argument lists ↵Martin Odersky2013-01-241-3/+5
| | | | that are shorter than type parameter lists.
* Refactored Types to move auxiliary operations into Context. Moved per-run ↵Martin Odersky2013-01-101-0/+210
state into RootContext.