I just realized that I had slightly misunderstood Jeremy's point in my previous post. It seems that you are suggesting that quotations should only be used to surround code that is already syntactically correct. This ignores most of the existing uses of quotations (both camlp4 and string).