Search code examples
scalasimulacrum

typeclass annotation should have been removed by simulacrum but was not


I am trying to write a simple typeclass using Simulacrum. Here is my build.sbt

ThisBuild / scalaVersion     := "2.12.8"
ThisBuild / version          := "0.1.0-SNAPSHOT"
ThisBuild / organization     := "com.example"
ThisBuild / organizationName := "example"

lazy val root = (project in file("."))
  .settings(
    name := "functional",
    autoCompilerPlugins := true,
    libraryDependencies ++= Seq(
      "com.github.mpilquist" %% "simulacrum" % "0.15.0",
      compilerPlugin("org.spire-math" %% "kind-projector" % "0.9.9")
    )
  )

and here is my code

import simulacrum._

@typeclass trait Functor[F[_]] {
    def map[A, B](fa: F[A])(f: A => B) : F[B]
    def lift[A, B](fa: F[A])(f: A => B) : F[A] => F[B] = fa => map(fa)(f)
    def as[A, B](fa: F[A], b: => B) : F[B] = map(fa)(_ => b)
    def void[A](fa: F[A]) : F[Unit] = as(fa, ())
}

but I get an error

typeclass annotation should have been removed by simulacrum but was not
[error] @typeclass trait Functor[F[_]] {
[error]                  ^
[error] one error found

Solution

  • You didn't add macro-paradise (Scala 2.11-2.12)

    addCompilerPlugin("org.scalamacros" % "paradise" % "2.1.0" cross CrossVersion.full)
    

    https://github.com/mpilquist/simulacrum#including-simulacrum

    In Scala 2.13 it's enough to switch on scalacOptions += "-Ymacro-annotations"

    Auto-Generate Companion Object for Case Class in Scala