aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Typer.scala
Commit message (Expand)AuthorAgeFilesLines
* Fix of #50 - volatileMartin Odersky2014-03-091-0/+2
* Main Typer reorg.Martin Odersky2014-03-071-201/+65
* Scond step to typer reorg: Introduce TypeAssigners.Martin Odersky2014-03-071-3/+3
* First step towards Typer Reorganization.Martin Odersky2014-03-071-13/+5
* Removed useless ValDef flagged by @samuelgruetter in previous pull requestMartin Odersky2014-03-071-2/+1
* Fix problem comparing overloaded TermRefsMartin Odersky2014-03-071-1/+1
* Made TypeBoundsTrees to be TypTrees so they are eliminated by PostTyperTransformMartin Odersky2014-03-071-1/+0
* Fix of #39Martin Odersky2014-03-041-33/+36
* Fix of #34Martin Odersky2014-03-031-3/+3
* Fix problem when handling structural types without a nominal parent type.Martin Odersky2014-03-011-1/+1
* Reorganization of template parents.Martin Odersky2014-03-011-2/+23
* Performance improvement: Avoid most operations in interpolateUndetVarsMartin Odersky2014-02-251-2/+2
* More statistics for created and retained treesMartin Odersky2014-02-241-2/+2
* Some changes in the interest of speedups.Martin Odersky2014-02-121-18/+15
* COnverted symOfTree and expandedTree to attachments.Martin Odersky2014-02-111-4/+8
* New scheme for attachments.Martin Odersky2014-02-111-1/+1
* New scheme for incremental invalidation of parents.Martin Odersky2014-02-101-0/+9
* WIP: Fixes to bring symbols forwardMartin Odersky2014-02-091-4/+8
* Fine-tuning contexts for resolve overloadingMartin Odersky2014-02-031-1/+1
* Fix problems with TypeVar instantiationMartin Odersky2014-02-031-2/+2
* Relaxing check that implicits must have explicit return typeMartin Odersky2014-02-021-2/+2
* Adding checks for implicit definitionsMartin Odersky2014-02-021-0/+5
* Avoid accessing implicits that come from root imports that are hidden by some...Martin Odersky2014-02-021-5/+2
* Fix checking for disabled root importsMartin Odersky2014-02-021-5/+5
* Some more statistic samplingMartin Odersky2014-01-261-2/+2
* Dropping isFullyRefined requirement when adapting to SAM type.Martin Odersky2014-01-191-1/+5
* Fixing problems around isAbsentMartin Odersky2014-01-181-0/+1
* Refine avoiding local refs in block's type.Martin Odersky2014-01-181-6/+22
* Avoid SuppressedError exceptionsMartin Odersky2014-01-171-1/+1
* Refactoring to avoid multiple overloaded traceIndent methods.Martin Odersky2014-01-161-1/+1
* Tweak to typing of function values.Martin Odersky2014-01-151-5/+15
* Allow views when matching the result type of a selection prototype.Martin Odersky2014-01-151-2/+2
* Fix for constant foldingMartin Odersky2014-01-151-1/+1
* Treat "this" specially when it appears in a parent constructorMartin Odersky2014-01-151-3/+13
* Avoiding typing a () tree without position when typing returnMartin Odersky2014-01-141-1/+1
* Refined handling of importsMartin Odersky2014-01-131-5/+11
* Better handling of assignment.Martin Odersky2014-01-131-4/+4
* Fix to typedFunctionMartin Odersky2014-01-131-2/+2
* When typing a function value (xs) => T with a function type as exp[ected type,Martin Odersky2014-01-131-0/+3
* Avoid cyclic references using imports.Martin Odersky2014-01-111-1/+1
* Handles setters where the getter takes implicit or other parameters.Martin Odersky2014-01-111-16/+20
* Ensure progress in checkAccessibleMartin Odersky2014-01-091-1/+1
* Better error message for failed overloading resolution.Martin Odersky2014-01-091-2/+3
* Change to overloading behaviorMartin Odersky2014-01-061-1/+2
* Propagate constraints on result type eagerly into implicit search.Martin Odersky2014-01-041-1/+1
* Add AnyRef parent for case classes that do not have an extends clause.Martin Odersky2014-01-041-1/+3
* Make anonymous methods non-dependent where possible so that they can be used ...Martin Odersky2014-01-041-2/+2
* Making printing configurable.Martin Odersky2014-01-031-7/+8
* safeUnderlyingTypeParams now forces uncompleted symbols.Martin Odersky2014-01-031-4/+4
* Taking a fully-defined result type into account when forming a closure.Martin Odersky2014-01-021-3/+3