scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	establishes scala.reflect.api#internal	Eugene Burmako	2014-02-14	1	-1/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Reflection API exhibits a tension inherent to experimental things: on the one hand we want it to grow into a beautiful and robust API, but on the other hand we have to deal with immaturity of underlying mechanisms by providing not very pretty solutions to enable important use cases. In Scala 2.10, which was our first stab at reflection API, we didn't have a systematic approach to dealing with this tension, sometimes exposing too much of internals (e.g. Symbol.deSkolemize) and sometimes exposing too little (e.g. there's still no facility to change owners, to do typing transformations, etc). This resulted in certain confusion with some internal APIs living among public ones, scaring the newcomers, and some internal APIs only available via casting, which requires intimate knowledge of the compiler and breaks compatibility guarantees. This led to creation of the `internal` API module for the reflection API, which provides advanced APIs necessary for macros that push boundaries of the state of the art, clearly demarcating them from the more or less straightforward rest and providing compatibility guarantees on par with the rest of the reflection API. This commit does break source compatibility with reflection API in 2.10, but the next commit is going to introduce a strategy of dealing with that.
*	Represent tq"" as SyntacticEmptyTypeTree rather than TypeTree()	Denys Shabalin	2014-02-07	1	-1/+8
\| \| \| \| \| \| \| \| \| \| \| \|	Such representation codifies the fact that type tree that doesn't have embedded syntactic equivalent must have been inferred or otherwise provided by the compiler rather than specified by the end user. Additionally it also ensures that we can still match trees without explicit types (e.g. vals without type) after typechecking. Otherwise the same quote couldn't be used in situations like: val q"val x = 42" = typecheck(q"val x = 42")
*	SI-7789 make quasiquotes deconstruct UnApply trees	Den Shabalin	2013-12-10	1	-0/+25
\|
*	test legacy .filter support in for loop resugaring	Den Shabalin	2013-11-12	1	-0/+11
\|
*	add support for for loops and for enumerators to quasiquotes	Den Shabalin	2013-11-12	1	-0/+12
\| \| \| \| \| \|	1. q"for (..$enums) $body", q"for (..$enums) yield $body" 2. fq"..." quote to construct/deconstruct enumerators
*	add some post-typecheck tests for quasiquotes	Den Shabalin	2013-11-12	1	-0/+30
	Typecheck trees with toolbox and check that they are still matched by corresponding quasiquote. Fix tuples and function types matchers to account for different shape of trees after typing.