Cannot call macro defined in the same source file error

[mbore]

Compiler version

3.0.1-RC1

Minimized code

MainMacro.scala

import scala.quoted.*

case class Wrapper[T](t: T) extends MainMacro[T]

trait MainMacro[U] { this: Wrapper[U] => 
  inline def showTypeRepr: String = ${ MainMacro.showTypeReprImpl[U]}
}

object MainMacro {
  def showTypeReprImpl[U: Type](using Quotes): Expr[String] = {
      import quotes.reflect.*
 
      val tpe = TypeRepr.of[U]

      Expr(tpe.toString)
  }
}

Test1.scala

object TestData {
  case class Person(name: String, age: Int)
}

class Test1 {

  import TestData.*

  // Notice that without inline does not work also
  inline def in(fun: => Any): Any = fun

  in {
    Wrapper(Person("a", 1)).showTypeRepr
  }
}

Output

$ mkdir classes
$ scalac -3.0.2-RC1 -d classes MainMacro.scala
$ scalac -3.0.2-RC1 -d classes -cp classes Test1.scala
-- Error: Test1.scala:13:28 ----------------------------------------------------
13 |    Wrapper(Person("a", 1)).showTypeRepr
   |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |    Cannot call macro class Person defined in the same source file
   | This location contains code that was inlined from Test1.scala:13
1 error found

Expectation

It should compile, I guess.

[nicolasstucki]

I could not reproduce it on master. It might be fixed or it might depend on the way it is compiled. @mbore how did you compile this code?

[mbore]

I've tested it with the 3.0.0 version and it compiles, so it's seems to be fixed already. Thank you

[mbore]

@nicolasstucki I’ve found one more unexpected behaviour related to this issue.

Compiler version

Scala Version: 3.0.0
Sbt version: 1.5.2

Minimized code

Updated Main.scala

case class Person(name: String, age: Int)

object Main extends App {
  println(Wrapper(Person("a", 1)).showTypeRepr)
}

• Run sbt clean run -> works as expected
• Change the name of Main object e.g.


object Main2 extends App {
  println(Wrapper(Person("a", 1)).showTypeRepr)
}

• Run sbt run -> error

Output

[error] 6 |  println(Wrapper(Person("a", 1)).showTypeRepr)
[error]   |          ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[error]   |          Cannot call macro class Person defined in the same source file
[error]   | This location contains code that was inlined from Main.scala:6

I'm not sure if this is an issue in dotty or sbt.

[nicolasstucki]

It looks like it is an incremental compilation issue

[adamw]

@nicolasstucki yes, although the scalatest variant (linked) also is reproducible on a clean build

[cheeseng]

@mbore @nicolasstucki @adamw Updating from ScalaTest discussion here:

scalatest/scalatest#2032

I made an example project here to reproduce the problem without ScalaTest:

https://github.com/cheeseng/scala3-inline-problem

just run the following to see the error:

> sbt clean test:compile

Note that if this object TestData in https://github.com/cheeseng/scala3-inline-problem/blob/main/src/test/scala/Test1.scala#L1 is moved into a separate file, the error does go away. But if the following:

object TestData {
  case class Person(name: String, age: Int)
}

object Test1 extends App {
  import TestData.*
  
    println(Wrapper(Person("a", 1)).showTypeRepr)
}

is suppose to work, I don't see why the example does not work.

[cheeseng]

@mbore @nicolasstucki @adamw, Fyi I updated the example in https://github.com/cheeseng/scala3-inline-problem to use scala 3.0.2-RC1 but unfortunately it still encounters the same error:

cheeseng@cheeseng-RAVEN:~/git/scala3-inline-problem$ sbt clean test
[info] welcome to sbt 1.5.2 (GraalVM Community Java 1.8.0_302)
[info] loading global plugins from /home/cheeseng/.sbt/1.0/plugins
[info] loading project definition from /home/cheeseng/git/scala3-inline-problem/project
[info] loading settings for project root from build.sbt ...
[info] set current project to scala3-simple (in build file:/home/cheeseng/git/scala3-inline-problem/)
[success] Total time: 0 s, completed Aug 17, 2021 9:01:21 PM
[info] compiling 1 Scala source to /home/cheeseng/git/scala3-inline-problem/target/scala-3.0.2-RC1/classes ...
[warn] -- Warning: /home/cheeseng/git/scala3-inline-problem/src/main/scala/MainMacro.scala:15:6 
[warn] 15 |      '{${Expr(tpe.toString)}}
[warn]    |      ^^^^^^^^^^^^^^^^^^^^^^^^
[warn]    |Canceled splice directly inside a quote. '{ ${ XYZ } } is equivalent to XYZ.
[warn] one warning found
[warn] one warning found
[info] compiling 1 Scala source to /home/cheeseng/git/scala3-inline-problem/target/scala-3.0.2-RC1/test-classes ...
[error] -- Error: /home/cheeseng/git/scala3-inline-problem/src/test/scala/Test1.scala:13:28 
[error] 13 |    Wrapper(Person("a", 1)).showTypeRepr 
[error]    |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[error]    |    Cannot call macro class Person defined in the same source file
[error]    | This location contains code that was inlined from Test1.scala:13
[error] one error found
[error] one error found
[error] (Test / compileIncremental) Compilation failed
[error] Total time: 4 s, completed Aug 17, 2021 9:01:25 PM

[dwijnand]

Reproduces cleanly for me:

$ mkdir classes
$ scalac -3.0.2-RC1 -d classes MainMacro.scala
$ scalac -3.0.2-RC1 -d classes -cp classes Test1.scala
-- Error: Test1.scala:13:28 ----------------------------------------------------
13 |    Wrapper(Person("a", 1)).showTypeRepr
   |    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |    Cannot call macro class Person defined in the same source file
   | This location contains code that was inlined from Test1.scala:13
1 error found

[kitlangton]

I'm getting the same issue:

Needless to say, the trait OldLady does not have any macros defined on it. Not quite minimized, but this is from an example file in the ZIO repo. (Here's the corresponding CI failure)