Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | *boxContext => *box.Context , *boxMacro => *box.Macro | Eugene Burmako | 2014-01-12 | 1 | -2/+2 |
| | | | | | | | | | | Performs the following renamings: * scala.reflect.macros.BlackboxContext to scala.reflect.macros.blackbox.Context * scala.reflect.macros.BlackboxMacro to scala.reflect.macros.blackbox.Macro * scala.reflect.macros.WhiteboxContext to scala.reflect.macros.whitebox.Context * scala.reflect.macros.WhiteboxMacro to scala.reflect.macros.whitebox.Macro https://groups.google.com/forum/#!topic/scala-internals/MX40-dM28rk | ||||
* | codifies the state of the art wrt SI-8104 | Eugene Burmako | 2013-12-28 | 2 | -0/+32 |
As it was discovered in SI-8104, whiteboxity doesn’t apply equally to type parameters and type members of materialized type classes. During implicit search and subsequent type inference, whitebox type parameters are consistently erased to wildcards, whereas whitebox type members sometimes remain as is and get in the way of signature conformance checks. |