On 11 December 2013 18:21, Dmitri Gribenko <gribozavr at gmail.com> wrote: > This does not feel like the right place to put this comment. An enum > is not a callback and an enum does not pass the source location. Did > you mean to put this comment onto HandlePragma? Er, yes. Sorry, I'll move the comment. --renato