aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Typer.scala
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fixing problems with wrong ownerMartin Odersky2014-01-021-6/+10
* Propagating fully defined result types into closures.Martin Odersky2014-01-021-6/+10
* Ensuring that contexts do not have NoSymbol as owner.Martin Odersky2014-01-021-3/+3
* Better error message for accessibility errors.Martin Odersky2014-01-021-3/+3
* More precise widening of types referring to a block-local.Martin Odersky2014-01-011-1/+1
* Reverting a change in `tpd` that would no longer be type-correct under dotty ...Martin Odersky2014-01-011-1/+4
* Fixing the type of a named self reference.Martin Odersky2013-12-311-1/+9
* Tightening of position handlngMartin Odersky2013-12-291-1/+2
* New version of eta-expansion.Martin Odersky2013-12-281-18/+69
* Avoiding auto-unit insertion.Martin Odersky2013-12-251-1/+1
* Dropping redundant treatment of constructors in selectionType.Martin Odersky2013-12-241-3/+1
* Fixing problems in treatment of private symbolsMartin Odersky2013-12-241-17/+23
* Refining checkClassTypeWithStablePrefixMartin Odersky2013-12-241-1/+1
* Making default getters for constructor of a case class work also for its appl...Martin Odersky2013-12-231-2/+6
* Typing by-name parameters with ExprTypes.Martin Odersky2013-12-221-0/+6
* Desugaring changesMartin Odersky2013-12-221-2/+3
* Fixed problem in adapt after infer implicit arguments.Martin Odersky2013-12-191-1/+1
* 3 changes to implicit searchMartin Odersky2013-12-191-2/+2
* Three bugfixes to typing.Martin Odersky2013-12-171-2/+3
* Two fixes in TyperMartin Odersky2013-12-171-3/+6
* Fixes to desugaring and indexing package objectsMartin Odersky2013-12-171-9/+6
* Eliminating StateFulMartin Odersky2013-12-161-15/+5
* Small tweaks to typerMartin Odersky2013-12-161-5/+5
* Better handling of cyclic reference errors.Martin Odersky2013-12-161-1/+3
* Checking for double definitions among class definitions.Martin Odersky2013-12-161-18/+13
* Fix to desugaring refinement types.Martin Odersky2013-12-161-1/+1
* Fixes to typed return, try, match.Martin Odersky2013-12-161-16/+19
* Fixes related to SAM types.Martin Odersky2013-12-151-6/+15
* Fixes to typer.Martin Odersky2013-12-111-11/+13
* Fixes and tests for typedIdentMartin Odersky2013-12-101-18/+23
* Fixes to avoid stale symbols and to avoid methods as pattern constructors.Martin Odersky2013-12-091-20/+36
* Added desugaring for & and | types.Martin Odersky2013-12-091-1/+1
* Fixes to desugaring and typing of parameterized TypedefsMartin Odersky2013-12-091-2/+2
* Fixes to type-checking (_: T)Martin Odersky2013-12-071-9/+17
* Changes to Desugar and Namer.Martin Odersky2013-12-051-14/+7
* Fixes to type applications and unapply.Martin Odersky2013-12-021-0/+1
* Tweaks to applications, operator assignments, and variable definitions.Martin Odersky2013-12-011-2/+7
* Tweaking ImplicitsMartin Odersky2013-11-291-2/+2
* Tweaks to InferencingMartin Odersky2013-11-291-2/+2
* Hoisting out commonly used values into util.commonMartin Odersky2013-11-281-1/+2
* Changed SignaturesMartin Odersky2013-11-271-0/+1
* Cleanup of TermRef.withSym and TypeRef.withSymMartin Odersky2013-11-251-2/+2
* Cleanup of named type creation from SymDenotations.Martin Odersky2013-11-231-7/+7
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 13:48:31 +0000