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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Neg tests: remove // error from pos tests	VladimirNik	2016-02-19	1	-1/+1
\|
*	Negtests with // error comments	vsalvis	2016-02-18	1	-2/+2
\|
*	Drop test that lower bound must be a subtype of upper bound.	Martin Odersky	2015-11-05	1	-0/+39
\| \| \| \| \| \|	As discussed in #780 and #525, the test is not needed. This makes t1279a compile, which got moved now to pos. Fixes #780 and #915. It also makes scala.List compile. Review by @smarter.
*	Re-enabled checkbounds tests	Martin Odersky	2014-08-08	1	-39/+0
\| \| \| \| \| \| \| \|	Now that F-bunded types are treated more robustly, we can check bounds for non-emptyness during Typer. This unvealed one wrong test (wonder how that passed scalac?), which got moved to neg.
*	Fix of t1279a: baseTypeWithArgs	Martin Odersky	2014-03-21	1	-0/+39
	baseTypeWithArgs now also keeps track of refinements in the subtypes. Without that, the approximated lub in t1279a is too coarse and the program fails to typecheck.