[wg-camlp4] My uses of syntax extension

[Leo White]

> This paper may help you understand how quasi-quotation is implemented 
> http://ipaper.googlecode.com/git-history/969fbd798753dc0b10ea9efe5af7773ff10f728a/Miscs/why-its-nice-to-be-quoted.pdf

You only need the meta filter if you implement quotations using "option 1" 
(see Section 3.1 of the paper). "Option 2", which is what I described in my 
last post, works perfectly well without it.