scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	Deskolemize type skolems before pickling.	Paul Phillips	2012-12-15	1	-0/+1
	Lex Spoon noticed what appeared to be duplicate symbols in methods read from classfiles. The duplicates turned out to be type skolems, which because they're not supposed to be pickled in the first place (right?) are unpickled without turning back into skolems. Now pickler is careful to deskolemize before writing anything down. The effort implied by test case is more than can possibly be justified for this obscure compiler corner, but I'll chalk it up to reflection exploration.