aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/core
Commit message (Expand)AuthorAgeFilesLines
* Fixed bugs related to typechecking closures.Martin Odersky2013-08-271-2/+0
* Added wildcard argument handling to parsingMartin Odersky2013-08-251-0/+1
* Inferred singleton type instance of a type variable is widened …Martin Odersky2013-08-251-3/+16
* Optimized case for findMember on a type refinement.Martin Odersky2013-08-241-4/+9
* When merging denotations with &, always avoid NoSymbol when you can.Martin Odersky2013-08-241-1/+3
* Review of all deompositions of NamedTypeMartin Odersky2013-08-243-3/+3
* Fixed two problems that lead to over-zealous lifting.Martin Odersky2013-08-231-1/+0
* Fixes in implicit handlingMartin Odersky2013-08-231-2/+2
* Fixes bug in erasure.Martin Odersky2013-08-231-1/+1
* Fixes expansion and general handling of pattern defs.Martin Odersky2013-08-231-2/+2
* Fixing a buf in implicit searchMartin Odersky2013-08-221-2/+1
* More typer bug fixes and improvements in error messagesMartin Odersky2013-08-222-3/+2
* Various bug fixes for typer.Martin Odersky2013-08-224-11/+17
* Emprt package is now a member of Root package, not just owned by it.Martin Odersky2013-08-221-2/+3
* Change: MultiDenotation#symbol gives NoSymbol instead of assertion error.Martin Odersky2013-08-221-1/+1
* Refactoring to prototype schemeMartin Odersky2013-08-211-6/+1
* Fixes to import handling and adaptation and implicitsMartin Odersky2013-08-215-18/+27
* Fixes handling of modules in namer.Martin Odersky2013-08-204-13/+15
* Refactored scheme for maintaining sourceModule, moduleClass and decls in lazy...Martin Odersky2013-08-204-52/+42
* Some additions to module completionMartin Odersky2013-08-194-16/+23
* Changed handling of selection prototypes.Martin Odersky2013-08-192-1/+6
* Several fixes and refactorings for typecheckingMartin Odersky2013-08-198-43/+76
* Reverting isValid test in SymbolLoaders.Martin Odersky2013-08-171-7/+1
* Making definitions permanentMartin Odersky2013-08-175-24/+34
* Defined root context with importsMartin Odersky2013-08-171-22/+7
* Eliminating getter generation in namer/typer.Martin Odersky2013-08-162-72/+2
* Fixed overeager classfile pruning which dropped ::.classMartin Odersky2013-08-161-1/+3
* Various bugfixes for namer/typer/treesMartin Odersky2013-08-166-11/+33
* Fixes CyclicReference on enterMartin Odersky2013-08-151-1/+1
* Better robustness in the presence of error types.Martin Odersky2013-08-151-0/+2
* ErrorSymbols now have TypeBounds as info when they are type symbols.Martin Odersky2013-08-142-0/+6
* Integrated parser/typer into compilerMartin Odersky2013-08-143-18/+41
* Suppressing file names with $'s in them from loadingMartin Odersky2013-08-141-1/+5
* Fixing validity checking of denotations.Martin Odersky2013-08-133-14/+14
* Refactored handling of phases to make them more robust and simpler to install.Martin Odersky2013-08-122-20/+34
* Finished rest of typer.Martin Odersky2013-08-102-0/+7
* Implementation of match/case def including GADT pattern matching.Martin Odersky2013-08-083-3/+43
* Refined treatment of unapplyMartin Odersky2013-08-062-10/+52
* Revised typed ClassDef construction.Martin Odersky2013-08-051-1/+4
* Type checking function trees and closures.Martin Odersky2013-08-051-0/+9
* Handling typevars in inference.Martin Odersky2013-08-015-37/+153
* Redesign of trees.Martin Odersky2013-07-271-6/+6
* More typer logic, in particular dealing with variants of applicationsMartin Odersky2013-07-252-18/+16
* Added scheme to disabled implicit imports (not just Predef) if an explicit on...Martin Odersky2013-07-231-0/+2
* Avoid typeArgs when baseType is involved.Martin Odersky2013-07-222-3/+3
* SeqLiteral refactoringMartin Odersky2013-07-222-2/+22
* Added eta-expansion.Martin Odersky2013-07-223-10/+22
* Added code for adapt and more.Martin Odersky2013-07-214-27/+45
* Integrated reporting into TyperState.Martin Odersky2013-07-192-21/+17
* Made reporting framework more lightweight and uniform in preparation of futur...Martin Odersky2013-07-192-10/+1