scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	Closed 6029 ...	Martin Odersky	2012-07-28	1	-0/+3
	... in a less nice way than I would like. Essentially, we mask type errors at later stages that arise from comparing existentials and skolems because we know that they are not tracked correctly through all tree transformations. Never mind that all these types are going erased anyway shortly afterwards. It does not smell nice. But as I write in the comment, maybe the best way out is to avoid skolems altogether. Such a change by far exceeds the scope of this pull request however.