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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adapt neg tests to new neg tests checks	VladimirNik	2016-02-18	1	-3/+3
\|
*	Disallow existentially bound parameters as type parameters	Martin Odersky	2015-12-06	1	-0/+16
\| \| \| \| \| \| \|	Done in order to keep the basics as simple as possible. Treating existentially bound parameters as still instantiatable type parameters does not seem to add anything fundamental, and makes the type system less regular.
*	Allow existential types in hk types	Martin Odersky	2015-10-24	1	-11/+0
\|
*	Disallow wildcard arguments to higher-kinded types...	Martin Odersky	2015-09-18	1	-0/+11
	...unless the HK type can be eta-reduced to a class type.