aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core/Contexts.scala
Commit message (Collapse)AuthorAgeFilesLines
...
* Defined root context with importsMartin Odersky2013-08-171-22/+7
| | | | … and cleaned up and simplified other context-reated features.
* Integrated parser/typer into compilerMartin Odersky2013-08-141-2/+12
| | | | | Some initial bug fixes. Added -explaintypes diagnostics.
* Refactored handling of phases to make them more robust and simpler to install.Martin Odersky2013-08-121-6/+3
|
* Added code for adapt and more.Martin Odersky2013-07-211-8/+13
| | | | | | | - Pushed mode into context - Elimintaed scope nesting level - Fixed a desugar bug - Added constant folding
* Integrated reporting into TyperState.Martin Odersky2013-07-191-9/+5
|
* Additions needed to support implicits.Martin Odersky2013-07-191-1/+45
| | | | | | Still to do: - properly account for bounded wildcard types - set up scheme for nested diagnostics buffers.
* Freshing out some more aspects of applications.Martin Odersky2013-07-151-0/+3
|
* Added functionality to deal with function applications.Martin Odersky2013-07-111-8/+18
| | | | | | | | | | | | | - 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
* Added logic for constraint solving.Martin Odersky2013-06-221-16/+4
| | | | Re-organized constraints and type comparers and added methods that will be needed for type inference.
* Flehsed out constraints, with more efficient maps.Martin Odersky2013-06-221-3/+3
|
* Added typedIdent method.Martin Odersky2013-06-181-5/+5
| | | | Also some refactorings that were caused by adding this method.
* Namer redesign.Martin Odersky2013-06-061-1/+1
| | | | A new design that relies on DefDef local maps, instead of global maps before.
* wip - partial redesign of namer/typerMartin Odersky2013-06-051-1/+7
|
* Refactoring: breaking out desugaring into its own object.Martin Odersky2013-06-041-0/+1
| | | | | Also, changing the maps in Namer. More commenting needs to be done. Pushing now to get off this machine and back to the new one, which just came back form repair.
* wip, because I have to get off this machine.Martin Odersky2013-05-301-10/+34
|
* wip namer.Martin Odersky2013-05-281-2/+1
|
* Made tpd/untpd toplevel objects.Martin Odersky2013-05-221-1/+1
| | | | Moved all other elements of TypedTrees and UntypedTrees into tpd and untpd.
* More tree refactorings.Martin Odersky2013-05-221-1/+1
| | | | | | | 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-3/+4
| | | | | 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-3/+3
|
* Added conditional warning facilityMartin Odersky2013-05-131-1/+1
| | | | …for deprecation, feature, unchecked.
* Modifications in prepation of parsing.Martin Odersky2013-04-231-0/+1
|
* Added some predefined methods in Definitions.Martin Odersky2013-04-191-1/+4
|
* Scanners added.Martin Odersky2013-04-171-3/+6
| | | | | | | Moving Positions, Chars to new packages. Added Source positions. Added untyped trees module. Factored out behavior between typed and untyped trees.
* Removing automatic legal prefix checking.Martin Odersky2013-04-101-11/+24
| | | | It turned out this led to cycles in subtyping. We need to check for legal prefixes only for types that are declared or inferred in source. For the rest, we should assume that the type is OK.
* Extension mechanism which allows to add more properties to contexts.Martin Odersky2013-04-091-0/+9
| | | | | Looking up these properties requires a map lookup so is slower than a context field. On the other hand, a property in the map does not require addiitonal space in all contexts, so does not increase the price of cloning either.
* Improvements in tracing and some Type fixes.Martin Odersky2013-04-031-9/+1
|
* More fixes for classfile reading.Martin Odersky2013-03-251-1/+9
| | | | In particular: Survive malformed type errors. Make trees cloneable. and others more.
* More fixes to classfile loading.Martin Odersky2013-03-241-0/+1
|
* More fixes to classfile reading.Martin Odersky2013-03-231-0/+1
| | | | Most important one: Getting equality of NamedTypes right.
* More fixes to classfile reading.Martin Odersky2013-03-211-1/+1
| | | | Can now read all classes in scala.collection.generic. Some failures remain for their companion objects.
* Pretty-printing improvements.Martin Odersky2013-03-201-1/+2
|
* Various fixes to make classfile loading work.Martin Odersky2013-03-151-2/+5
| | | | Can now read and display info of verious classfiles as listed in the showClass test. Great end of the week!
* Various fixes that make loadDef largely work.Martin Odersky2013-03-141-0/+5
| | | | Only problem is that there are stubs for AnyRef generated.
* Various fixes to get past Definitions#init.Martin Odersky2013-03-131-1/+2
|
* First steps to make compiler start work.Martin Odersky2013-03-111-3/+10
| | | | Still fighting with CyclicReference errors.
* Some refinements for priningMartin Odersky2013-03-071-1/+8
| | | | Made trees printable in plain mode (refined mode still missing).
* Finished polishing of Types and TypeOps.Martin Odersky2013-03-061-2/+5
| | | | Manjor change is that splitArgs got eliminated and replaced by an optimized version of typeArgs.
* More polishing of types.Martin Odersky2013-03-051-1/+0
|
* Review of TypeComparersMartin Odersky2013-03-051-3/+8
|
* Rewrite of isVolatileMartin Odersky2013-03-041-6/+6
| | | | Also, now all calls to NamedType#underlying are montored for infinite cycles.
* Cleaup of ContextsMartin Odersky2013-02-271-16/+101
|
* Filling in all ???sMartin Odersky2013-02-271-23/+51
| | | | | | | Added reporters. Added context for signatures. Implemented method signatures via erasure. Refined derivedNameType handling.
* Refactoring and cleanup of several symbol creation related aspects.Martin Odersky2013-02-241-2/+3
| | | | | | | 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.
* Fleshed out tree handlingMartin Odersky2013-02-161-1/+5
|
* New definitions and flagsMartin Odersky2013-02-151-7/+11
|
* Make NoContext#base a def.Jason Zaugg2013-02-101-1/+1
| | | | As it throws an unsupported error.
* Fleshed out printers.Martin Odersky2013-02-081-0/+23
|
* Make superId management depend on TypeRefs instead of ClassSymbols.Martin Odersky2013-02-071-5/+5
| | | | Reason: Symbols may change on each run; TypeRefs do not.
* Some progress in printing things.Martin Odersky2013-02-061-6/+21
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-28 02:11:18 +0000