scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	SI-8146 Test cases for typechecking decidability	Jason Zaugg	2014-01-14	1	-0/+8
	Taken from "On Decidability of Nominal Subtyping with Variance" (Pierce, Kennedy), which was implemented in 152563b. Part of the implementation (SubTypePair) will be changed in the following commit to fix the non-deterministic errors typechecking heavily nested types involving aliases or annotations.