Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Next generation of macros | Eugene Burmako | 2012-04-12 | 1 | -7/+3 |
| | | | | | | | | | | | | | | | | | | | | | | Implements SIP 16: Self-cleaning macros: http://bit.ly/wjjXTZ Features: * Macro defs * Reification * Type tags * Manifests aliased to type tags * Extended reflection API * Several hundred tests * 1111 changed files Not yet implemented: * Reification of refined types * Expr.value splicing * Named and default macro expansions * Intricacies of interaction between macros and implicits * Emission of debug information for macros (compliant with JSR-45) Dedicated to Yuri Alekseyevich Gagarin | ||||
* | 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. | ||||
* | Fixes reifyThis | Eugene Burmako | 2012-02-02 | 1 | -0/+15 |