Aleksey Nogin wrote/écrivait (Sat, Nov 13, 2004 at 03:23:49PM -0800):

> all the 
> camlp4-processed files, the "EXTEND" directives end up causing a large 
> number of "unused variable loc" warnings.

> So I am wondering - are there any plans for addressing this for the 3.09 
> release? Thank you!

Yes: the default name for the location ident will become _loc
instead of loc. (Idents prefixed with a "_" won't be flagged as unused
even if they are.)

Existing programs using the "loc" identifier and willing to
keep it in 3.09, will have do something like:

     stdpp.loc_name := "loc"

And those willing to prepare their code to 3.09 can try:

    stdpp.loc_name := "_loc"

(This works in 3.08.)

Best,

-- Michel