Static return type of Scala macros

by

This behavior is underspecified but intended, though it might appear confusing. We plan to elaborate on the role of return type in macro signatures, but at the moment I feel like the flexibility is a good thing to have.

Also at times the behavior is inconsistent, e.g. when the macro is caught in the middle of type inference, its static signature will be used (i.e. Foo in your example), not the type of the actual expansion. That’s because macro expansion is intentionally delayed until type inference is done (so that macro implementations get to see inferred types, not type vars). This is a trade-off and not necessarily the best one, so we’re planning to revisit it soon: https://issues.scala-lang.org/browse/SI-6755.

Another problem in this department is with implicit macros. When the return type of an implicit macro is generic and needs to be inferred from the requested type of an implicit value, bad things happen. This makes it currently impossible to use macros to generate type tags: https://issues.scala-lang.org/browse/SI-5923.

More Related Contents:

  1. Creating a method definition tree from a method symbol and a body
  2. What is a TypeTag and how do I use it?
  3. What’s the easiest way to use reify (get an AST of) an expression in Scala?
  4. Enforce type difference
  5. What is a higher kinded type in Scala?
  6. Iteration over a sealed trait in Scala?
  7. What are type lambdas in Scala and what are their benefits?
  8. Scala’s “postfix ops”
  9. Weird behavior trying to convert case classes to heterogeneous lists recursively with Shapeless
  10. Scala multiple type pattern matching
  11. Use case of scala.concurrent.blocking
  12. Why is the Aux technique required for type-level computations?
  13. How do I access default parameter values via Scala reflection?
  14. Method Override with Scala 3 Macros
  15. How to access parameter list of case class in a dotty macro
  16. Scala macros: What is the difference between typed (aka typechecked) and untyped Trees
  17. Turning A => M[B] into M[A => B]
  18. Can’t access Parent’s Members while dealing with Macro Annotations
  19. Scala type programming resources
  20. Scala generic method – No ClassTag available for T
  21. Scala 2.10 reflection, how do I extract the field values from a case class, i.e. field list from case class
  22. Howto model named parameters in method invocations with Scala macros?
  23. What is a Singleton Type exactly?
  24. “dynamically” creating case classes with macros
  25. scala f-bounded types explanation
  26. Multiple parameter closure argument type not inferred
  27. Getting subclasses of a sealed trait
  28. How to compile and execute scala code at run-time in Scala3?
  29. Scala3: Crafting Types Through Metaprogramming?
  30. What is the differences between Int and Integer in Scala?

Leave a Comment