Re: Function attributes for make-docfile

[Paul Eggert <eggert@cs.ucla.edu>]

Dmitry Antipov wrote:
>   DEFUN ("eq", Feq, Seq, 2, 2, 0,
>          doc: /* Return t if the two args are the same Lisp object.  */)
> +/* CONST */

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'.