Drop cats-macros project (#3231)

* Remove cats-macros project

* Remove global -language:experimental.macros

DESIGN.md

@@ -39,7 +39,6 @@ Cats provides the following modules:
  * `kernel`: Definitions for the basic algebraic type classes 
  * `kernel-laws`: The encoded laws for type classes defined in `kernel`, exported to assist third-party testing.
  * `free`: Free structures such as the free monad, and supporting type classes.
- * `macros`: Macro definitions needed for `core` and other projects.
  * `tests`: Verifies the laws, and runs any other tests. Not published.
  * `bench`: Benchmarking suites. Not published. 
 

README.md

@@ -121,7 +121,6 @@ This will pull in the cats-core module. If you require some other
 functionality, you can pick-and-choose from amongst these modules
 (used in place of `"cats-core"`):
 
- * `cats-macros`: Macros used by Cats syntax (*required*).
  * `cats-kernel`: Small set of basic type classes (*required*).
  * `cats-core`: Most core type classes and functionality (*required*).
  * `cats-laws`: Laws for testing type class instances.

build.sbt

@@ -417,8 +417,7 @@ lazy val catsJVM = project
   .settings(noPublishSettings)
   .settings(catsSettings)
   .settings(commonJvmSettings)
-  .aggregate(macros.jvm,
-             kernel.jvm,
+  .aggregate(kernel.jvm,
              kernelLaws.jvm,
              core.jvm,
              laws.jvm,
@@ -431,7 +430,6 @@ lazy val catsJVM = project
              jvm,
              docs)
   .dependsOn(
-    macros.jvm,
     kernel.jvm,
     kernelLaws.jvm,
     core.jvm,
@@ -451,8 +449,7 @@ lazy val catsJS = project
   .settings(noPublishSettings)
   .settings(catsSettings)
   .settings(commonJsSettings)
-  .aggregate(macros.js,
-             kernel.js,
+  .aggregate(kernel.js,
              kernelLaws.js,
              core.js,
              laws.js,
@@ -464,7 +461,6 @@ lazy val catsJS = project
              alleycatsTests.js,
              js)
   .dependsOn(
-    macros.js,
     kernel.js,
     kernelLaws.js,
     core.js,
@@ -479,15 +475,6 @@ lazy val catsJS = project
   )
   .enablePlugins(ScalaJSPlugin)
 
-lazy val macros = crossProject(JSPlatform, JVMPlatform)
-  .crossType(CrossType.Pure)
-  .settings(moduleName := "cats-macros", name := "Cats macros")
-  .settings(catsSettings)
-  .jsSettings(commonJsSettings)
-  .jvmSettings(commonJvmSettings)
-  .jsSettings(coverageEnabled := false)
-  .settings(scalacOptions := scalacOptions.value.filter(_ != "-Xfatal-warnings"))
-
 lazy val kernel = crossProject(JSPlatform, JVMPlatform)
   .crossType(CrossType.Pure)
   .in(file("kernel"))
@@ -517,7 +504,7 @@ lazy val kernelLaws = crossProject(JSPlatform, JVMPlatform)
 
 lazy val core = crossProject(JSPlatform, JVMPlatform)
   .crossType(CrossType.Pure)
-  .dependsOn(macros, kernel)
+  .dependsOn(kernel)
   .settings(moduleName := "cats-core", name := "Cats core")
   .settings(catsSettings)
   .settings(sourceGenerators in Compile += (sourceManaged in Compile).map(Boilerplate.gen).taskValue)
@@ -528,7 +515,7 @@ lazy val core = crossProject(JSPlatform, JVMPlatform)
 
 lazy val laws = crossProject(JSPlatform, JVMPlatform)
   .crossType(CrossType.Pure)
-  .dependsOn(macros, kernel, core, kernelLaws)
+  .dependsOn(kernel, core, kernelLaws)
   .settings(moduleName := "cats-laws", name := "Cats laws")
   .settings(catsSettings)
   .settings(disciplineDependencies)
@@ -539,7 +526,7 @@ lazy val laws = crossProject(JSPlatform, JVMPlatform)
 
 lazy val free = crossProject(JSPlatform, JVMPlatform)
   .crossType(CrossType.Pure)
-  .dependsOn(macros, core, tests % "test-internal -> test")
+  .dependsOn(core, tests % "test-internal -> test")
   .settings(moduleName := "cats-free", name := "Cats Free")
   .settings(catsSettings)
   .jsSettings(commonJsSettings)
@@ -558,7 +545,7 @@ lazy val tests = crossProject(JSPlatform, JVMPlatform)
 
 lazy val testkit = crossProject(JSPlatform, JVMPlatform)
   .crossType(CrossType.Pure)
-  .dependsOn(macros, core, laws)
+  .dependsOn(core, laws)
   .enablePlugins(BuildInfoPlugin)
   .settings(buildInfoKeys := Seq[BuildInfoKey](scalaVersion), buildInfoPackage := "cats.tests")
   .settings(moduleName := "cats-testkit")
@@ -607,7 +594,7 @@ lazy val alleycatsTests = crossProject(JSPlatform, JVMPlatform)
 // bench is currently JVM-only
 
 lazy val bench = project
-  .dependsOn(macros.jvm, core.jvm, free.jvm, laws.jvm)
+  .dependsOn(core.jvm, free.jvm, laws.jvm)
   .settings(moduleName := "cats-bench")
   .settings(catsSettings)
   .settings(noPublishSettings)
@@ -643,15 +630,15 @@ lazy val binCompatTest = project
 
 // cats-js is JS-only
 lazy val js = project
-  .dependsOn(macros.js, core.js, tests.js % "test-internal -> test")
+  .dependsOn(core.js, tests.js % "test-internal -> test")
   .settings(moduleName := "cats-js")
   .settings(catsSettings)
   .settings(commonJsSettings)
   .enablePlugins(ScalaJSPlugin)
 
 // cats-jvm is JVM-only
 lazy val jvm = project
-  .dependsOn(macros.jvm, core.jvm, tests.jvm % "test-internal -> test")
+  .dependsOn(core.jvm, tests.jvm % "test-internal -> test")
   .settings(moduleName := "cats-jvm")
   .settings(catsSettings)
   .settings(commonJvmSettings)
@@ -749,7 +736,7 @@ addCommandAlias("fmtCheck", "; compile:scalafmtCheck; test:scalafmtCheck; scalaf
 
 // These aliases serialise the build for the benefit of Travis-CI.
 addCommandAlias("buildKernelJVM", ";kernelJVM/test;kernelLawsJVM/test")
-addCommandAlias("buildCoreJVM", ";macrosJVM/test;coreJVM/test")
+addCommandAlias("buildCoreJVM", ";coreJVM/test")
 addCommandAlias("buildTestsJVM", ";lawsJVM/test;testkitJVM/test;testsJVM/test;jvm/test")
 addCommandAlias("buildFreeJVM", ";freeJVM/test")
 addCommandAlias("buildAlleycatsJVM", ";alleycatsCoreJVM/test;alleycatsLawsJVM/test;alleycatsTestsJVM/test")
@@ -794,7 +781,6 @@ def commonScalacOptions(scalaVersion: String) =
     "-language:existentials",
     "-language:higherKinds",
     "-language:implicitConversions",
-    "-language:experimental.macros",
     "-unchecked",
     "-Ywarn-dead-code",
     "-Ywarn-numeric-widen",

core/src/main/scala/cats/arrow/FunctionK.scala

@@ -1,6 +1,7 @@
 package cats
 package arrow
 
+import scala.language.experimental.macros
 import scala.reflect.macros.blackbox.Context
 
 import cats.data.{EitherK, Tuple2K}