[wg-camlp4] Meta Programming from the view of the implementaion

[Leo White]

I don't really see the difference between:

>   {xxx{ ..... }xxx}

and

>  <:html5< <div>xyz</div> >>

except that the second one forces you to name your quotation which is 
definitely a good thing. It also makes it much easier in the future to add 
something like Fabrice's Templates.

In fact, I would be tempted to suggest that anything like {: ... } might 
also require a name (not for {% ... } as I can think of cases where this 
would be too restrictive).