scala - The Scala programming language

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge pull request #653 from dragos/issue/skip-lub-in-blocks	Adriaan Moors	2012-06-03	2	-3/+3
\|\
\| *	Don't compute least upper bounds for expressions in statement positions insid...	Iulian Dragos	2012-06-03	2	-3/+3
* \|	Unreachability analysis for pattern matches	Adriaan Moors	2012-06-01	7	-1/+64
\|/
*	Merge pull request #636 from retronym/ticket/5845	Adriaan Moors	2012-05-28	2	-0/+23
\|\
\| *	SI-5845 Advances the example from a crasher to an inference failure.	Jason Zaugg	2012-05-28	2	-0/+23
* \|	don't check exhaustivity involving user-defined unapplySeq	Adriaan Moors	2012-05-28	1	-5/+1
\|/
*	Orphan checkfile remover.	Paul Phillips	2012-05-26	6	-21/+0
*	Merge pull request #626 from retronym/ticket/4818	Adriaan Moors	2012-05-26	2	-0/+13
\|\
\| *	Test case closes SI-4818	Jason Zaugg	2012-05-25	2	-0/+13
* \|	Merge pull request #625 from retronym/ticket/5318-3	Adriaan Moors	2012-05-25	6	-0/+45
\|\ \
\| * \|	SI-5318 Make implicit divergence checking PolyType aware.	Jason Zaugg	2012-05-25	6	-0/+45
* \| \|	Merge pull request #613 from hubertp/issue/5821	Adriaan Moors	2012-05-25	3	-1/+16
\|\ \ \
\| * \| \|	Closes SI-5821.	Hubert Plociniczak	2012-05-24	3	-1/+16
* \| \| \|	don't error when not emitting required switch	Adriaan Moors	2012-05-25	1	-0/+1
\| \|_\|/ \|/\| \|
* \| \|	Pending and passing tests.	Paul Phillips	2012-05-23	2	-0/+32
* \| \|	more tests for SI-3761	Lukas Rytz	2012-05-23	2	-0/+26
* \| \|	Merge pull request #601 from adriaanm/3f7b8b58748eb70aec4269f1ef63853b5ad4af60	Adriaan Moors	2012-05-23	17	-83/+75
\|\ \ \
\| * \| \|	Exhaustivity: TreeMakers as boolean propositions	Adriaan Moors	2012-05-22	17	-83/+75
\| \|/ /
* \| \|	Merge pull request #602 from hubertp/issue/5735	Adriaan Moors	2012-05-22	2	-0/+13
\|\ \ \
\| * \| \|	Closes SI-5735, this could also potentially fix a SO problem that @adriaanm w...	Hubert Plociniczak	2012-05-21	2	-0/+13
* \| \| \|	Merge pull request #588 from retronym/ticket/5305	Adriaan Moors	2012-05-22	2	-0/+7
\|\ \ \ \
\| * \| \| \|	Don't hop to the first enclosing, non-silent context when typing refinements.	Jason Zaugg	2012-05-06	2	-0/+7
* \| \| \| \|	SI-2405 Confer implicit privileges to renamed imports.	Jason Zaugg	2012-05-22	2	-0/+18
\| \|_\|/ / \|/\| \| \|
* \| \| \|	SI-5760: Improve error message for package$Klass conflict with Klass	Som Snytt	2012-05-20	3	-0/+26
\| \|_\|/ \|/\| \|
* \| \|	Merge pull request #578 from lrytz/wip/t5044-squashed	Adriaan Moors	2012-05-19	3	-1/+23
\|\ \ \
\| * \| \|	better feedback for SI-5044	Lukas Rytz	2012-05-18	3	-1/+23
* \| \| \|	Merge pull request #577 from lrytz/wip/t2488	Adriaan Moors	2012-05-19	2	-0/+43
\|\ \ \ \
\| * \| \| \|	Fix SI-2488	Lukas Rytz	2012-05-18	2	-0/+43
\| \| \|_\|/ \| \|/\| \|
* \| \| \|	Merge pull request #568 from hubertp/issue/5801	Adriaan Moors	2012-05-19	2	-0/+38
\|\ \ \ \
\| * \| \| \|	Fixes SI-5801, error messages regression. Review by @adriaanm	Hubert Plociniczak	2012-05-18	2	-0/+38
* \| \| \| \|	Fix SI-5544	Lukas Rytz	2012-05-18	3	-0/+15
\| \|/ / / \|/\| \| \|
* \| \| \|	Merge pull request #566 from lrytz/wip/t4928	Adriaan Moors	2012-05-18	3	-6/+15
\|\ \ \ \
\| * \| \| \|	Fix SI-4928	Lukas Rytz	2012-05-16	3	-6/+15
\| \| \|/ / \| \|/\| \|
* / \| \|	A band-aid solution for SI-5803.	Jason Zaugg	2012-05-17	2	-0/+8
\|/ / /
* \| \|	Debugging output tweaks.	Paul Phillips	2012-05-14	1	-1/+1
* \| \|	Forbid forward refs from self constructor invocations.	Jason Zaugg	2012-05-11	2	-0/+35
* \| \|	Fixes SI-5564.	Aleksandar Prokopec	2012-05-08	2	-0/+13
\|/ /
\| \|
\| \
*-. \	Merge commit 'refs/pull/486/head'; commit 'refs/pull/487/head'; commit 'refs/...	Paul Phillips	2012-05-07	1	-4/+4
\|\ \ \ \| \| \|/ \| \|/\|
\| \| *	minor tag-related fixes	Eugene Burmako	2012-05-07	1	-4/+4
\| \|/
\| \|
\| \
\| \
\| \
*---. \	Merge commit 'refs/pull/479/head'; commit 'refs/pull/480/head'; commit 'refs/...	Paul Phillips	2012-05-06	2	-0/+17
\|\ \ \ \ \| \| \| \|/ \| \| \|/\|
\| * / \|	Test case closes SI-4568.	Jason Zaugg	2012-05-06	2	-0/+17
\| \|/ /
* / /	Test that primitive arrays aren't accepted as a Java generic array.	Jason Zaugg	2012-05-06	6	-0/+52
\|/ /
* \|	A couple checkfile updates which snuck by.	Paul Phillips	2012-05-04	1	-1/+3
* \|	Updated Symbol to record classfile origin.	Paul Phillips	2012-05-04	15	-17/+39
* \|	Fix for one of the oldest open soundness bugs.	Paul Phillips	2012-05-04	3	-4/+34
\|/
*	Test case for SI-5106.	Paul Phillips	2012-05-03	2	-0/+16
*	Moved passing tests from pending to files.	Paul Phillips	2012-05-03	2	-0/+15
*	Hardening implicit classes.	Paul Phillips	2012-05-03	2	-0/+11
*	Moved a warning behind -Xlint.	Paul Phillips	2012-05-03	1	-1/+1
*	SI-5703: normalize refined types more	Adriaan Moors	2012-05-03	1	-1/+1