scala - The Scala programming language

	Commit message (Collapse)	Author	Age	Files	Lines
*	Disables typechecking that precedes reflective compilation	Eugene Burmako	2012-02-14	1	-2/+1
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	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.
*	Hardens reification against rare kinds of Constants	Eugene Burmako	2012-02-01	1	-0/+14
	Importers now correctly process constants that carry types and symbols. However, it is still impossible to reify classOf for a class/trait that is defined inside a quasiquote. Theoretically, this can be implemented, but will require attaching original trees to classOf constants, which needs much more effort.