aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/TypeOps.scala
Commit message (Expand)AuthorAgeFilesLines
...
* Made & , | NoType-aware.Martin Odersky2013-04-051-0/+4
* Added some tracing to asSeenFrom.Martin Odersky2013-04-051-4/+5
* Consolidated tracing under -YdebugTrace.Martin Odersky2013-04-041-1/+3
* Trying to get at the root of cyclic reference problems.Martin Odersky2013-04-041-21/+21
* Improvements in tracing and some Type fixes.Martin Odersky2013-04-031-0/+2
* Fixes fingerprint problems.Martin Odersky2013-03-241-2/+2
* Attempt to fix fingerprint problem (disabled for now)Martin Odersky2013-03-231-4/+6
* More fixes for classfile reading.Martin Odersky2013-03-221-0/+2
* Added emulation of higher-kinded types.Martin Odersky2013-03-171-1/+3
* Various fixes to make classfile loading work.Martin Odersky2013-03-151-2/+2
* Checking abstractness of types by their flags.Martin Odersky2013-03-121-8/+3
* Split filterAsSeenFrom and generalized flag handling.Martin Odersky2013-03-121-1/+1
* Finished polishing of Types and TypeOps.Martin Odersky2013-03-061-10/+6
* Streamlined implementation of asSeenFromMartin Odersky2013-03-061-15/+8
* More polishing of types.Martin Odersky2013-03-051-17/+13
* Rewrite of isVolatileMartin Odersky2013-03-041-43/+29
* Renamed RefinedType#name, #info…Martin Odersky2013-03-041-5/+5
* Split scopes into immutable and mutable parts.Martin Odersky2013-03-031-1/+1
* Polishing of denotationsMartin Odersky2013-03-021-2/+5
* Refactoring and cleanup of several symbol creation related aspects.Martin Odersky2013-02-241-1/+1
* Misc fixes to typed trees, flags, and elsewhere.Martin Odersky2013-02-211-1/+1
* More utility methods and split up filterMartin Odersky2013-02-211-1/+1
* Fleshed out TypeTreeGen.Martin Odersky2013-02-181-0/+6
* Added methods to convert between (virtual) type application and refinements.Martin Odersky2013-02-081-1/+31
* 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 th...Martin Odersky2013-01-241-3/+5
* Refactored Types to move auxiliary operations into Context. Moved per-run sta...Martin Odersky2013-01-101-0/+210