aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Types.scala
Commit message (Expand)AuthorAgeFilesLines
* Split filterAsSeenFrom and generalized flag handling.Martin Odersky2013-03-121-3/+3
* First steps to make compiler start work.Martin Odersky2013-03-111-24/+30
* Some refinements for priningMartin Odersky2013-03-071-1/+1
* Finished polishing of Types and TypeOps.Martin Odersky2013-03-061-360/+399
* More polishing of types.Martin Odersky2013-03-051-15/+12
* Review of TypeComparersMartin Odersky2013-03-051-5/+5
* Collapsed some methods in PreDenotations…Martin Odersky2013-03-051-57/+34
* Rewrite of isVolatileMartin Odersky2013-03-041-42/+94
* Renamed RefinedType#name, #info…Martin Odersky2013-03-041-49/+31
* Polishing of denotationsMartin Odersky2013-03-021-3/+3
* more docs.Martin Odersky2013-02-281-2/+2
* Refinements to signature handling.Martin Odersky2013-02-271-6/+4
* Rename Shared -> SharedTreeMartin Odersky2013-02-271-2/+2
* Filling in all ???sMartin Odersky2013-02-271-34/+103
* Refactoring and cleanup of several symbol creation related aspects.Martin Odersky2013-02-241-21/+39
* Added methods to substitute trees and change their owners.Martin Odersky2013-02-221-2/+26
* Misc fixes to typed trees, flags, and elsewhere.Martin Odersky2013-02-211-4/+2
* More utility methods and split up filterMartin Odersky2013-02-211-9/+42
* New utility operations. Made typeSymbol/termSymbol apply to TypeProxies.Martin Odersky2013-02-201-1/+12
* Fleshed out TypeTreeGen.Martin Odersky2013-02-181-4/+7
* Some new utility methods in Types.Martin Odersky2013-02-151-3/+18
* Merge remote-tracking branch 'origin/master'Martin Odersky2013-02-111-1/+1
|\
| * Fix apparent cut-n-pasto in Type#mapOrJason Zaugg2013-02-101-1/+1
* | Integration of ConstantsMartin Odersky2013-02-091-2/+2
|/
* Added methods to convert between (virtual) type application and refinements.Martin Odersky2013-02-081-11/+61
* Disentangled denotation types from their symbols, based on info instead.Martin Odersky2013-02-061-2/+5
* Fixed Type hierarchy diagramMartin Odersky2013-02-061-10/+11
* Some additions to symbols, in particular copiers.Martin Odersky2013-02-061-6/+5
* Various additions and improvements, in preparation for addition of unpicklers.Martin Odersky2013-02-061-9/+78
* Refined completion, in particular for module symbols and made contexts explicit.Martin Odersky2013-02-011-6/+6
* Generalized no-prefix types to types that can refer to an arbitrary fixed sym...Martin Odersky2013-01-311-11/+14
* Fleshed out definitions and class loading architecture.Martin Odersky2013-01-311-2/+2
* 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