From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA16975 for caml-redistribution; Tue, 1 Dec 1998 19:45:36 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA06550 for <caml-list@pauillac.inria.fr>; Mon, 30 Nov 1998 20:34:05 +0100 (MET)
Received: from buffalo.ens-lyon.fr (buffalo.ens-lyon.fr [140.77.1.8])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id UAA07372
	for <caml-list@inria.fr>; Mon, 30 Nov 1998 20:34:04 +0100 (MET)
Received: from dragon.ens-lyon.fr (dragon [140.77.191.202])
	by buffalo.ens-lyon.fr (8.9.1a/8.9.1) with ESMTP id UAA15452
	for <caml-list@inria.fr>; Mon, 30 Nov 1998 20:34:03 +0100 (MET)
Received: (from rvanicat@localhost)
	by dragon.ens-lyon.fr (8.9.1a/8.9.1) id UAA15831;
	Mon, 30 Nov 1998 20:34:02 +0100 (MET)
Date: Mon, 30 Nov 1998 20:34:02 +0100 (MET)
Message-Id: <199811301934.UAA15831@dragon.ens-lyon.fr>
From: Remi Vanicat <rvanicat@ens-lyon.fr>
To: caml-list@inria.fr
Subject: Text inclusion
In-Reply-To: <Pine.LNX.4.03.9811302134520.21292-100000@post.tepkom.ru>
References: <Pine.LNX.4.03.9811302134520.21292-100000@post.tepkom.ru>
X-Mailer: VM 6.39 under Emacs 19.34.1
Sender: weis

Anton Moscal writes:
 > Hello,
 > 
 > I made an attempt to implement by camlp4 some form of the file inclusion. Everything works, 
 > but I've encountered the following problem: because AST contains only position information
 > (and not the file name), ocaml produces incorrect info about error location.
 > 
 > After the discussion with Daniel de Rauglaudre, it turned out that supporting this info
 > required small changes in ocaml & camlp4 (I can send patches, with which
 > everything works well on my computer). Daniel says the following:
 > 
 > > Well, if Xavier implements your system of location, I make the
 > > associated change in Camlp4 (even if there are numerous changes). The
 > > problem is to convince him.
 > 
 > I've prepared a text with some argumentation in favour of the usefulness of  
 > certain kinds of text inclusion: 
 > 
 > ++++++++++++++++++++++++++++++++++++++++++++
This system of location may also be useful for error in a ocamlyacc
file, to go directly to the error not to an image of it.

Resume en francais :
Anton Moscal a proposer d'implenter un system de positionement tenant
non seulement en compte le numro de ligne mais aussi le fichier pour
pouvoir gerer l'inclusion de fichier.

Je remarquai au passage que cela pourait-etre interessant pour
ocamlyacc.