1. Frank Fischer
  2. evil
Issue #173 resolved

Incompatibility with Proof General

Jonas Jensen
created an issue

The master branch of Evil does not work with "Proof General" (the major mode that's forcing me to use Emacs), though it did until recently. If I load a Coq file (named *.v) with both Proof General and Evil active, I get the error below. I've attached the full error message and the contents of my ~/.emacs. I believe I'm running the latest stable versions of all software involved.

I've git-bisected the error. It appears to be introduced in commit 8c9a9cb (Frank Fischer, May 24).

{{{ File mode specification error: (error "Recursive require' for featurecl'") evil-update-pending-maps: Recursive load: "/usr/share/emacs/23.4/lisp/emacs-lisp/cl-macs.elc", "/usr/share/emacs/23.4/lisp/emacs-lisp/cl-loaddefs.el", "/usr/share/emacs/23.4/lisp/emacs-lisp/cl.elc", "/usr/share/emacs/23.4/lisp/emacs-lisp/cl-macs.elc", "/usr/share/emacs/23.4/lisp/emacs-lisp/cl-loaddefs.el", "/usr/share/emacs/23.4/lisp/emacs-lisp/cl.elc", "/usr/share/emacs/23.4/lisp/emacs-lisp/cl-macs.elc", "/usr/share/emacs/23.4/lisp/emacs-lisp/cl-loaddefs.el", "/usr/share/emacs/23.4/lisp/emacs-lisp/cl.elc", "/usr/share/emacs/23.4/lisp/emacs-lisp/cl-macs.elc", "/usr/share/emacs/23.4/lisp/emacs-lisp/cl-loaddefs.el", "/usr/share/emacs/23.4/lisp/emacs-lisp/cl.elc", "/usr/share/emacs/23.4/lisp/emacs-lisp/cl-macs.elc" }}}

Comments (5)

  1. Anonymous

    I'm having the same problem with slime; I didn't git-bisect it, but rolling back to one commit before that fixed the problem.

  2. Frank Fischer repo owner

    Remove the use of `dolist' in `evil-update-pending-maps'

    This function is called from `after-load-functions'. Using dolist makes trouble when a package is loaded that uses the 'cl package causing a recursive require. This addresses issue #173.

    Wiki macro error: Changeset e5d57208b81e not found.

  3. Log in to comment