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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Remove trailing spaces in Dotty tests.	Dmitry Petrashko	2015-04-09	1	-7/+7
\|
*	Generalize test infrastructure	Martin Odersky	2014-02-07	1	-1/+0
\| \| \| \|	Compiler tests can now be run with configurable number of compilers and runs in a compiler.
*	Tweaks to adaptation and interpolation	Martin Odersky	2013-11-15	1	-4/+2
\| \| \| \| \| \| \|	1. Needed to interpolate aftyer implicit parameyters are added. 2. Also needed to avoid constraining typevars if compared against selection proto. Original coder example now typechecks.
*	Tweak to Coder test	Martin Odersky	2013-11-15	1	-2/+2
\|
*	Dealias before add to constraint.	Martin Odersky	2013-11-10	1	-1/+2
\| \| \| \|	We need to dealias any bounds before adding it to the constraint because otherwise we might have added a constraint X <: X in disguise.
*	New tests.	Martin Odersky	2013-11-09	1	-11/+7
\|
*	Fixing inference problem and block scope problem	Martin Odersky	2013-11-07	1	-10/+34
\| \| \| \| \| \|	1. Typing blocks: forgot to create new scope. Now fixed. 2. The decitsion whether to interpolate a type variable was made based on the type variable's position and the current tree's position. This is too imprecise, because we might have auto-generated trees where all important parts have the same position. We now check for actual tree containment: A type variable can be interpolated for the type of a tree T if T contains the tree which introduced the type variable.
*	Fallback to old treatement of tuples.	Martin Odersky	2013-11-04	1	-0/+41
	For interoperability we will keep for the time being the traditional treatment of tuples as instances of Tuple 2… Tuple 22. The new hlist-like treatment will be done in a future step. The flip is controlled by variable "unboxedPairs".