Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refinements to signature handling. | Martin Odersky | 2013-02-27 | 2 | -42/+73 |
| | | | | Decoupled paramSignature from erasure in the interest of efficiency. | ||||
* | Rename Shared -> SharedTree | Martin Odersky | 2013-02-27 | 4 | -21/+21 |
| | |||||
* | Filling in all ???s | Martin Odersky | 2013-02-27 | 26 | -147/+734 |
| | | | | | | | Added reporters. Added context for signatures. Implemented method signatures via erasure. Refined derivedNameType handling. | ||||
* | Fleshing out some ???'s | Martin Odersky | 2013-02-25 | 5 | -21/+25 |
| | |||||
* | Completed implementation of Flags | Martin Odersky | 2013-02-25 | 6 | -126/+242 |
| | | | | Including translation from Scala 2.x flags. | ||||
* | Systeamtic use of symbolicRef abbreviation. | Martin Odersky | 2013-02-25 | 3 | -3/+3 |
| | |||||
* | Refactoring and cleanup of several symbol creation related aspects. | Martin Odersky | 2013-02-24 | 15 | -566/+582 |
| | | | | | | | 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 Symbol | Martin Odersky | 2013-02-23 | 4 | -43/+50 |
| | | | | Motivation: This is something that stays invariant over all periods. but _can_ change between compilation runs. Therefore it matches the lifetime of a Symbol. | ||||
* | UnPickler now also reads trees. | Martin Odersky | 2013-02-22 | 2 | -300/+312 |
| | |||||
* | Added methods to substitute trees and change their owners. | Martin Odersky | 2013-02-22 | 4 | -9/+127 |
| | | | | Required also some better integration with TypeMaps. | ||||
* | Changed meaning of DefTree/isDef, plus other Tree changes | Martin Odersky | 2013-02-22 | 1 | -21/+39 |
| | | | | | | | | isDef now means: Defines a new symbol. Consequently, templates are DefTrees (because they define LocalDummy), but package clauses are not. DefTrees are now pickier about the names they accept. New generic instances of TreeAccumulator: ShallowFolder and DeepFolder. | ||||
* | Added substSym method and dropped NoPrefix requirement. | Martin Odersky | 2013-02-22 | 1 | -18/+43 |
| | | | | Substituters now work on arbitrary NamedTypes, even if the prefix is different from NoPrefix. | ||||
* | Added previously forgotten typed Try trees, modified params of typed Super ↵ | Martin Odersky | 2013-02-22 | 1 | -6/+14 |
| | | | | trees. | ||||
* | Misc fixes to typed trees, flags, and elsewhere. | Martin Odersky | 2013-02-21 | 7 | -76/+105 |
| | |||||
* | Some cleanups in Flags | Martin Odersky | 2013-02-21 | 1 | -34/+19 |
| | |||||
* | Changed function expansion and fleshed out checkType | Martin Odersky | 2013-02-21 | 1 | -47/+244 |
| | | | | Function expansion got changed so that it requires an explicit target type and that target type can be an arbitrary SAM type. | ||||
* | More utility methods and split up filter | Martin Odersky | 2013-02-21 | 4 | -28/+91 |
| | | | | More utility methods in types. Also replaced Denotation#filter with a set of more useful operations. | ||||
* | Generalized ArrayValue -> SeqLiteral | Martin Odersky | 2013-02-21 | 2 | -15/+28 |
| | | | | Also introduced new category of pattern trees. | ||||
* | Some more Definitions entries | Martin Odersky | 2013-02-21 | 1 | -21/+27 |
| | |||||
* | Shortcircuited all <:< and =:= calls in TypeComparers | Martin Odersky | 2013-02-21 | 1 | -6/+13 |
| | |||||
* | Refined tree typing and started on checks | Martin Odersky | 2013-02-20 | 5 | -66/+162 |
| | | | | | | | | Function nodes are now no longre typed trees; they are represented instead as blocks: { def $anonfun(…) = …; $anonfun }. Refined block typing to autiomatically widen some types when they occur as result type of a block. Started writing check code that enforces Scala's typesystem rules oin typed trees. | ||||
* | New utility operations. Made typeSymbol/termSymbol apply to TypeProxies. | Martin Odersky | 2013-02-20 | 1 | -1/+12 |
| | |||||
* | Moved TypeTrees defs into nested object tpd. | Martin Odersky | 2013-02-20 | 5 | -252/+257 |
| | | | | Reason: We need normal trees to do efficient pattern matching. So if we want to both pattern match and create trees we need to import Trees._ and TypedTrees.tpd. Then typed tree construction needs to be prefixed with tpd, e.g. tpd.Select(pre, name). | ||||
* | Completed pluggability hooks for trees. | Martin Odersky | 2013-02-20 | 1 | -57/+102 |
| | |||||
* | Merge branch 'simplified-completers' | Martin Odersky | 2013-02-19 | 10 | -402/+927 |
|\ | |||||
| * | Feasibility study for transformer plugins | Martin Odersky | 2013-02-19 | 2 | -5/+114 |
| | | |||||
| * | Making TypedTrees a full alternative to Trees | Martin Odersky | 2013-02-19 | 4 | -215/+269 |
| | | | | | | | | TypedTrees now has the full functionality of Trees. The idea is that a client should inherit from either Trees or TypedTrees, and the rest follows automatically. | ||||
| * | File rename | Martin Odersky | 2013-02-19 | 1 | -0/+0 |
| | | |||||
| * | Refined treecopier, added transformer and accumulator classes | Martin Odersky | 2013-02-19 | 1 | -44/+251 |
| | | |||||
| * | Added TreeCopier class | Martin Odersky | 2013-02-18 | 1 | -8/+175 |
| | | |||||
| * | Some additions to TypedTreeGen | Martin Odersky | 2013-02-18 | 1 | -1/+11 |
| | | |||||
| * | Addec convenience methods for symbol creation. | Martin Odersky | 2013-02-18 | 3 | -25/+51 |
| | | |||||
| * | Changes to completers. | Martin Odersky | 2013-02-18 | 5 | -105/+57 |
|/ | | | | Dropped concept of pre-complete loading. Made completers functions. | ||||
* | Improved position handling. | Martin Odersky | 2013-02-18 | 7 | -106/+213 |
| | | | | | | | | | | 1. All positions are range position. 2. Improved position API 3. renamed Offset to Coord, and made sure indices cannot be confused with positions. 4. Trees now automatically get positions that enclose their subtree's positions. 5. typed DefTrees contain positions that also enclose their symbol's position. To make this work well, a symbol's coord should point to the introducing keyword (e.g. def, val, class). | ||||
* | Fleshed out TypeTreeGen. | Martin Odersky | 2013-02-18 | 10 | -99/+303 |
| | | | | All base cases now supported. Still missing: Intelligent treatment of positions. | ||||
* | Fleshed out tree handling | Martin Odersky | 2013-02-16 | 4 | -31/+401 |
| | |||||
* | Added -d setting. Deleted sourcefile attribute handling in classfile parser ↵ | Martin Odersky | 2013-02-15 | 3 | -9/+117 |
| | | | | because it is used nowhere. | ||||
* | Optimization: don't generate member symbols for private members in a Java ↵ | Martin Odersky | 2013-02-15 | 1 | -2/+3 |
| | | | | classfile. | ||||
* | Creating an empty constructor if none has been read in the classfile. | Martin Odersky | 2013-02-15 | 1 | -0/+10 |
| | |||||
* | Moved ConstantPool to end of class ClassfileParser | Martin Odersky | 2013-02-15 | 1 | -213/+213 |
| | |||||
* | Consolidating error handling in unpickler and classfileparser. | Martin Odersky | 2013-02-15 | 4 | -56/+23 |
| | | | | MissingRequirement eliminated; it got replaced by new StubSymbol handling. | ||||
* | Almost completed code for unpickling and classfile loading. | Martin Odersky | 2013-02-15 | 6 | -621/+2037 |
| | | | | Still remains: Unpicklign trees, dealing with sourcefile attributes. | ||||
* | New definitions and flags | Martin Odersky | 2013-02-15 | 3 | -34/+61 |
| | |||||
* | Adding method to create denotations to Contexts. | Martin Odersky | 2013-02-15 | 1 | -28/+96 |
| | |||||
* | Add method to show a scope. | Martin Odersky | 2013-02-15 | 1 | -2/+1 |
| | |||||
* | PreNames as a way to unify Names and Strings. | Martin Odersky | 2013-02-15 | 2 | -1/+17 |
| | |||||
* | A method to show denotations | Martin Odersky | 2013-02-15 | 1 | -1/+8 |
| | |||||
* | Add offset to Symbols. | Martin Odersky | 2013-02-15 | 3 | -49/+84 |
| | | | | Also refines StubCompleters. | ||||
* | Some new utility methods in Types. | Martin Odersky | 2013-02-15 | 2 | -4/+19 |
| | |||||
* | More annotation constructors. | Martin Odersky | 2013-02-15 | 1 | -6/+29 |
| |