Re: Declaring Lisp function types

[Andrea Corallo <acorallo@gnu.org>]

Stefan Monnier <monnier@iro.umontreal.ca> writes:

>> Thanks, I think it should be more clear now.  I don't think we want to
>> be over specific there as what the implementation does when the
>> 'promise' of the declaration is not respected might change in
>> the future.
>
> I think we need to mention very explicitly if "segfault" is considered
> a valid possible outcome or not.

Done

Thanks

  Andrea