Implemented shouldNot compile macro, not working yet for stripMargin version.

Author: cheeseng

project/GenScalaTestDotty.scala

@@ -177,7 +177,8 @@ object GenScalaTestDotty {
     copyFiles("scalatest-test/src/test/scala/org/scalatest", "org/scalatest", targetDir,
       List(
         "AssertionsSpec.scala", 
-        "ShouldCompileSpec.scala"
+        "ShouldCompileSpec.scala", 
+        "ShouldNotCompileSpec.scala"
       )
     ) /*++
       copyDir("scalatest-test/src/test/scala/org/scalatest/concurrent", "org/scalatest/concurrent", targetDir,

scalatest-test/src/test/scala/org/scalatest/ShouldNotCompileSpec.scala

@@ -66,6 +66,47 @@ class ShouldNotCompileSpec extends FunSpec {
       }
     }
 
+    describe("when work with triple double quotes string literal") {
+
+      it("should do nothing when type check failed") {
+        """val a: String = 2""" shouldNot compile
+      }
+
+      it("should throw TestFailedException with correct message and stack depth when type check passed") {
+        val e = intercept[TestFailedException] {
+          """val a = 1""" shouldNot compile
+        }
+        assert(e.message == Some(Resources.expectedCompileErrorButGotNone("val a = 1")))
+        assert(e.failedCodeFileName === (Some(fileName)))
+        assert(e.failedCodeLineNumber === (Some(thisLineNumber - 4)))
+      }
+
+      it("should do nothing when parse failed") {
+        """println("test)""" shouldNot compile
+      }
+
+      it("should do nothing when used with 'val i: Int = null") {
+        """val i: Int = null""" shouldNot compile
+      }
+
+      it("should work correctly with the implicit view is in scope") {
+        import scala.collection.JavaConverters._
+
+        val arrayList: java.util.ArrayList[String] = new java.util.ArrayList[String]()
+
+        arrayList.add("Foo")
+        arrayList.add("Bar")
+
+        val e = intercept[TestFailedException] {
+          """arrayList.asScala""" shouldNot compile
+        }
+        assert(e.message == Some(Resources.expectedCompileErrorButGotNone("arrayList.asScala")))
+        assert(e.failedCodeFileName === (Some(fileName)))
+        assert(e.failedCodeLineNumber === (Some(thisLineNumber - 4)))
+      }
+    }
+
+    // SKIP-DOTTY-START
     describe("when work with triple quotes string literal with stripMargin") {
 
       it("should do nothing when type check failed") {
@@ -115,6 +156,7 @@ class ShouldNotCompileSpec extends FunSpec {
         assert(e.failedCodeLineNumber === (Some(thisLineNumber - 4)))
       }
     }
+    // SKIP-DOTTY-END
 
   }
 

scalatest.dotty/src/main/scala/org/scalatest/CompileMacro.scala

@@ -176,28 +176,6 @@ object CompileMacro {
       }
 
     self.unseal.underlyingArgument match {
-      /*case Apply(
-             Apply(
-               Select(
-                 Apply(
-                   Apply(
-                     _,
-                     List(
-                       Literal(
-                         code
-                       )
-                     )
-                   ),
-                   _
-                 ),
-                 shouldOrMustTermName
-               ),
-               _
-             ),
-             _
-      ) if shouldOrMustTermName == shouldOrMust =>
-        // LHS is a normal string literal, call checkCompile with the extracted code string to generate code
-        checkNotCompile(code.toString)*/
 
       case Apply(
              Apply(
@@ -211,6 +189,17 @@ object CompileMacro {
         // LHS is a normal string literal, call checkCompile with the extracted code string to generate code
         checkNotCompile(code.toString)
 
+      case Apply(
+             Apply(
+               Ident(shouldOrMustTerconvertToStringShouldOrMustWrapperTermName),
+               List(
+                 Literal(String(code))
+               )
+             ),
+             _
+           ) if shouldOrMustTerconvertToStringShouldOrMustWrapperTermName ==  "convertToString" + shouldOrMust.capitalize + "Wrapper" =>
+        checkNotCompile(code.toString)     
+
       case other =>
         throw QuoteError("The '" + shouldOrMust + " compile' syntax only works with String literals.")
     }
@@ -289,28 +278,6 @@ object CompileMacro {
       }
 
     self.unseal.underlyingArgument match {
-      /*case Apply(
-             Apply(
-               Select(
-                 Apply(
-                   Apply(
-                     _,
-                     List(
-                       Literal(
-                         String(code)
-                       )
-                     )
-                   ),
-                   _
-                 ),
-                 shouldOrMustTermName
-               ),
-               _
-             ),
-             _
-      ) if shouldOrMustTermName == shouldOrMust =>
-        // LHS is a normal string literal, call checkCompile with the extracted code string to generate code
-        checkCompile(code.toString)*/
 
       case Apply(
              Apply(