Re: [Emacs-diffs] master 9dd95bf: * lisp/emacs-lisp/pcase.el (pcase--u1): Fix bignums

[Andy Moreton]

On Fri 26 Oct 2018, Eli Zaretskii wrote:

>> From: Stefan Monnier <address@hidden>
>> Cc: address@hidden
>> Date: Fri, 26 Oct 2018 14:23:26 -0400
>> 
>> >> Would you feel the same if `pcase` always used `equal` and the
>> >> optimization to `eql` were performed in the byte-compiler instead?
>> > I don't know, and it's not really relevant, is it?
>> 
>> It is: the use of `eq` or `eql` here is an optimization which pcase
>> performs only because the compiler doesn't do it.
>
> I disagree.  We describe our code, not what the compiler produces out
> of it.

Documentation should be describing the fixed semantics of the interface,
not the details of the underlying implementation, nor aspects of the
interface that expose details of the current implementation.

    AndyM