Issue #173 resolved

Incompatibility with Proof General

Jonas Jensen avatarJonas 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 feature `cl'")
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

    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.


  3. Log in to comment
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.