Hi,

I am still reading the camlp4 sources:

1. Is there a special @loc quotation form? For instance in
   camlp4/Camlp4Bin.ml line 141

  [ <:sig_item@loc< # $n$ $str:s$ >> -> Some (loc, n, s)

   What does it do? Or is ``sig_item@loc'' just the identifier of
   the quotation expander?

2. Camlp4Bin calls a cleaning pass before printing. The cleaner
   does things like 

      <:expr< $e$; $ <:expr<>> $ >> -> self#expr e

   What do these empty quotations ``<:expr<>>'' stand for? Are
   these just the things that filters leave behind if they delete
   a node?


Bye,

Hendrik