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

	Commit message (Expand)	Author	Age	Files	Lines
*	Revert <: Product requierment in pattern matching	Olivier Blanvillain	2017-04-13	1	-5/+2
*	Merge pull request #1938 from dotty-staging/named-based-patmat	Felix Mulder	2017-04-11	1	-5/+10
\|\
\| *	Move isProductSubType to Applications & rename to canProductMatch	Olivier Blanvillain	2017-04-11	1	-4/+6
\| *	Decouple Product and pattern-matching	Olivier Blanvillain	2017-04-06	1	-4/+7
* \|	Names are no longer Seqs	Martin Odersky	2017-04-11	1	-2/+3
* \|	Decentralize unmangling, add new nameKinds	Martin Odersky	2017-04-11	1	-1/+2
* \|	Align safe parameter substitution with other subst methods	Martin Odersky	2017-04-10	1	-1/+1
* \|	Skolemize arguments to dependent methods as necessary.	Martin Odersky	2017-04-10	1	-3/+2
\|/
*	Merge MethodType and PolyType functionality where possible	Martin Odersky	2017-04-06	1	-2/+1
*	Further refactorings	Martin Odersky	2017-04-06	1	-7/+2
*	Eliminate MethodOrPoly	Martin Odersky	2017-04-06	1	-1/+1
*	replace derived{Method,Poly}Type with derivedLambdaType	Martin Odersky	2017-04-06	1	-1/+1
*	Rename PolyParam --> TypeParamRef	Martin Odersky	2017-04-06	1	-1/+1
*	Harmonize paramTypes and paramBounds	Martin Odersky	2017-04-06	1	-10/+10
*	Break out functionality from MethodType	Martin Odersky	2017-04-06	1	-2/+2
*	Avoid assertion failure on neg test	Martin Odersky	2017-04-04	1	-1/+8
*	Take parameter dependencies into account	Martin Odersky	2017-03-14	1	-5/+21
*	Construct MethodTypes from parameter closure	Martin Odersky	2017-03-14	1	-1/+2
*	Merge pull request #2045 from dotty-staging/fix-hlist-hmap	odersky	2017-03-09	1	-14/+11
\|\
\| *	Fix handling of dependent method types	Martin Odersky	2017-03-01	1	-2/+3
\| *	Systematic treatment of result types of dependent methods	Martin Odersky	2017-02-28	1	-14/+10
* \|	Merge pull request #2031 from dotty-staging/fix-#2030	odersky	2017-03-03	1	-1/+1
\|\ \ \| \|/ \|/\|
\| *	Don't chain implicit conversions	Martin Odersky	2017-02-27	1	-1/+1
* \|	Fix #2033: Improve handling of unresolved overloaded arguments	Martin Odersky	2017-02-27	1	-1/+10
\|/
*	Merge pull request #2015 from dotty-staging/add-pf-overloading	odersky	2017-02-23	1	-27/+27
\|\
\| *	Drop stray println	Martin Odersky	2017-02-21	1	-1/+1
\| *	Extend argument pretyping to case-closures	Martin Odersky	2017-02-21	1	-32/+25
\| *	Add overloading support for case-closures	Martin Odersky	2017-02-21	1	-1/+8
* \|	typedUnApply#trySelectUnapply: small cleanup	Guillaume Martres	2017-02-18	1	-6/+6
* \|	typedApply: Avoid using incorrect context in tryEither	Guillaume Martres	2017-02-18	1	-1/+1
\|/
*	Fix #1991: Use classtag where available in unapply	Martin Odersky	2017-02-17	1	-1/+1
*	More lenient handling of mixed parameterless and nullary methods	Martin Odersky	2016-12-20	1	-12/+14
*	Merge pull request #1775 from dotty-staging/add-implicit-funtypes	odersky	2016-12-18	1	-6/+18
\|\
\| *	Take nesting into account when ranking implicits	Martin Odersky	2016-12-17	1	-4/+16
\| *	Refactor function operations in Definitions	Martin Odersky	2016-12-17	1	-2/+2
* \|	Make errors are not swept under the carpet	Martin Odersky	2016-12-17	1	-3/+3
\|/
*	Merge pull request #1801 from dotty-staging/fix-#1790	Dmitry Petrashko	2016-12-16	1	-18/+52
\|\
\| *	Implement new rules for name-based pattern matching	Martin Odersky	2016-12-15	1	-17/+27
\| *	Change by-name pattern matching.	Martin Odersky	2016-12-14	1	-19/+43
* \|	Drop explicit types for local implicit vals	Martin Odersky	2016-12-12	1	-1/+1
\|/
*	Add explanation	Martin Odersky	2016-12-02	1	-0/+22
*	Fix #1757: Be more careful about positions of type variable binders	Martin Odersky	2016-12-01	1	-3/+10
*	Move compiler and compiler tests to compiler dir	Felix Mulder	2016-11-22	1	-0/+1351