scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	Corrects behavior of finalResultType.	Paul Phillips	2013-09-13	1	-2/+49
\| \| \| \| \| \| \| \| \| \| \| \|	The implementation had come to depend on finalResultType accidentally doing things beyond its charter - in particular, widening types. After hunting down and fixing the call sites depending on the bugs, I was able to rewrite the method to do only what it's supposed to do. I threw in a different way of writing it entirely to suggest how some correctness might be obtained in the future. It's a lot harder for a method written like this to break.
*	infer singleton when asking for it	Adriaan Moors	2011-10-20	1	-0/+5
	a type var's constraint now also tracks whether the type var was compared to a stable type if it was, we probably shouldn't widen the type argument that's inferred for this var, as the result will surely fail to type check NOTE: must be enabled using -Xexperimental review by extempore