summaryrefslogtreecommitdiff
path: root/src/compiler/scala/tools/nsc/typechecker/Infer.scala
Commit message (Expand)AuthorAgeFilesLines
* SI-9760 Fix for higher-kinded GADT refinementMiles Sabin2016-08-151-1/+0
* ScalaDoc fixes for compilerJanek Bogucki2015-07-291-1/+1
* Fix 23 typos (t-v)Janek Bogucki2015-07-151-1/+1
* Fix 25 typos (g-i)Janek Bogucki2015-06-221-1/+1
* Fix many typosMichaƂ Pociecha2015-04-211-1/+1
* SI-8861 Handle alias when probing for AnySom Snytt2015-03-091-3/+2
* 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
* Wipe some dirt off protoTypeArgs's face.Paul Phillips2013-05-201-14/+8
* Splashed soap and water on checkAccessible.Paul Phillips2013-05-201-67/+29
* Pull some big chunks out of checkAccessible.Paul Phillips2013-05-201-0/+43
* Remove isPossiblyMissingArgs.Paul Phillips2013-05-201-10/+0
* Annotated return type of a method.Paul Phillips2013-05-201-4/+3
* Commented out code from 2008.Paul Phillips2013-05-201-7/+0
* Commented out code from 2007.Paul Phillips2013-05-201-43/+0
* Commented out code from 2006.Paul Phillips2013-05-201-13/+0
* Scrubbing up inferPolyAlternatives.Paul Phillips2013-05-201-77/+67
* Moving on to checkBounds.Paul Phillips2013-05-201-26/+19
* Cleaning crew moves down the hall.Paul Phillips2013-05-201-98/+70
* Cleaning up isApplicable and neighbors.Paul Phillips2013-05-201-99/+70
* Merge pull request #2483 from adriaanm/merge-2.10.xPaul Phillips2013-05-021-3/+9
|\