scala - The Scala programming language

	Commit message (Expand)	Author	Age	Files	Lines
*	Avoid name table pollution with fresh existentials	Jason Zaugg	2016-11-08	1	-1/+1
*	SD-167 Fine tuning constructor pattern translation	Jason Zaugg	2016-07-25	1	-1/+2
*	SI-9567 Fix pattern match on 23+ param, method local case class	Jason Zaugg	2015-11-25	1	-1/+1
*	Improve method names (m-o)	Janek Bogucki	2015-06-28	1	-2/+2
*	Removed warnings	EECOLOR	2015-03-26	1	-1/+1
*	Fix many typos in docs and comments	mpociecha	2014-12-14	1	-1/+1
*	This ensures that typechecking custom unapplications in silent mode	Eugene Burmako	2014-09-11	1	-1/+1
*	Remove another redundant forwarder	Adriaan Moors	2014-07-17	1	-1/+1
*	SI-5900 Fix pattern inference regression	Jason Zaugg	2014-02-12	1	-3/+5
*	SI-7850 CCE in patmat with invalid isEmpty.	Paul Phillips	2013-12-15	1	-5/+19
*	SI-7897, SI-6675 improves name-based patmat	Paul Phillips	2013-12-15	1	-114/+8
*	Provide a way for unapply macro to obtain a list of subpattens	Den Shabalin	2013-12-10	1	-1/+3
*	blackbox restriction #4: can't customize pattern matching	Eugene Burmako	2013-11-12	1	-3/+4
*	decrease duplication of fresh* function definitions	Den Shabalin	2013-10-18	1	-1/+1
*	Merge pull request #3005 from paulp/pr/7886	Paul Phillips	2013-10-03	1	-16/+25
\|\
\| *	SI-6680 unsoundness in gadt typing.	Paul Phillips	2013-10-01	1	-20/+23
\| *	SI-7886 unsoundness in pattern matcher.	Paul Phillips	2013-10-01	1	-1/+7
* \|	Removing unused code.	Paul Phillips	2013-10-02	1	-11/+0
\|/
*	SI-7643 Enable newPatternMatching in interactive.	Jason Zaugg	2013-09-06	1	-6/+0
*	Logging cleanup.	Paul Phillips	2013-08-25	1	-5/+1
*	Refined name-based patmat methods.	Paul Phillips	2013-08-18	1	-16/+24
*	SI-5903 extractor macros	Eugene Burmako	2013-08-18	1	-0/+2
*	Pattern matcher: extractors become name-based.	Paul Phillips	2013-08-17	1	-220/+198
*	Introduced classes to encapsulate extractor info.	Paul Phillips	2013-08-17	1	-0/+123
*	Stylistic cleanups in patmat.	Paul Phillips	2013-08-17	1	-11/+13
*	Move most of Typers#Typer#typedTyped into PatternTypers.	Paul Phillips	2013-08-17	1	-0/+43
*	Pulled pattern typing methods from Typers.	Paul Phillips	2013-08-17	1	-0/+319