scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add PolyType to Infer#normalize.	Paul Phillips	2013-01-26	1	-0/+13
	It arises when inferring the type of an overloaded call: def g(s: String): String = s def f: String = ??? def f[C](c: C): String = g(f) Also refined warning when isHKSubType is called with arguments which very likely were never meant to be compared.