Cats-tagless - Scala宏注释错误

Question

我用trait lib创建了一个简单的cats-tagless：

@finalAlg
@autoFunctorK(true)
trait MyService[F[_]] {

  def put(element: Element): F[Element]

  def get(elementId: Id): F[Element]

  def all(): F[List[Element]]

  def delete(elementId: Id): F[Unit]
}

但是当我尝试编译它时，我收到一个错误：

Error:(8, 7) macro annotation could not be expanded (the most common reason for that is that you need to enable the macro paradise plugin; another possibility is that you try to use macro annotation in the same compilation run that defines it)

我还将addCompilerPlugin("org.scalamacros" % "paradise" % "2.1.1" cross CrossVersion.full)添加到plugins.sbt文件和build.sbt但它没有帮助。你能帮我解决一下吗？

我的build.sbt文件看起来像：

addCompilerPlugin(("org.scalameta" % "paradise" % "3.0.0-M11").cross(CrossVersion.full))

lazy val commonSettings = Seq(
  libraryDependencies ++= Seq(
    "org.typelevel" %% "cats-core" % CatsVersion,
    "org.typelevel" %% "cats-effect" % "1.2.0",
    "org.typelevel" %% "cats-tagless-macros" % "0.5",
    "org.typelevel" %% "cats-tagless-legacy-macros" % "0.5",
    "org.typelevel" %% "cats-mtl-core" % "0.5.0",
  )
)

Answer 1

在这个build.sbt这个空的新项目中：

scalaVersion := "2.12.8"

libraryDependencies ++= Seq(
  "org.typelevel" %% "cats-tagless-macros" % "0.5",
  "org.typelevel" %% "cats-tagless-legacy-macros" % "0.5"
)

addCompilerPlugin(
  "org.scalameta" % "paradise" % "3.0.0-M11" cross CrossVersion.full
)

这段代码：

import cats.tagless._

case class Element()
case class Id()

@finalAlg
@autoFunctorK(true)
trait MyService[F[_]] {
  def put(element: Element): F[Element]
  def get(elementId: Id): F[Element]
  def all(): F[List[Element]]
  def delete(elementId: Id): F[Unit]
}

汇编得很好，就像广告中的here一样。

如果我删除addCompilerPlugin("org.scalameta" % "paradise" % "3.0.0-M11" cross CrossVersion.full)，我会收到相同的错误消息：

宏注释无法扩展（最常见的原因是你需要启用宏天堂插件;另一种可能是你尝试在定义它的同一编译运行中使用宏注释）

同样，这是有记录的，链接页面说：

宏注释（@ finalAlg，@autoFunctorK，@ autoInvariantK等）仍然依赖于scalameta，因此您需要在build.sbt中添加scalameta依赖项。

所以你似乎需要它，因为@finalAlg和@autoFunctorK。

请注意，我没有在project/中修改任何内容。

---

编辑

如果您有多个子项目，则必须将编译器插件添加到实际需要它的子项目中。请注意

addCompilerPlugin(foobar)

基本上只是

libraryDependencies += compilerPlugin(foobar)

所以在你的情况下，你可能应该尝试类似的东西

  libraryDependencies ++= Seq(
    "org.typelevel" %% "cats-core" % "1.6.0",
    "org.typelevel" %% "cats-effect" % "1.2.0",
    "org.typelevel" %% "cats-tagless-macros" % "0.5",
    "org.typelevel" %% "cats-tagless-legacy-macros" % "0.5",
    "org.typelevel" %% "cats-mtl-core" % "0.5.0",
    compilerPlugin(("org.scalameta" % "paradise" % "3.0.0-M11")
      .cross(CrossVersion.full))
  )

然后将其添加到您的algebra子项目中。