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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix substDealias	Martin Odersky	2016-07-27	1	-0/+11
\| \| \| \| \| \|	substDealias did not follow aliases when the prefix of a typeref changed under substitution. This was exhibited by a bug in extensionMethods which was first discovered in CollectionStrawMan6 and was minimized in extmethods.
*	Check value class member restrictions	Martin Odersky	2015-07-02	1	-1/+0
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	According to SIP 15 a value class C must obey the following restrictions: C may not have secondary constructors. C may not declare fields (other than the parameter of a value class). C may not contain object definitions. C may not have initialization statements. These are enforced by this commit. We are still missing restrictions on value class paremeters. We should review what the right set of conditions is (probably we want to admit non-vals, and maybe even multiple parameters).
*	Moved tests from pending	Martin Odersky	2015-05-03	1	-5/+0
\|
*	Fix #522.	Martin Odersky	2015-05-03	1	-0/+10
\| \| \| \| \|	We were missing a substitution in full parameterization. Embarraingly, this made even the example in the doc comment of `fullyParameterizedDef` fail.
*	FullParameterization: fix rewiring of Returns	Guillaume Martres	2015-03-02	1	-0/+1
\| \| \| \| \|	The `from` field of a Return tree should either be EmptyTree or an Ident corresponding to the method we're returning from.
*	Fix tests/pos/{i143,extmethods}.scala: value classes must have exactly one ↵	Guillaume Martres	2015-02-15	1	-1/+1
\| \| \| \|	val param
*	Handle selftypes in FullParameterization	Martin Odersky	2014-07-17	1	-0/+6
	Adapt the transformation so that self types are handled correctly.