Subject: Re: bug#58446: 28.2; file-attribute-device-number returns a cons cell instead of an integer

From: Eli Zaretskii <[email-masked]>
Date: Fri, 14 Oct 2022 22:14:06 +0300

> Cc: Thierry Volpiatto <[email-masked]>, Lars Ingebrigtsen <[email-masked]>,
>  [email-masked]
> From: Michael Albinus <[email-masked]>
> Date: Fri, 14 Oct 2022 21:03:15 +0200
> 
> Stefan Monnier <[email-masked]> writes:
> 
> Hi Stefan,
> 
> >>> - The name `file-attribute-file-number` doesn't sound right
> >>>   because it doesn't return a number.
> >> The name is a reminiscence of the existing variable buffer-file-number,
> >> which serves exactly the same purpose.
> >
> > One error doesn't justify another.
> > Maybe a better name would be "file identifier"?
> 
> True, but I'd let decide the maintainers.

It would be better, yes.  I already changed "device number" to eithe
just "device" or "device identifier", in the documentation you touched
today, since talking about "device number" when it can be a cons of 2
numbers doesn't sound like a good idea.