| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | establishes scala.reflect.api#internal | Eugene Burmako | 2014-02-14 | 1 | -3/+3 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | ||||
| * | SI-6342 cleans up toolbox API | Eugene Burmako | 2012-09-15 | 1 | -1/+1 |
| | | | | | | | 1) parseExpr => parse 2) runExpr => eval 3) Introduces compile(Tree): () => Any, since it has frequent uses | ||||
| * | SI-5751 cleans up toolboxes for the release | Eugene Burmako | 2012-07-31 | 1 | -1/+2 |
| | | | | | | | | | Removes the `freeTypes` parameters on `typeCheckExpr` and `runExpr`, since we now have public `substituteTypes` on both trees and types. Also implements long-awaited `inferImplicitValue` and `inferImplicitView` (thanks to Miles Sabin for nudging me!) | ||||
| * | repairs the tests after the refactoring spree | Eugene Burmako | 2012-06-08 | 1 | -4/+7 |
| | | |||||
| * | removes Expr <-> Tree implicits | Eugene Burmako | 2012-04-25 | 1 | -3/+3 |
| | | |||||
| * | Next generation of macros | Eugene Burmako | 2012-04-12 | 1 | -0/+12 |
| 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 | |||||
 |
index : scala | |
| The Scala programming language |
| summaryrefslogtreecommitdiff |