Add Dotty to the CI (#246)

* Add Dotty to the CI

* Add Dotty to the CI

* fix yaml formatting

* fix yaml formatting

* Add sbt-dotty and add Silencer the dotty way

* Dotty 0.26

* Dotty 0.26.0

* kind-projector only in non-Dotty

* scalafix only in non-Dotty

* scalafix only in non-Dotty (sbt fix)

* semanticdbEnabled := !isDotty.value

* scalacOptions for Dotty

* rework scalacOptions

* Dotty platform specific

* BuildHelper from ZIO

* proper silencer version

* consolidate Scala version specific dirs

* Add unmanagedSourceDirectories

* compositionLaw: Equal.DeriveEqual

* compositionLaw: Equal.DeriveEqual, more

* Modify[-S1, +S2, +A](run: S1 => (S2, A)) extends ZPure[S1, S2, Any, Nothing, A]

* compositionLaw: Equal.DeriveEqual explicit

* ZPure: Modify.run0

* Dotty can't kind-projector style +* nor -*

* Enough cases for @switch

* case that: NonEmptySet[_] => ...

* explicit implicits in tests

* val dummy =

* Don't use @switch on a branch with a default case

As per scala/scala3#9776 (comment)

* Reduce Equal.DeriveEqual

* Simplify TraversableSpec

* NewtypeSpec scala2Only

* Add links to uncovered issues

* Use Scala 2.12 by default

Author: sideeffffect

.circleci/config.yml

@@ -9,8 +9,8 @@ scala_212: &scala_212
 scala_213: &scala_213
   SCALA_VERSION: 2.13.3
 
-# scala_dotty: &scala_dotty
-#   SCALA_VERSION: 0.20.0-RC1
+scala_dotty: &scala_dotty
+  SCALA_VERSION: 0.26.0
 
 jdk_8: &jdk_8
   JDK_VERSION: 8
@@ -203,13 +203,6 @@ jobs:
       - <<: *scala_212
       - <<: *jdk_8
 
-  # compile_dotty:
-  #   <<: *compile
-  #   <<: *machine_ubuntu
-  #   environment:
-  #     - <<: *scala_dotty
-  #     - <<: *jdk_8
-
   mdoc:
     <<: *mdoc
     <<: *machine_ubuntu
@@ -238,12 +231,12 @@ jobs:
       - <<: *scala_213
       - <<: *jdk_8
 
-  # test_dotty_jdk8_jvm:
-  #   <<: *test
-  #   <<: *machine_ubuntu
-  #   environment:
-  #     - <<: *scala_dotty
-  #     - <<: *jdk_8
+  test_dotty_jdk8_jvm:
+    <<: *test
+    <<: *machine_ubuntu
+    environment:
+      - <<: *scala_dotty
+      - <<: *jdk_8
 
   test_212_jdk11_jvm:
     <<: *test
@@ -259,12 +252,12 @@ jobs:
       - <<: *scala_213
       - <<: *jdk_11
 
-  # test_dotty_jdk11_jvm:
-  #   <<: *test
-  #   <<: *machine_ubuntu
-  #   environment:
-  #     - <<: *scala_dotty
-  #     - <<: *jdk_11
+  test_dotty_jdk11_jvm:
+    <<: *test
+    <<: *machine_ubuntu
+    environment:
+      - <<: *scala_dotty
+      - <<: *jdk_11
 
   release:
     <<: *release
@@ -317,6 +310,16 @@ workflows:
             - lint
           filters:
             <<: *filter_tags
+      - test_dotty_jdk8_jvm:
+          requires:
+            - lint
+          filters:
+            <<: *filter_tags
+      - test_dotty_jdk11_jvm:
+          requires:
+            - lint
+          filters:
+            <<: *filter_tags
       - release:
           context: Sonatype2
           requires:
@@ -325,6 +328,8 @@ workflows:
             - test_212_jdk11_jvm
             - test_213_jdk8_jvm
             - test_213_jdk11_jvm
+            - test_dotty_jdk8_jvm
+            - test_dotty_jdk11_jvm
             - mdoc
           filters:
             <<: *filter_tags

build.sbt

@@ -36,9 +36,8 @@ testFrameworks := Seq(new TestFramework("zio.test.sbt.ZTestFramework"))
 
 lazy val root =
   (project in file("."))
-    .settings(
-      stdSettings("zio-prelude")
-    )
+    .settings(stdSettings("zio-prelude"))
+    .settings(dottySettings)
     .settings(buildInfoSettings("zio.prelude"))
     .settings(scalacOptions in (Compile, console) ~= { _.filterNot(Set("-Xfatal-warnings")) })
     .enablePlugins(BuildInfoPlugin)
@@ -51,8 +50,11 @@ lazy val benchmarks = project
     scalacOptions -= "-Yno-imports",
     scalacOptions -= "-Xfatal-warnings",
     libraryDependencies ++= Seq(
-      "dev.zio"       %% "zio"       % zioVersion,
-      "org.typelevel" %% "cats-core" % "2.2.0"
+      "dev.zio" %% "zio" % zioVersion,
+      ("org.typelevel" %% "cats-core" % "2.2.0") match {
+        case cats if isDotty.value => cats.withDottyCompat(scalaVersion.value)
+        case cats                  => cats
+      }
     )
   )
   .dependsOn(root)