Re: Declaring Lisp function types

[Andrea Corallo <acorallo@gnu.org>]

Alan Mackenzie <acm@muc.de> writes:

> Hello, Andrea.
>
> On Fri, Feb 23, 2024 at 11:02:52 -0500, Andrea Corallo wrote:
>> Hi all,
>
>> I'm looking into moving out the function type declarations in
>> 'comp-known-type-specifiers' in order to move them to where the function
>> are actually defined.  This to easy maintenance (ATM they get out of
>> sync) and to allow the user for (indeed optionally) declaring function
>> types.
>
>> In principle I believe we are interested in expressing the the argument
>> types and (maybe optionally) the return type.
>
> What's missing is the why.  Do we actually want to put function type
> declarations in Lisp source at all?  They will clutter up the code more
> than it is cluttered up at the moment.

Hi Alan,

just to confirm that I think the explainations you've got form Eli and
Drew are I think a good summary.

Thanks

  Andrea