aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Swiztched to name table, added StdNames and related definitions. Introduced L...Martin Odersky2013-01-3012-192/+1469
* New Context architecture based on cloningMartin Odersky2013-01-299-83/+166
* Added operations and flags for package objects.Martin Odersky2013-01-283-10/+24
* Consolidation of SymbolsMartin Odersky2013-01-287-95/+194
* Merge branch 'unary-refinements'Martin Odersky2013-01-274-236/+41
|\
| * Simplified RefinedTypes, keeping only the unary variant.Martin Odersky2013-01-274-236/+41
|/
* Merge branch 'revamp-lazydenots'Martin Odersky2013-01-271-88/+65
|\
| * Revised lazy loading, and typeParams are now computed from decls.Martin Odersky2013-01-271-88/+65
|/
* Merge branch 'no-applied-types'Martin Odersky2013-01-2719-1650/+2806
|\
| * Completed elimination of AppliedTypeMartin Odersky2013-01-274-53/+8
| * Reverted tresatment of NoType in AppliedType: 6ed74c3a2f38aadfb0bfMartin Odersky2013-01-272-21/+5
| * More eliminations of AppliedTypeMartin Odersky2013-01-274-225/+241
| * File rename.Martin Odersky2013-01-251-0/+0
| * Optimized RefinedTypeMartin Odersky2013-01-253-144/+248
| * Various additions to symbols, denotations, and elsewhereMartin Odersky2013-01-2412-211/+493
| * Allows for NoType in AplliedType argument lists, as well as argument lists th...Martin Odersky2013-01-243-8/+26
| * Made classOfId grow to match superId range.Martin Odersky2013-01-221-2/+10
| * Added explanation how core classes for types, symbols, and denotations relate...Martin Odersky2013-01-211-1/+57
| * Changed NamedType dereferencing so that we need not keep track of name validi...Martin Odersky2013-01-214-19/+27
| * Big renaming to drop Reference(d) as a terminology and use Denotation instead...Martin Odersky2013-01-218-885/+885
| * Refined lazy loading and completion, added new fields to Denotation.Martin Odersky2013-01-212-32/+80
| * Hardened Flags.allOf and some other improvements to flags.Martin Odersky2013-01-211-6/+14
| * Polished FlagSet abstractionMartin Odersky2013-01-201-53/+61
| * Fleshed out Flags architecture and started work on Symbols.Martin Odersky2013-01-208-57/+490
| * Renamed hasFlag… operations to contains/intersectsMartin Odersky2013-01-172-8/+8
| * Defined Denotation parameters.Martin Odersky2013-01-173-78/+96
| * Renamed "Reference" to "Referenced".Martin Odersky2013-01-176-117/+113
| * Completed period-tracking in named types. Made Denotation a subtype of symbli...Martin Odersky2013-01-175-113/+124
| * Fleshed out transformer architecture.Martin Odersky2013-01-173-41/+52
| * Made Period a value class.Martin Odersky2013-01-136-87/+109
| * Update reference handling in NamedTypeMartin Odersky2013-01-122-16/+27
| * Introduce validFor interval for references.Martin Odersky2013-01-121-19/+34
| * Postulate intersection method for intervals.Martin Odersky2013-01-121-3/+5
| * Added lastIntroPhaseId to distinguish when names can be created.Martin Odersky2013-01-121-1/+4
| * Invalidate baseType caches on new runsMartin Odersky2013-01-121-2/+5
| * Refactored Types to move auxiliary operations into Context. Moved per-run sta...Martin Odersky2013-01-106-735/+787
| * Fleshed out FlagSetsMartin Odersky2013-01-101-3/+87
|/
* Fleshed out Type operationsMartin Odersky2013-01-063-24/+55
* 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-063-77/+265
* | Renamed class for SubTypers and added to ContextMartin Odersky2013-01-062-4/+16
|/
* Refactored asSeenFrom to avoid unnecessary map creationsMartin Odersky2012-12-252-66/+81
* Added substThis to substitutersMartin Odersky2012-12-252-5/+58
* Added Substitution operationsMartin Odersky2012-12-252-27/+214
* Small additions and fixes to subtyping logicMartin Odersky2012-12-251-2/+14
* First implementation of SubTyper.Martin Odersky2012-12-223-57/+178
* Refactored ClassInfoType content back to Denotation. Created separate ClassIn...Martin Odersky2012-12-223-440/+403
* Changed scheme in Trees so that immutable trees are now Tree[Nothing].Martin Odersky2012-12-221-15/+11
* New atSignature method in References.Martin Odersky2012-12-221-1/+11