Início / user-7598999

Csaba Kincses's questions

Martin Hope
Csaba Kincses
Asked: 2023-08-21 22:42:15 +0800 CST
  • 5

Eu preciso converter um Exprpara Treefazer o desenvolvimento macro do Scala 3 e ainda não encontrei um mecanismo de conversão apropriado para isso.

No Scala 2 existia um treemétodo Exprque facilitava essa tarefa a meu ver, assim:

def expr_impl(c: blackbox.Context)(expr: c.Expr[AnyRef]): c.Expr[Expression] = {
    import c.universe._
    expr.tree match {
      //...
    }
}

Mas esse método parece ter sido removido no Scala 3.

Eu preciso disso para examinar os resultados do uso de uma expressão de aspas. Se eu usar showRaw, a saída não é detalhada, o que é um problema no meu caso:

import scala.quoted.*
import scala.reflect.runtime.universe.showRaw
import quotes.reflect.*

//...

val obj: Expr[_] = '{object AnObject}
report.error(s"from macro annotation1 ${showRaw(obj)}")

Isso resulta em uma saída não detalhada como esta:from macro annotation1 '{ ... }

Também tentei Printer.TreeStructure.show, que espera um Treeem vez de Expr, e é por isso que preciso da conversão mencionada, pois Printer.TreeStructure.showresultaria em uma saída detalhada.

Se houver algum método que seja detalhado e semelhante Printer.TreeStructure.showe espere um Exprcomo argumento, isso também resolveria meu problema.

scala
Martin Hope
Csaba Kincses
Asked: 2023-08-18 16:28:58 +0800 CST
  • 5

Criei um exemplo de anotação de macro para testar se consigo corresponder corretamente a uma classe de caso TypeDef para modificá-la posteriormente, mas ela não corresponde, embora tudo pareça bem e compila, aqui está a aparência:

import scala.annotation.{MacroAnnotation, experimental}
import scala.quoted.*


object Macros:
  @experimental
  class table extends MacroAnnotation:
    def transform(using Quotes)(tree: quotes.reflect.Definition): List[quotes.reflect.Definition] =
      import quotes.reflect.*
      tree match
        case td @ TypeDef(_, _) =>
          report.error(s"from macro annotation1 ${td.symbol}")
          List(tree)
        case _ =>
          report.error(s"from macro annotation2 $tree")
          List(tree)

Exemplo de classe case onde apliquei:

@experimental @table
case class Person(firstName: String, lastName: String)

Ele sempre executa a segunda mensagem, o que significa que não consegui corresponder ao TypeDef.

o que estou perdendo? Alguma importação adicional necessária?

Também tentei tree.isInstanceOf[TypeDef]}e isso retorna true como esperado, tornando ainda mais complicado entender porque a correspondência não funcionou.

scala