Eli Zaretskii <eliz@gnu.org> schrieb am Sa., 19. März 2016 um 18:48 Uhr:

> > From: Philipp Stephani <p.stephani2@gmail.com>
> > Date: Sat, 19 Mar 2016 17:16:55 +0000
> > Cc: michael_heerdegen@web.de, emacs-devel@gnu.org
> >
> >  > We are discussing for which cases it can be implemented. It can be
> implemented and would be
> >  useful for a
> >  > wide range of functions, such as those defined with defun. It cannot
> be implemented for functions like
> >  g; that's
> >  > just a limitation we have to live with.
> >
> >  That's one possibility. Another is that the implementation will be
> >  able to find out the truth, just like the Lisp interpreter does.
> >
> > Presumably that would imply solving the halting problem.
>
> I guess we'll have to disagree about that.
>

You could convince me by posting a generic implementation that would figure
out the arity of g without executing it.