scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix for SI-6537, inaccurate unchecked warning.	Paul Phillips	2012-10-18	1	-1/+3
\| \| \| \| \| \| \| \|	I found a more direct expression of the unchecked logic, which should be much easier for others to verify. But the bug being fixed here is that the unchecked checking happens too early, and the sealed children of a symbol are not yet visible if it is being simultaneously compiled.
*	Nailed down the "impossible match" logic.	Paul Phillips	2012-09-27	1	-0/+20
	I will again defer to a comment. /** Given classes A and B, can it be shown that nothing which is * an A will ever be a subclass of something which is a B? This * entails not only showing that !(A isSubClass B) but that the * same is true of all their subclasses. Restated for symmetry: * the same value cannot be a member of both A and B. * * 1) A must not be a subclass of B, nor B of A (the trivial check) * 2) One of A or B must be completely knowable (see isKnowable) * 3) Assuming A is knowable, the proposition is true if * !(A' isSubClass B) for all A', where A' is a subclass of A. * * Due to symmetry, the last condition applies as well in reverse. */