dotty - Research platform for new language concepts and compiler technologies for Scala.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Negtests with // error comments	vsalvis	2016-02-18	1	-2/+2
\|
*	Skolemize unstable prefixes in asSeenFrom	Martin Odersky	2015-06-06	1	-0/+27
	Skolemize unstable prefixes in asSeenFrom provided - the prefix appears at least once in non-variant or contra-variant position - we are in phase typer. After typer, we have already established soundness, so there's no need to do skolemization again. We can simply do the (otherwise unsound) substitution from this-type to prefix.