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

	Commit message (Collapse)	Author	Age	Files	Lines
*	More negative override tests	Martin Odersky	2015-02-07	1	-0/+14
\|
*	Fix of #329.	Martin Odersky	2015-02-07	1	-0/+7
\| \| \| \|	Overriding pairs needs to match ExprTypes with field types. Closes #329.
*	Test reorg	Martin Odersky	2015-02-07	1	-0/+21
\|
*	Add tests for the overriding of types	Guillaume Martres	2014-11-18	1	-0/+11
\| \| \| \|	These tests work correctly since 222e9a478f7b851582550973df6a9d141766e49a
*	Check that overriding members refine the types of overridden ones.	Martin Odersky	2014-11-18	1	-0/+11
\| \| \| \| \|	Somehow this was lost in porting (or was this done somewhere else in scalac?).
*	Fix OverridingPairs	Martin Odersky	2014-11-14	1	-0/+59
	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.