Report more warnings for pattern match

scala · Jun 15, 2023 · 19816e1 · 19816e1
1 parent 473e765
commit 19816e1
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/init/Objects.scala b/compiler/src/dotty/tools/dotc/transform/init/Objects.scala
@@ -1109,7 +1109,9 @@ object Objects:
 
       case Match(selector, cases) =>
         eval(selector, thisV, klass)
-        evalExprs(cases.map(_.body), thisV, klass).join
+        // TODO: handle pattern match properly
+        report.warning("[initChecker] Pattern match is skipped. Trace:\n" + Trace.show, expr)
+        Bottom
 
       case Return(expr, from) =>
         Returns.handle(from.symbol, eval(expr, thisV, klass))

diff --git a/project/Build.scala b/project/Build.scala
@@ -193,7 +193,7 @@ object Build {
       "-deprecation",
       "-unchecked",
       //"-Wconf:cat=deprecation&msg=Unsafe:s",    // example usage
-      "-Xfatal-warnings",                         // -Werror in modern usage
+      // "-Xfatal-warnings",                         // -Werror in modern usage
       "-encoding", "UTF8",
       "-language:implicitConversions",
     ),
@@ -803,7 +803,7 @@ object Build {
     },
 
     // Note: bench/profiles/projects.yml should be updated accordingly.
-    Compile / scalacOptions ++= Seq("-Yexplicit-nulls", "-Ysafe-init"),
+    Compile / scalacOptions ++= Seq("-Yexplicit-nulls", "-Ysafe-init", "-Ysafe-init-global"),
 
     repl := (Compile / console).value,
     Compile / console / scalacOptions := Nil, // reset so that we get stock REPL behaviour!  E.g. avoid -unchecked being enabled