Patches for #line directives?

Patches for #line directives?

[Paul Stodghill]

Are there any patches floating around to make Caml-light and/or O'Caml
support the #line directive? 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.

Thanks for your help, and sorry for the english-only posting.

-- 
Paul Stodghill <stodghil@cs.cornell.edu>
http://www.cs.cornell.edu/home/stodghil/home.html

Re: Patches for ?line directives?

[Olivier Montanuy]

Paul Stodghill wrote:
> 
> Are there any patches floating around to make Caml-light and/or O'Caml
> support the #line directive? In particular, I'm using noweb to
>...

Pierre Cregut told me to add this to the Makefile:

.nwm.ml:
        notangle -Rml -L'# %L "%F"%N' $*.nwm | cpif $*.ml
.nwm.mli:
        notangle -Rmli  -L'# %L "%F"%N' $*.nwm | cpif $*.mli

It works fine, but then forget about reading the .ml or .mli files,
because those #line make them real ugly.

-- 
Olivier Montanuy  FT/CNET/DES/GRL
montanuy@lannion.cnet.fr

Re: Patches for #line directives?

[Xavier Leroy]

> 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