scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	[vpm] fix half of my existential troubles	Adriaan Moors	2012-03-20	1	-0/+35
	no need for the clunky repackExistential pack the type of each case instead, since the skolems we've created shouldn't last beyond the case anyway this way we don't end up with fresh, incompatible, skolems for every case, but a neatly packed existential