From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <pierre.weis@inria.fr>
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78])
	by yquem.inria.fr (Postfix) with ESMTP id 3708DBB81
	for <caml-list@yquem.inria.fr>; Tue, 16 Nov 2004 18:45:38 +0100 (CET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iAGHjbve007187
	for <caml-list@yquem.inria.fr>; Tue, 16 Nov 2004 18:45:37 +0100
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA14595 for <caml-list@pauillac.inria.fr>; Tue, 16 Nov 2004 18:45:37 +0100 (MET)
Received: from quincy.inria.fr (quincy.inria.fr [128.93.8.52])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id iAGHjY9u025454;
	Tue, 16 Nov 2004 18:45:34 +0100
Received: by quincy.inria.fr (Postfix, from userid 23861)
	id A7A9511CE63; Tue, 16 Nov 2004 18:45:34 +0100 (CET)
Date: Tue, 16 Nov 2004 18:45:34 +0100
From: Michel Mauny <Michel.Mauny@inria.fr>
To: Aleksey Nogin <nogin@cs.caltech.edu>
Cc: Caml List <caml-list@inria.fr>
Subject: Re: [Caml-list] OCaml CVS: "Warning Z: unused variable loc" in camlp4-processed files.
Message-ID: <20041116174534.GA3425@quincy.inria.fr>
Reply-To: Michel.Mauny@inria.fr
References: <41969785.4060801@cs.caltech.edu> <20041116174215.GA15913@quincy.inria.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <20041116174215.GA15913@quincy.inria.fr>
User-Agent: Mutt/1.4.1i
X-Miltered: at nez-perce with ID 419A3CC1.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Miltered: at concorde with ID 419A3CBE.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; mauny:01 mauny:01 caml-list:01 ocaml:01 cvs:01 wrote:01 ecrivait:01 -help:01 ...:98 ...:98 michel:01 michel:01 identifier:04 loc:05 loc:05 
X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.0.0
X-Spam-Level: 

Michel Mauny wrote/écrivait (Tue, Nov 16, 2004 at 06:42:15PM +0100):

> 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.)

I forgot to mention that you can do that with a camlp4 option:

$ camlp4 -help
Usage: camlp4 [load-options] [--] [other-options]
 ...
Other options:
  ...
  -loc <name>   Name of the location variable (default: loc)

-- Michel