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 VAA07443 for caml-redistribution; Fri, 11 Jul 1997 21:00:56 +0200 (MET DST)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA27517; Thu, 10 Jul 1997 15:40:04 +0200 (MET DST)
From: Xavier Leroy <xleroy@pauillac.inria.fr>
Message-Id: <199707101340.PAA27517@pauillac.inria.fr>
Subject: Re: Patches for #line directives?
In-Reply-To: <ml4ta4gv32.fsf@mario.cs.cornell.edu> from Paul Stodghill at "Jul 9, 97 10:26:41 am"
To: stodghil@cs.cornell.edu (Paul Stodghill)
Date: Thu, 10 Jul 1997 15:40:03 +0200 (MET DST)
Cc: caml-list@pauillac.inria.fr
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis

> Are there any patches floating around to make Caml-light and/or O'Caml
> support the #line directive?

The latest release of Objective Caml (1.05) supports the

        # linenum "filename"

directive (same format as the directives emitted by the C
preprocessor). It has not been tested extensively yet, but if it works
well and there is interest, we might fold it back into Caml Light later.

> In particular, I'm using noweb to generate
> some Caml code, and I would like the debugger to point me back to the
> original .nw source file.

This should work pretty well as long as you're careful about copying
whole lines from the .nw file to the generated .ml file.

Regards,

- Xavier Leroy