"file name" vs "filename"

Richard Kenner kenner@vlsi1.ultra.nyu.edu
Tue Apr 18 11:55:00 GMT 2023


> A "file name" is the file's name.  It is a property of a file, like the
> inode or size.  The name exists (or not) regardless of whether we know
> what it is.  
> 
> A "filename" is a syntactic element, the thing itself, a string of
> characters.  It is supplied as input or rendered as output.  

For what it's worth, I agree.


More information about the Gcc mailing list