On Mon, Oct 13, 2008 at 2:10 AM, Andrew Whitworth <[EMAIL PROTECTED]>wrote:
> On Sun, Oct 12, 2008 at 9:27 AM, via RT Klaas-Jan Stol > <[EMAIL PROTECTED]> wrote: > > currently, the .line directive takes both an integer (for line number) > and a > > string (for filename) argument. > > I propose to split these into a separate .line and .file directives, both > > only taking 1 argument. > > (much line #line and #file in the C preprocessor). > > What if the .line directive was changed to accept an integer line > number, a string filename, or both, optionally? That is, is there a > benefit to having two different directives instead of a single > directive with dynamic behavior? > > --Andrew I don't consider the following very clear: .line "my_included_file.pir" as opposed to: .file "my_included_file.pir" Of course, the line number can be compulsory, as in: .line 1, "my_file.pir" but sometimes you just want to change the line, and sometimes you just want to change the file name. (although, admittedly, up till now I've only been using them in combination). kjs
