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