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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Make all dotty tests end in newline	Dmitry Petrashko	2015-04-09	1	-1/+1
\|
*	Fix and enable RefChecks	Martin Odersky	2014-08-13	1	-13/+13
\| \| \| \|	RefChecks is now enabled. Some of the tests had to be fixed to be refchecks-correct.
*	Fixes to inherited result types in Namer.	Martin Odersky	2013-12-09	1	-3/+2
\|
*	Fixed unpickling of polymorphic constructors.	Martin Odersky	2013-10-27	1	-0/+3
\| \| \| \|	Constructors of parameterized classes now get polymorphic types when unpickled, as is the case when defining them or when reading them from a Java classfile. This caused a ripple of other faults which this commit also fixes.
*	Changed logic for merges in lub/glb	Martin Odersky	2013-09-30	1	-11/+14
\| \| \| \| \| \| \|	Now throws an exception for merge conflicts of types joint by \|, a warning for types joint by &. Exception is handled as in the case of CyclicRefernce. Also: Added several typerState.checkConsistent for future debugging purposes.
*	Fixed problem that () was not inserted if method was overloaded.	Martin Odersky	2013-09-28	1	-1/+1
\|
*	Several bug fixes to typer and classfile reader.	Martin Odersky	2013-09-28	1	-6/+18
\| \| \| \| \|	In particular, changed internal representation of Java constructors and changed treatment of parent constructors in templates.
*	Added isRef method to determine whether a type is a typeref that refers to a ↵	Martin Odersky	2013-09-26	1	-4/+11
\| \| \| \| \| \| \|	symbol. The alternative (tpe eq sym.typeConstructor) does not work because types are not unique. The alternative (tpe.typeSymbol == sym) does not work because other types than TypeRefs have typeSymbols.
*	Sereval more bugfixes to typer and type handling.	Martin Odersky	2013-09-25	1	-1/+7
\| \| \| \|	Several of these avoided stackoverflows/cyclic references
*	Bug fixes and improvements in error diagnostics.	Martin Odersky	2013-09-16	1	-3/+12
\| \| \| \|	Main refactoring: lub/glb moves to type comparers.
*	Several fixes in typer.	Martin Odersky	2013-09-05	1	-0/+4
\| \| \| \|	Also updated tests.
*	More tests and fixes related to inference.	Martin Odersky	2013-08-30	1	-0/+6
\| \| \| \|	Main blooper: TypeVars got dereferenced in all Typemaps, so disappeared too quickly from types during inference.
*	Buf fixing of namer/typer interface.	Martin Odersky	2013-08-29	1	-0/+9
	Make sure that only expanded trees are passed to functions that require expanded trees.