Patches for #line directives?

From: Paul Stodghill (stodghil@cs.cornell.edu)
Date: Wed Jul 09 1997 - 16:26:41 MET DST

Next message: Vincent Balat: "Genlex et apostrophe"
Previous message: Jean-Christophe Filliatre: "bibtex2html"
In reply to: Basile STARYNKEVITCH: "String wishes for Ocaml"
Next in thread: Xavier Leroy: "Re: Patches for #line directives?"
Maybe reply: Xavier Leroy: "Re: Patches for #line directives?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

To: caml-list@pauillac.inria.fr
Subject: Patches for #line directives?
From: Paul Stodghill <stodghil@cs.cornell.edu>
Date: 09 Jul 1997 10:26:41 -0400

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

Next message: Vincent Balat: "Genlex et apostrophe"
Previous message: Jean-Christophe Filliatre: "bibtex2html"
In reply to: Basile STARYNKEVITCH: "String wishes for Ocaml"
Next in thread: Xavier Leroy: "Re: Patches for #line directives?"
Maybe reply: Xavier Leroy: "Re: Patches for #line directives?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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