aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Symbols.scala
Commit message (Collapse)AuthorAgeFilesLines
* Module classes are now enteredMartin Odersky2013-09-241-0/+1
| | | | Module classes are entered alongisde their source modules in parent scope.
* Changed Throwing reporting scheme.Martin Odersky2013-09-231-1/+1
| | | | | Changed ThrowingReporter to use an underlying reporter for issuing messages below ERROR. Made ThrowingReporters the default in initialContext.
* More typer bug fixes and improvements in error messagesMartin Odersky2013-08-221-2/+1
|
* Various bug fixes for typer.Martin Odersky2013-08-221-2/+6
|
* Some additions to module completionMartin Odersky2013-08-191-5/+4
| | | | … more to come. Plus some bugfixes.
* Several fixes and refactorings for typecheckingMartin Odersky2013-08-191-4/+4
| | | | | | | | | | | 1) Refactoring of package loaders that ensures that a package is always loaded before new members are entered. This led to a refactoring of sourceModule in completers into its own trait 2) Refactoring of optSelfType ot selfInfo. Class Infos may now have a reference to a symbol in their selfInfo field, instead of always a type, as it was before. This allows to introduce laziness for self type evaluation. Laziness is needed so that modules can be desugared and the desugared version be compiled without special tricks. 3) <init> and $init members are no longer inherited. 4) Refactoring of createSymbol and enterSym, so that creating symbols and entering them in a scope is decoupled. Renamed the driver operation form `enterSym(s)` to `index`.
* Various bugfixes for namer/typer/treesMartin Odersky2013-08-161-0/+4
|
* ErrorSymbols now have TypeBounds as info when they are type symbols.Martin Odersky2013-08-141-0/+4
|
* Implementation of match/case def including GADT pattern matching.Martin Odersky2013-08-081-0/+27
|
* Adding diagnostics how many stubs were generatedMartin Odersky2013-07-121-1/+3
|
* Avoided cycle in newCompletePackageSymbol by passing name explicity.Martin Odersky2013-07-111-9/+9
|
* Added functionality to deal with function applications.Martin Odersky2013-07-111-1/+1
| | | | | | | | | | | | | - Added Applications class to represent applications - Added Constraint class to represent type constraints - Added TyperState class to represent typer state - Added Diagnostic class to buffer errors and warnings - Added Inferencing class that contains some common functionality for type inferencing (this one's still rudimentary). - Added extractor for FunctionType in Definitions - Added desugaring of default parameters to default getters in Desugar - Added flags to deal with default parameters - Added substitutions that replace bound parameters
* Made pos a total method on Symbols, returns NoSymbol if undefined.Martin Odersky2013-06-121-3/+3
|
* Added `pos` meethod to symbols.Martin Odersky2013-06-071-0/+5
|
* Namer redesign.Martin Odersky2013-06-061-2/+2
| | | | A new design that relies on DefDef local maps, instead of global maps before.
* wip, because I have to get off this machine.Martin Odersky2013-05-301-1/+1
|
* Made tpd/untpd toplevel objects.Martin Odersky2013-05-221-2/+1
| | | | Moved all other elements of TypedTrees and UntypedTrees into tpd and untpd.
* More tree refactorings.Martin Odersky2013-05-221-3/+5
| | | | | | | 1) Getting rid of ugen in favor of untpd. 2) Eliminating some unused methods 3) Splitting out CheckTrees from TypedTrees. 4) Moving trees and related classes into separate package dotc.ast
* Refactored Printing architecture.Martin Odersky2013-05-171-1/+2
| | | | | Split printers into several files. Added refined printing of trees. Changed Showable and generalized printing under a precedence.
* Refactored Printers, Showable and Text into new package dotc.printing.Martin Odersky2013-05-141-2/+2
|
* Added a parser.Martin Odersky2013-05-071-1/+1
| | | | | | | | Synced parser and SyntaxSymmary. Parser now produces untyped trees that need to be desugared further. Also some tweaks to position to make it work well. This is a first version.
* Small fixes prompted by last week's code walkthrough.Martin Odersky2013-04-301-3/+4
|
* Added some predefined methods in Definitions.Martin Odersky2013-04-191-0/+3
|
* Scanners added.Martin Odersky2013-04-171-1/+1
| | | | | | | Moving Positions, Chars to new packages. Added Source positions. Added untyped trees module. Factored out behavior between typed and untyped trees.
* Renamed creation methods of NamedTypesMartin Odersky2013-04-091-2/+2
| | | | | Methods taking a fixed symbol are now called …withSym, methods taking a signature … withSig. The reason for the change is that we want to liberate the original method names to take optional denotations, thus avoiding to have to go through withDenot each time.
* Added initial denotations to NamedType where feasible.Martin Odersky2013-04-091-1/+1
|
* Changes to pre complete declsMartin Odersky2013-04-071-2/+2
| | | | | | Dropped preCompleteDecls for a general refactoring that makes decls available after a class is loaded and before it is completed. Also some other fixes to classloading problems.
* RenamingsMartin Odersky2013-04-061-1/+1
| | | | | module => sourceModule in class ClassCompleter LazyModuleInfo => ModuleCompleter
* Made module class names end in '$'.Martin Odersky2013-04-051-2/+4
| | | | | | If module classes have the same names as their companion classes there is the latent trap that TypeRefs refer to one or the other. To avoid cross-talk, module classes need to have a different name. Also, some fixes to baseType, isSubClass in SymDenotations.
* Fix to superId.Martin Odersky2013-04-051-5/+5
| | | | Big blooper: superId was always -1.
* More fixes to classfile reading.Martin Odersky2013-03-231-1/+1
| | | | Most important one: Getting equality of NamedTypes right.
* Pretty-printing improvements.Martin Odersky2013-03-201-7/+8
|
* Added emulation of higher-kinded types.Martin Odersky2013-03-171-0/+11
| | | | Also improvements to toString.
* Improvements to stub handling.Martin Odersky2013-03-141-17/+16
|
* Various fixes that make loadDef largely work.Martin Odersky2013-03-141-4/+4
| | | | Only problem is that there are stubs for AnyRef generated.
* Various fixes to get past Definitions#init.Martin Odersky2013-03-131-13/+16
|
* Split filterAsSeenFrom and generalized flag handling.Martin Odersky2013-03-121-3/+3
| | | | | | | | 1. filterAsSeenFrom has been split again into its constituents "filterExcluded" and "asSeenFrom", and care was taken not to force the info unless we have to. The accessible check is no longer done when collecting members, because it would have forced the symbol through requesting privateWithin. 2. SymDenotation#is is tweaked to no longer force the denotation if the flags are in "FromStartFlags", i.e. set upon symbol creation. We can then eliminate special cases isModuleXXX, isPackageXXX. 3. Other tweaks mostly having to do with weakening sym.exists checks to avoid CyclicReference errros.
* Fixed too hasty commit that caused build errors.Martin Odersky2013-03-111-1/+1
|
* First steps to make compiler start work.Martin Odersky2013-03-111-12/+24
| | | | Still fighting with CyclicReference errors.
* Added asInstanceOf args as they are inferred to be Nothing otherwise.Martin Odersky2013-03-081-1/+1
|
* Some refinements for priningMartin Odersky2013-03-071-1/+1
| | | | Made trees printable in plain mode (refined mode still missing).
* Polishing of Symbols.Martin Odersky2013-03-041-24/+27
|
* Split scopes into immutable and mutable parts.Martin Odersky2013-03-031-1/+1
| | | | The goal is that symbols should be entered/deleted directly into classes instead of their scopes. This is necesaary so that invariant about fingerPrint can be maintained. We achieve it by making the info scope have immutable type, so an explicit cast is needed to get around that.
* Cleanup of flagsMartin Odersky2013-02-271-1/+1
| | | | Plus some more doc comments.
* Rename Shared -> SharedTreeMartin Odersky2013-02-271-1/+1
|
* Completed implementation of FlagsMartin Odersky2013-02-251-2/+2
| | | | Including translation from Scala 2.x flags.
* Systeamtic use of symbolicRef abbreviation.Martin Odersky2013-02-251-1/+1
|
* Refactoring and cleanup of several symbol creation related aspects.Martin Odersky2013-02-241-128/+189
| | | | | | | 1. Went back to old completer model where completers are types. 2. Made class denotations a simple optimzation of symbol denotatons (with more caches) by moving all class-specific attributes into ClassInfo. 3. Now all symbol and symbol denotation creations are routed through one of 3 methods: newNakedSymbol, newNakedClassSymbol, newSymDenotation.
* Moving associatedFile from SymDenotation to SymbolMartin Odersky2013-02-231-3/+28
| | | | Motivation: This is something that stays invariant over all periods. but _can_ change between compilation runs. Therefore it matches the lifetime of a Symbol.
* Added methods to substitute trees and change their owners.Martin Odersky2013-02-221-2/+39
| | | | Required also some better integration with TypeMaps.
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 06:54:02 +0000