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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Don't make * types higher-kinded in avoid	Martin Odersky	2016-07-11	1	-9/+9
\| \| \| \|	Also, fix error counts in tests for new hk scheme.
*	Normalize RecTypes on creation to avoid cycles.	Martin Odersky	2016-07-11	1	-20/+21
\| \| \| \| \|	With this change, ski compiles (but with more errors than before). Without it, it goes into various infinite recursions.
*	Big realizability refactoring	Martin Odersky	2016-02-09	1	-2/+2
\| \| \| \| \| \| \|	Move logic from TypeOps to new file CheckRealizable.scala. Also check realizable fields under strict mode. Check at phase PostTyper rather than Typer to avoid cycles. New tests for imports and deep paths.
*	Reorganize tests to account for new typing of projection	Martin Odersky	2016-02-09	1	-11/+11
\| \| \| \| \| \|	Tests with failed projections are moved to pos-scala2, which was renamed from pos-special. Files in pos-scala2 are compiled with -language:Scala2 option.
*	Adapt and add tests	Martin Odersky	2016-01-18	1	-0/+136
	New test that exhibited the problem is ski.scala. Previously this did not fail with a bounds violation.