Re: [External] : Re: Question about eval and compile-command

[Eli Zaretskii]

> From: Drew Adams <drew.adams@oracle.com>
> CC: Stefan Monnier <monnier@iro.umontreal.ca>, Eli Zaretskii <eliz@gnu.org>,
>  Eshel Yaron <me@eshelyaron.com>,
>  "emacs-devel@gnu.org" <emacs-devel@gnu.org>
> Date: Thu, 3 Aug 2023 21:35:39 +0000
> 
> > > In retrospect, shouldn't the type be be a string or a function?
> > 
> > Not a function, but a form.
> 
> A string is a form too...

Methodologically, it is not good to rely on this, because many Emacs
users will not realize that.  We never use "form" when we talk about
strings, for that very reason.

Using mathematical rigor when writing software documentation is almost
never a good idea, in practice.