Re: evaluating numbers

[Eli Zaretskii]

> From: Jean-Christophe Helary <address@hidden>
> Date: Sun, 10 Nov 2019 09:22:19 +0900
> 
> >> (decode-char 'emacs 345)
> >> 345 (#o531, #x159)
> > 
> > And the code that displays "345 (#o531, #x159)" doesn't know that this
> > 345 is coming out of a function which is expected to return characters.
> 
> Considering the documentation of decode-char ("returns a character"), that's 
> either an implementation error or a documentation error...

It's neither, because characters are integers in Emacs, and a
character is identical to its codepoint.

> And if the intent is "returns an integer that is the code point of the 
> character that sometimes gets to be displayed and sometimes not... etc." then 
> let it be documented that way. But you can't say "it's a character, except 
> when it's not, and Emacs wouldn't know the difference anyway, so oops".

See above.