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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Disable tests that require scala-compiler	Guillaume Martres	2017-02-18	1	-3/+0
\| \| \| \|	This is necessary if we ever want to get rid of our dependency on scala-compiler
*	honor -encoding compiler flag and defaults	Martijn Hoekstra	2016-09-07	2	-0/+8
\| \| \| \| \| \| \| \| \|	rename test/pos/valueclasses to pos_valueclasses tests/pos/valueclasses generates a valueclasses.flags file in /tests/partest-generated/pos that conflicts with the valueClasses.flags file that tests/neg/valueClasses.scala tries to create
*	Recategorize tests	Martin Odersky	2016-08-26	1	-0/+9
\| \| \| \| \| \| \| \| \|	Passing tests from pending/pos go in pos. Some others go in diabled/not-testable. These are tests that require a compilation order which we cannot yet do with our unit testing framework. Compiling them alltogether (as is now doen in junit) does not work either for them because they contain a duplicate class.
*	Add passing test	Martin Odersky	2016-08-18	2	-0/+8
\| \| \| \|	Needs to be done in pos-special because junit tests do not recognize _1, _2.
*	Reorganize tests to account for new typing of projection	Martin Odersky	2016-02-09	3	-32/+0
\| \| \| \| \| \|	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.
*	Surive non-existing sourceModule in Scala2 pickled info.	Martin Odersky	2016-02-05	1	-0/+3
\| \| \| \| \| \| \| \| \|	It seems when unpickling nsc that some module classes come without a source module. Survive this situation rather than crashing. i859.scala is an example. i859 compiles with the patch, but causes a deep subtype when unpickling. Not sure whether scalac does the same.
*	Revise alias rules in type comparisons.	Martin Odersky	2015-12-15	2	-22/+0
\| \| \| \|	The fix solves two cases where we had a deep subtype before.
*	Allow deep subtype for sets and related code in dotty/transform.	Martin Odersky	2015-12-13	1	-0/+11
\| \| \| \| \|	The change in subtyping led to a deep subtype recursion for sets.scala. It seems legit, so the -Yno-deep-subtypes check is disabled.
*	Avoid spurious procedure syntax migration warning	Martin Odersky	2015-11-09	1	-0/+6
\|
*	Handle variance unsoundness in scalac	Martin Odersky	2015-11-05	1	-0/+21
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The included test pos-special/variances-constr.scala demonstrates an unsoundness in the variance checking of scalac. Scalac excludes symbols owned by constructors from the checking. This is unsound, as can be demonstrated by compiling the test and observing output of the program run: Exception in thread "main" java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String at Test$.main(variances-constr.scala:17) at Test.main(variances-constr.scala) Dotty allows this code only under -language:Scala2 and issues a migration warning.
*	Deal gracefully with missing return types of abstract menthods.	Martin Odersky	2015-11-01	2	-0/+5
\| \| \| \| \| \| \|	1) Better error message: "missing return type" instead of `=' expected. 2) Allow them under language:Scala2 Fixes #871
*	Moved pending tests that work into pos and neg.	Martin Odersky	2014-11-17	1	-0/+11
	One test (t2613) required lifting a hard recursion limit in findMember (used for debug only, will be removed in the future). The same test also requires -Yno-deep-subtypes to be reset, so it's in pos_special instead of pos.