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