scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	Disables typechecking that precedes reflective compilation	Eugene Burmako	2012-02-14	1	-1/+0
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	Previously toolboxes used to typecheck their inputs before compiling. Actually, the initial demo by Martin first typechecked the reified tree, then ran it, which typechecked it again, and only then launched the reflective compiler. However, as observed in https://issues.scala-lang.org/browse/SI-5464 current implementation of typechecking is not always idempotent. That's why we cannot allow inputs of toolboxes to be typechecked, at least not until the aforementioned issue is closed. This is not only a convention but also a check inside compileExpr.
*	Fixes https://issues.scala-lang.org/browse/SI-5334	Eugene Burmako	2012-02-05	1	-0/+2
	New version of reification isn't susceptible to this bug. The problem was with Code.lift generating not only a tree, but also a manifest with the type of that tree. That led to an issue in the case of the type of the manifest depending on a class declared inside the quasiquote. Now manifests in reification are gone, so is the problem.