Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Patches for #line directives?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Olivier Montanuy <montanuy@l...>
Subject: Re: Patches for ?line directives?
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:
        notangle -Rml -L'# %L "%F"%N' $*.nwm | cpif $*.ml
        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