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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Changes to adaptation and local type inference.	Martin Odersky	2013-10-15	1	-0/+15
\|
*	New TypeArgs flag	Martin Odersky	2013-10-10	1	-19/+0
\|
*	Partial revert of "instance flags" commit	Martin Odersky	2013-10-09	1	-0/+19
\| \| \| \|	16c1ddd3bb86c61890418b8394d44486e7bbd9dd
*	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	2	-5/+13
\| \| \| \| \| \| \|	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.
*	Implemented "two-hop" implicit adaptation.	Martin Odersky	2013-09-08	1	-1/+1
\| \| \| \| \| \|	That is, in a selection qual.name(args), qual can be adapted to obtain a member "name" that matches args. Important to make usage patterns like this one work: 1 + BigInt(x)
*	Improvements in implicits error reporting	Martin Odersky	2013-09-06	1	-1/+1
\| \| \| \|	Plus a few bugfixes for implicits
*	Several fixes in typer.	Martin Odersky	2013-09-05	2	-0/+14
\| \| \| \|	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.
*	Fixed bugs related to typechecking closures.	Martin Odersky	2013-08-27	2	-1/+28
\|
*	Fixes in implicit handling	Martin Odersky	2013-08-23	1	-2/+6
\| \| \| \|	Plus a new test file: implicits1
*	Added some first test files to compile	Martin Odersky	2013-08-22	2	-0/+40