summaryrefslogtreecommitdiff
path: root/src/compiler/scala/tools/nsc/typechecker/Infer.scala
Commit message (Expand)AuthorAgeFilesLines
* SI-9636 More precise error pos on apply inferenceSom Snytt2016-12-201-32/+24
* remove deprecated compiler flag "-Yinfer-by-name"Lars Hupel2016-12-011-4/+2
* Propagate overloaded function type to expected arg typeAdriaan Moors2016-08-121-1/+1
* SI-9760 Fix for higher-kinded GADT refinementMiles Sabin2016-04-191-1/+0
* Refactor: simplify fallbackAfterVanillaAdapt.Adriaan Moors2016-03-261-1/+1
* Set the scene for Sammy.Adriaan Moors2016-03-261-1/+3
* SI-9415 Turn on SAM by defaultJason Zaugg2016-03-261-1/+1
* SI-9498 Avoid caching bug with pattern type variablesJason Zaugg2015-09-301-0/+1
* Merge remote-tracking branch 'origin/2.11.x' into 2.12.xSeth Tisue2015-08-201-1/+1
|\
| * ScalaDoc fixes for compilerJanek Bogucki2015-07-291-1/+1
* | Merge remote-tracking branch 'origin/2.11.x' into merge/2.11.x-to-2.12.x-2015...Jason Zaugg2015-07-231-1/+1
|\|
| * Fix 23 typos (t-v)Janek Bogucki2015-07-151-1/+1
* | Merge branch '2.11.x' into merge/2.11.x-to-2.12.x-20150624Jason Zaugg2015-06-241-1/+1
|\|
| * Fix 25 typos (g-i)Janek Bogucki2015-06-221-1/+1
* | Merge remote-tracking branch 'origin/2.11.x' into merge/2.11.x-to-2.12.x-2015...Jason Zaugg2015-05-011-1/+1
|\|
| * Fix many typosMichaƂ Pociecha2015-04-211-1/+1
* | Merge commit '32f520f' into merge/2.11-to-2.12-apr-1Lukas Rytz2015-04-011-3/+2
|\|
| * SI-8861 Handle alias when probing for AnySom Snytt2015-03-091-3/+2
* | SI-9074 Fix generic substitution with package objects, overloadingJason Zaugg2015-03-241-1/+1
|/
* Fix many typos in docs and commentsmpociecha2014-12-141-1/+1
* [sammy] eta-expansion, overloading (SI-8310)Adriaan Moors2014-11-061-0/+6
* Merge pull request #3936 from som-snytt/issue/8806Jason Zaugg2014-09-161-1/+8
|\
| * SI-8806 Add lower bound check to Any lintSom Snytt2014-09-051-2/+9
* | -Ystatistics accepts a list of phases, cleanups in MultiChoiceSettingLukas Rytz2014-09-021-1/+1
* | Towards more privacy for _reporter.Adriaan Moors2014-08-041-7/+7
* | s/reportBuffer/reporterAdriaan Moors2014-07-181-1/+1
* | Reduce Context iface: inline trivial forwarders.Adriaan Moors2014-07-171-1/+1
* | Encapsulate `TryTwice` as a class, move to `Context`.Adriaan Moors2014-07-171-82/+56
* | Remove another redundant forwarderAdriaan Moors2014-07-171-2/+0
|/
* Rip out reporting indirection from CompilationUnitAdriaan Moors2014-07-041-1/+1
* SI-8197 clarify overloading resolution with default argsAdriaan Moors2014-02-251-12/+32
* SI-8197 Only consider immediate params for defaults, overloadingJason Zaugg2014-02-221-1/+2
* SI-8197 Overload resolution should not consider default argumentsAdriaan Moors2014-02-191-1/+1
* SI-8129 Crack the case of the curiously incoherent ContextJason Zaugg2014-02-101-1/+2
* SI-8228 Avoid infinite loop with erroneous code, overloadingJason Zaugg2014-02-021-0/+1
* SI-7899 Allow by-name inference under -Yinfer-by-nameJason Zaugg2013-10-141-1/+5
* SI-7899 Don't infer by-name types during, e.g. eta-expansionJason Zaugg2013-10-071-2/+3
* Logging cleanup.Paul Phillips2013-08-251-11/+12
* Value class Depth.Paul Phillips2013-08-251-33/+18
* Revert "Minor improvement in pattern typer inference."Paul Phillips2013-08-181-12/+9
* Pattern matcher: extractors become name-based.Paul Phillips2013-08-171-90/+0
* Add some logging to instantiateTypeVar.Paul Phillips2013-08-171-1/+12
* Expanded logic in formalTypes.Paul Phillips2013-08-171-8/+17
* Minor improvement in pattern typer inference.Paul Phillips2013-08-171-9/+12
* SI-7624 Fix -feature warnings and build with -featureSimon Ochsenreither2013-08-151-1/+1
* Make -Ytyper-debug output readable.Paul Phillips2013-07-171-38/+15
* Concision contribution.Paul Phillips2013-05-231-6/+6
* Swabbing exprTypeArgs.Paul Phillips2013-05-201-55/+50
* Help makeFullyDefined allocate fewer ListBuffers.Paul Phillips2013-05-201-8/+7
* Tried to follow own advice with isCoercible.Paul Phillips2013-05-201-27/+21