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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fixes to comments suggested by reviewer	Martin Odersky	2015-09-21	1	-4/+4
\| \| \| \|	Fixes suggested by @marter when reviewing previous hk PR.
*	Disallow wildcard arguments to higher-kinded types...	Martin Odersky	2015-09-18	1	-1/+34
\| \| \| \|	...unless the HK type can be eta-reduced to a class type.
*	Eta expand type arguments corresponding to lambdas	Martin Odersky	2015-09-18	1	-2/+2
\| \| \| \| \|	In Namer, eta expand any type argument that corresponds to a higher-kinded type parameter. Also, check that all type parameter lists are fully applied.
*	Handling higher-kinded types with lambdas	Martin Odersky	2014-06-18	1	-0/+13
	Switch to the new scheme where higher-kinded types (and also some polymorphic type aliases) are represented as instances of Lambda traits.