> From: Mattias Engdegård <mattias.engdeg...@gmail.com>
> Date: Sat, 31 Aug 2024 14:37:26 +0200
> Cc: 麻枝忠 <maed...@gmail.com>,
>  72...@debbugs.gnu.org
> 
> Thank you for making this text better. It can be made even more accurate: 
> neither integers nor strings or bool-vectors are actually compared 
> recursively in a useful sense so we shouldn't claim that they are, and 
> nowadays both byte-compiled and interpreted closures are compiled but we 
> should note the usual intensionality problems when comparing functions.
> 
> Here is a proposed amendment.

Doesn't that lose useful information?  It only tells what is compared
recursively, but doesn't tell about comparing strings or integers or
bool-vectors by themselves, which is IMO important.

IOW, given your proposed text, how do we explain that

  (equal "foo" (substring "foobar" nil -3)) => t



Reply via email to