scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	SI-6680 unsoundness in gadt typing.	Paul Phillips	2013-10-01	1	-0/+1
	Introduces -Xstrict-inference to deal with the significant gap between soundness and what presently compiles. I'm hopeful that it's TOO strict, because it finds e.g. 75 errors compiling immutable/IntMap.scala, but it might be that bad.