Macros.scala

import scala.reflect.macros.whitebox.Context
import scala.language.experimental.macros

object Macros {
  def test(body: Any*): Unit = macro testImpl
  def testImpl(c: Context)(body: c.Expr[Any]*) : c.Expr[Unit] = {
    import c.universe._
    for(expr <- body) {
      print("expr is ")
      expr.tree match {
        case Ident(term) =>
          println(s"term ${term}")
        case Literal(Constant(v:Int)) =>
          println(s"integer literal ${v}")
        case Literal(Constant(v:String)) =>
          println(s"string literal ${v}")
      }
    }
    c.Expr[Unit](Literal(Constant(())))
  }
}

result.txt

 ~/work/macros 
[k.mizushima]$ scalac Usage.scala
expr is term while
expr is integer literal 1
expr is term $colon
expr is term print
expr is string literal hoge

Usage.scala

import Macros._
object Usage {
  def main(args: Array[String]): Unit = {
    val `while`= 100
    val `:` = 200
    val `print` = "foo"
    test(`while`, 1, `:`, `print`, "hoge")
  }
}