From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA24531 for caml-redistribution; Tue, 4 Jan 2000 12:08:06 +0100 (MET)
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 MAA03402 for <caml-list@pauillac.inria.fr>; Tue, 4 Jan 2000 12:03:26 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id MAA28220;
	Tue, 4 Jan 2000 12:03:21 +0100 (MET)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA03793; Tue, 4 Jan 2000 12:03:20 +0100 (MET)
Message-ID: <20000104120320.21969@pauillac.inria.fr>
Date: Tue, 4 Jan 2000 12:03:20 +0100
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Steve Stevenson <steve@cs.clemson.edu>, caml-list@inria.fr
Subject: Re: Support for #line?
References: <14444.54874.182356.608221@merlin.cs.clemson.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 0.89.1
In-Reply-To: <14444.54874.182356.608221@merlin.cs.clemson.edu>; from Steve Stevenson on Fri, Dec 31, 1999 at 11:15:53AM -0500
Sender: weis

> Is there support for #line type constructs to help in using
> preprocessors?

Yes.  The syntax is "# LINENO" or "# LINENO FILENAME".

We used to support "#line LINENO" as an alias for "# LINENO" until
Georges Gonthier pointed out a nasty ambiguity with the invocation of
a method called "line"...

- Xavier Leroy