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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge pull request #1072 from dotty-staging/change-isVolatile-2	odersky	2016-02-19	1	-6/+7
\|\ \| \| \| \|	Change is volatile 2
\| *	Annotate test with // error indications	Martin Odersky	2016-02-19	1	-6/+7
\| \| \| \| \| \| \| \| \| \|	We had same fleyness in number of errors of cycle.scala which prompted this.
* \|	Negtests with // error comments	vsalvis	2016-02-18	1	-4/+4
\|/
*	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	-5/+5
\| \| \| \| \| \|	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.
*	Use isRealizable to identify stable prefixes	Martin Odersky	2016-02-09	1	-9/+9
\| \| \| \| \| \| \|	Replaces isVolatile, which is too weak (and more complicated). Backwards compatibility with Scala2 is ensured by dropping the requirement in Scala2 mode. Fixes #1047, which now compiles without inifinite recursion.
*	No volatile check needed for strict vals.	Martin Odersky	2016-02-09	1	-9/+9
\|
*	Fixed cycle detection.	Martin Odersky	2014-11-24	1	-0/+13
\| \| \| \|	Now detects the cycles reported by @retronym
*	Detect cycles involving types bounded by singleton types	Guillaume Martres	2014-11-06	1	-0/+25
\| \| \| \|	This fixes #193.
*	Detect cycles and protected legal ones with LazyRefs	Martin Odersky	2014-08-08	1	-0/+4
	Cycles are now detected early, when an info is first completed. Legal, f-bounded cycles are broken by a LazyRef, which will construct its type lazily. This makes checkBounds validation of AppliedTypeTrees work (in FirstTransform). Formerly, this stackoverflowed despite the laziness precautions in findMember. Todo: Do the same for class files coming from Java and Scala 2.x.