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

	Commit message (Expand)	Author	Age	Files	Lines
*	Tweak logic for hk type comparisons	Martin Odersky	2017-04-09	1	-4/+3
*	Narrow matches from TypeLambda to HKTypeLambda where appropriate	Martin Odersky	2017-04-06	1	-1/+1
*	Merge MethodType and PolyType functionality where possible	Martin Odersky	2017-04-06	1	-30/+30
*	Split HKTypeLambda from PolyType	Martin Odersky	2017-04-06	1	-2/+2
*	Generalize comparisons from PolyTypes to TypeLambdas	Martin Odersky	2017-04-06	1	-7/+7
*	Further refactorings	Martin Odersky	2017-04-06	1	-16/+16
*	Rename PolyParam --> TypeParamRef	Martin Odersky	2017-04-06	1	-16/+16
*	Harmonize paramTypes and paramBounds	Martin Odersky	2017-04-06	1	-6/+6
*	Break out functionality from MethodType	Martin Odersky	2017-04-06	1	-8/+8
*	Encode variances in parameter names	Martin Odersky	2017-04-06	1	-4/+4
*	Better type inference in harmonizeUnion	Guillaume Martres	2017-03-18	1	-13/+15
*	Construct MethodTypes from parameter closure	Martin Odersky	2017-03-14	1	-4/+4
*	Merge pull request #2045 from dotty-staging/fix-hlist-hmap	odersky	2017-03-09	1	-14/+19
\|\
\| *	Adress reviewers comments	Martin Odersky	2017-03-03	1	-1/+1
\| *	More tests	Martin Odersky	2017-03-02	1	-1/+1
\| *	Make alignArgsInAnd safe and turn it on by default	Martin Odersky	2017-03-01	1	-2/+2
\| *	Don't align aliases in refined types by default	Martin Odersky	2017-02-28	1	-14/+19
* \|	Drop named type parameters in classes	Martin Odersky	2017-03-04	1	-13/+1
\|/
*	Fix #2000: Make implicit and non-implicit functions incomparable with <:<	Martin Odersky	2017-02-21	1	-1/+1
*	Add more explanation.	Martin Odersky	2017-01-11	1	-0/+3
*	Fix #1891: Don't add redundant constraint	Martin Odersky	2017-01-10	1	-2/+10
*	Fix subtyping of hk types with wildcard arguments	Martin Odersky	2016-12-20	1	-2/+8
*	Merge pull request #1775 from dotty-staging/add-implicit-funtypes	odersky	2016-12-18	1	-4/+4
\|\
\| *	Changes for matching and subtyping implicit methods	Martin Odersky	2016-12-17	1	-4/+4
* \|	Make errors are not swept under the carpet	Martin Odersky	2016-12-17	1	-2/+2
\|/
*	Drop explicit types for local implicit vals	Martin Odersky	2016-12-12	1	-2/+2
*	handle ConstantType in TypeComparer	Reto Hablützel	2016-12-04	1	-0/+5
*	Fix $1753 Better comparison of path types	Martin Odersky	2016-11-30	1	-2/+4
*	Move compiler and compiler tests to compiler dir	Felix Mulder	2016-11-22	1	-0/+1502