aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fixes to Position.Martin Odersky2012-12-221-3/+3
* Some more definitions in Definitions.Martin Odersky2012-12-222-6/+14
* Simpler implementation of shalloCopy as clone.Martin Odersky2012-12-181-23/+8
* Renamed worksheet that deals with periodsMartin Odersky2012-12-182-19/+19
* First rough draft of trees. They use copy on write semantics for the tpe attr...Martin Odersky2012-12-181-0/+101
* Started working on Subtyper objectMartin Odersky2012-12-181-0/+92
* (1) Moved logic from ClassDenotation to ClassInfoType. (2) Tweaks to other ty...Martin Odersky2012-12-185-222/+247
* Added rudimentary definitions for PositionsMartin Odersky2012-12-181-0/+22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 15:40:23 +0000