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 RAA07981 for caml-redistribution; Wed, 9 Jul 1997 17:18:00 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id QAA07116 for ; Wed, 9 Jul 1997 16:26:55 +0200 (MET DST) Received: from simon.cs.cornell.edu (SIMON.CS.CORNELL.EDU [128.84.154.10]) by concorde.inria.fr (8.8.5/8.7.3) with ESMTP id QAA16037 for ; Wed, 9 Jul 1997 16:26:54 +0200 (MET DST) Received: from cloyd.cs.cornell.edu (CLOYD.CS.CORNELL.EDU [128.84.227.15]) by simon.cs.cornell.edu (8.8.5/8.8.5/R-1.8) with ESMTP id KAA00632 for ; Wed, 9 Jul 1997 10:26:45 -0400 (EDT) Received: from mario.cs.cornell.edu (MARIO.CS.CORNELL.EDU [128.84.254.142]) by cloyd.cs.cornell.edu (8.8.5/8.8.5/M-1.9) with ESMTP id KAA03167 for ; Wed, 9 Jul 1997 10:26:45 -0400 (EDT) Received: (from stodghil@localhost) by mario.cs.cornell.edu (8.8.5/8.8.5/C-1.2) id KAA16230; Wed, 9 Jul 1997 10:26:42 -0400 (EDT) To: caml-list@pauillac.inria.fr Subject: Patches for #line directives? Mime-Version: 1.0 (generated by tm-edit 7.106) Content-Type: text/plain; charset=US-ASCII From: Paul Stodghill Date: 09 Jul 1997 10:26:41 -0400 Message-ID: X-Mailer: Gnus v5.4.62/XEmacs 19.15 Sender: weis 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 http://www.cs.cornell.edu/home/stodghil/home.html