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

	Commit message (Expand)	Author	Age	Files	Lines
*	Implement new rules for name-based pattern matching	Martin Odersky	2016-12-15	1	-0/+28
*	add a test for a pattern match with ignored type param	Sarunas Valaskevicius	2015-09-25	1	-0/+9
*	Make sure types of pattern bound variables are fully-defined.	Martin Odersky	2015-05-02	1	-0/+5
*	Rename RefinedThis -> SkolemType	Martin Odersky	2015-01-10	1	-1/+1
*	Reverting the idea that RefinedThis types take levels.	Martin Odersky	2015-01-10	1	-1/+1
*	Reorg of subtyping.	Martin Odersky	2015-01-01	1	-1/+1
*	Test for patmat action on a @ Bind(_, Typed(_: Unapply, _)	Dmitry Petrashko	2014-10-14	1	-0/+3
*	Cleanup patmat based on feedback	Dmitry Petrashko	2014-10-11	1	-0/+1
*	Enable outer tests in pattern matcher.	Dmitry Petrashko	2014-10-11	1	-0/+12
*	More complicated tests for patmat	Dmitry Petrashko	2014-09-17	1	-12/+30
*	Several fixes to patmat.	Dmitry Petrashko	2014-09-17	1	-12/+12
*	More complicated patterns.	Dmitry Petrashko	2014-09-17	1	-0/+24
*	Split Nullarify functionality to ElimByName, Erasure	Martin Odersky	2014-08-17	1	-3/+3
*	Fixed two problems with annotated types in patterns	Martin Odersky	2014-03-14	1	-3/+9
*	Fixes for by-name arguments	Martin Odersky	2013-12-17	1	-1/+14
*	New tests.	Martin Odersky	2013-11-09	1	-0/+19