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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Check types for overriding conditions.	Martin Odersky	2015-12-14	1	-9/+0
\| \| \| \|	Closes #241 -- that took a while!
*	Add tests for the overriding of types	Guillaume Martres	2014-11-18	1	-0/+9
\| \| \| \|	These tests work correctly since 222e9a478f7b851582550973df6a9d141766e49a
*	Fix OverridingPairs	Martin Odersky	2014-11-14	1	-1/+1
\| \| \| \| \| \| \| \|	OverridingPairs had several bugs which caused pairs to be lost, which caused missing overrides checks. Fixing OverridingPairs revealed several test failures (and a problem in Synthetics generation which was fixed in the last commit). Tests that became negative are all moved into neg/overrides.scala, and the original versions in pos were fixed.
*	test for allOverriddenSymbols	Martin Odersky	2014-04-04	1	-0/+13
	... to verify whether they work correctly.