Text inclusion

From: Remi Vanicat (rvanicat@ens-lyon.fr)
Date: Mon Nov 30 1998 - 20:34:02 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>

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.



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:17 MET