On 01/12/2015 08:49 AM, Paul Eggert wrote:

> Good idea, but I worry that the comments are fragile.  How about the following
> idea for improving the proposed syntax?  Move the directives to be inside the
> DEFUN, making it clearer that they're part
> of the function definition mechanism.  Something like this, say:
>
>    DEFUN ("eq", Feq, Seq, 2, 2, 0,
>           doc: /* Return t if the two args are the same Lisp object.  */
>           attribute: const)
>
> and similarly for 'noreturn' instead of (or in addition to) 'const'.

Ah yes, this looks better, and not too hard to (re)implement.  The only
minor issue is that 'const' is unconditionally highlighted as a C keyword
but 'noreturn' isn't.

OK to install?

Dmitry