post typer unit of work

client.scala

package p

class Client {
  def f = m.M.report("hello, world")
}     

macreport.scala

package m

import language.experimental.macros

import scala.reflect.macros.blackbox.Context
import scala.tools.nsc.Global

object M {
  def report(s: String): Unit = macro Report.impl
}

object Report {
  def impl(c: Context)(s: c.Expr[String]): c.Expr[Unit] = {
    import c.universe._
    val global = c.universe.asInstanceOf[Global]
    s.tree match {
      case Literal(Constant(text: String)) =>
        c.enclosingUnit.asInstanceOf[global.CompilationUnit].toCheck += (() => println(s"*** $text ***"))
      case t => c.abort(t.pos, "Not a literal")
    }
    c.Expr(Literal(Constant(())))
  }
}