aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Refined completion, in particular for module symbols and made contexts explicit.Martin Odersky2013-02-018-141/+218
| | | | Made contexts in class constructors explicit (named initctx), so that we can better track where they are used. It's important that the context is not retained in the state of the object.
* Generalized no-prefix types to types that can refer to an arbitrary fixed ↵Martin Odersky2013-01-311-11/+14
| | | | symbol.
* Added io infrastructure needed for SymbolLoadersMartin Odersky2013-01-319-15/+1050
|
* Various smallish fixes.Martin Odersky2013-01-314-22/+27
|
* Fleshed out definitions and class loading architecture.Martin Odersky2013-01-318-64/+1458
|
* Swiztched to name table, added StdNames and related definitions. Introduced ↵Martin Odersky2013-01-3012-192/+1469
| | | | LocalNames.
* 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
|
* Simplified RefinedTypes, keeping only the unary variant.Martin Odersky2013-01-274-236/+41
|
* Revised lazy loading, and typeParams are now computed from decls.Martin Odersky2013-01-271-88/+65
|
* 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 ↵Martin Odersky2013-01-243-8/+26
| | | | that are shorter than type parameter lists.
* Made classOfId grow to match superId range.Martin Odersky2013-01-221-2/+10
|
* Added explanation how core classes for types, symbols, and denotations ↵Martin Odersky2013-01-211-1/+57
| | | | relate to each other.
* Changed NamedType dereferencing so that we need not keep track of name ↵Martin Odersky2013-01-214-19/+27
| | | | validity periods. Instead, we simply retry on missing member lookup in an earlier phase. This scheme is less complicated and works as long as names that are renamed in phase A are not re-used in a phase B >= A.
* Big renaming to drop Reference(d) as a terminology and use Denotation ↵Martin Odersky2013-01-218-885/+885
| | | | instead. previous Denotations (which already were a subclass) are renamed to SymDenotations.
* 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 ↵Martin Odersky2013-01-175-113/+124
| | | | symblic referenced and generalized denotation versioning to referenced versioning.
* 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 ↵Martin Odersky2013-01-106-735/+787
| | | | state into RootContext.
* 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
|\ | | | | | | | | Conflicts: src/dotty/tools/dotc/core/Types.scala
| * 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 ↵Martin Odersky2012-12-223-440/+403
| | | | | | ClassInfo type, which combines a prefix with a ClassInfo denotation. That leads to better regularity elsewhere, because now taking the info of a TypeRef will not lose information: If the info is a TypeBounds, the prefix is already taken account in it, and for ClassInfo we now record it explicitly.
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-22 08:45:52 +0000