aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer/Applications.scala
Commit message (Expand)AuthorAgeFilesLines
* More systematic treatment of prototypes.Martin Odersky2014-05-201-27/+17
* Corrected computations of union denotations.Martin Odersky2014-04-081-2/+2
* replace some s"..." by i"..."Samuel Gruetter2014-04-021-4/+4
* replace i"..." by d"..." if string might go into aSamuel Gruetter2014-04-021-3/+3
* Rename methods on FreshContext to make mutation obviousDmitry Petrashko2014-03-271-2/+2
* Fix of t1272: overloading resolutionMartin Odersky2014-03-211-3/+9
* Added auto-tupling.Martin Odersky2014-03-201-2/+14
* Bullet-proofing companion objectsMartin Odersky2014-03-131-1/+0
* Main Typer reorg.Martin Odersky2014-03-071-25/+16
* First step towards Typer Reorganization.Martin Odersky2014-03-071-1/+1
* Merge pull request #37 from DarkDimius/assertionsDmitry Petrashko2014-03-041-1/+1
|\
| * More informative asserts.Dmitry Petrashko2014-03-031-1/+1
* | Fix of #34Martin Odersky2014-03-031-3/+5
|/
* Rename baseType -> baseTypeRefMartin Odersky2014-03-021-1/+1
* Some changes in the interest of speedups.Martin Odersky2014-02-121-1/+1
* Selective caching of SelectionProtos and ViewProtosMartin Odersky2014-01-271-1/+1
* Accept method types directly in isApplicable.Martin Odersky2014-01-271-0/+2
* For a typeRef, prefer info.isAlias over symbol.isAliasTypeMartin Odersky2014-01-201-1/+1
* Adapt fun prototype when looking for second chance implicits (aka BigInt)Martin Odersky2014-01-191-1/+3
* Refactoring to avoid multiple overloaded traceIndent methods.Martin Odersky2014-01-161-2/+2
* Relax type checking rule for pattern matching.Martin Odersky2014-01-151-12/+20
* Allow views when matching the result type of a selection prototype.Martin Odersky2014-01-151-1/+1
* Fix for constant foldingMartin Odersky2014-01-151-1/+1
* Fix typing of unapplySeq extractor arguments.Martin Odersky2014-01-151-1/+6
* Making some traces conditional on printers being enabled.Martin Odersky2014-01-131-2/+2
* Strip implicit parameters when deciding specifity of methods.Martin Odersky2014-01-111-2/+8
* Avoid dropping errors in typedApplyMartin Odersky2014-01-091-8/+6
* Avoid dropping errors in typedApplyMartin Odersky2014-01-091-1/+5
* Remove debug outputMartin Odersky2014-01-061-14/+3
* Change to overloading behaviorMartin Odersky2014-01-061-19/+25
* Fix to overloading resolution: prioritize non-methods over methods.Martin Odersky2014-01-061-3/+8
* Change to computing of unapply patterns.Martin Odersky2014-01-061-1/+2
* Propagate constraints on result type eagerly into implicit search.Martin Odersky2014-01-041-22/+0
* Fix in constrainResultMartin Odersky2014-01-041-2/+2
* Generalize overloading resolution to type arguments.Martin Odersky2014-01-041-24/+40
* Making printing configurable.Martin Odersky2014-01-031-7/+8
* Tightening of position handlngMartin Odersky2013-12-291-1/+1
* New version of eta-expansion.Martin Odersky2013-12-281-0/+4
* Making default getters for constructor of a case class work also for its appl...Martin Odersky2013-12-231-3/+4
* Typing by-name parameters with ExprTypes.Martin Odersky2013-12-221-2/+2
* Adding () insertion to normalization.Martin Odersky2013-12-211-4/+4
* Handling implicit unapply arguments.Martin Odersky2013-12-201-6/+14
* Change to computing arguments in a pattern match.Martin Odersky2013-12-191-2/+2
* Following type aliases when pattern matching.Martin Odersky2013-12-191-3/+36
* Three bugfixes to typing.Martin Odersky2013-12-171-0/+2
* Fixes for by-name argumentsMartin Odersky2013-12-171-4/+3
* Eliminating StateFulMartin Odersky2013-12-161-8/+12
* Default arguments now have a positionMartin Odersky2013-12-161-1/+6
* Fixed several deep problems in handling of types and symbols.Martin Odersky2013-12-141-5/+8
* Fixes to avoid stale symbols and to avoid methods as pattern constructors.Martin Odersky2013-12-091-6/+1
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 04:39:43 +0000