Fix #7052: Transform annotations in ReifyQuotes #7053
Conversation
nicolasstucki
force-pushed
the
fix-#7052
branch
from
f46077a to
ecb8217
Compare
liufengyun
left a comment
liufengyun
left a comment
There was a problem hiding this comment.
- check PCP for annotations
- check annotations other than
ConcreteAnnotation
nicolasstucki
force-pushed
the
fix-#7052
branch
2 times, most recently
from
8a8595e to
f4280ab
Compare
nicolasstucki
force-pushed
the
fix-#7052
branch
from
f4280ab to
c13fac8
Compare
|
@liufengyun the two points where addressed |
| val nestedCtx = ctx.fresh.setNewScope | ||
| defs foreach { | ||
| case d: DefTree => nestedCtx.enter(d.symbol) | ||
| case d: DefTree if d.symbol.isOneOf(GivenOrImplicit) => nestedCtx.enter(d.symbol) |
There was a problem hiding this comment.
This change seems to break the originally intended semantics?
There was a problem hiding this comment.
It is supposed to add the missing implicits into the scope. But adding other definitions interacts badly with on of the Yckeck while transforming an annotation containing a definition.
| def traverse(tree: Tree)(implicit ctx: Context): Unit = { | ||
| tree match { | ||
| case d: DefTree => nestedCtx.enter(d.symbol) | ||
| case d: DefTree if d.symbol.isOneOf(GivenOrImplicit) => nestedCtx.enter(d.symbol) |
There was a problem hiding this comment.
Same question as above.
|
@nicolasstucki The printing of the following program shows that the import scala.quoted._
class annot[T: Type](x: Expr[T]) extends scala.annotation.Annotation
class Test()(implicit qtx: QuoteContext) {
@annot('{4})
def foo(str: String) = '{4}
}I'm not sure if it's a bug or not, as annotations don't have runtime semantics. |
|
We should probably disallow quotes inside annotations. |
|
@nicolasstucki Do you prefer to handle the case in this PR, or in a later PR? |
|
Maybe let's open a separate issue. |
|
The issue is created: #7123 |
2 participants
No description provided.