not var macro scala

NotVar.scala

def NotVar(expr: Any): Any = macro NotVarImpl

def NotVarImpl(c: Context)(expr: c.Expr[Any]): c.Expr[Any] = {
  import c.mirror._
  import reflect.api.Modifier.mutable

  Expr((new Transformer{
    override def transform(tree:Tree):Tree = tree match{
      case ValDef(m,_,_,_) if m.hasModifier(mutable) => sys.error("can't use var !!!")
      case _ => super.transform(tree)
    }
  }).transform(expr.tree))
}

xuwei-kさんのこれ https://gist.github.com/1900672 をScala 2.10の最近のナイトリービルドでやってみた。こんな感じ？

Transformerはそのままでいいのか。まあツリーを舐めるだけなら最初にやってたみたいに expr.tree.foreach { t => ... } でもいい気がするかな。

2.10 M3で動くように修正してみた。