PG Can't compile from melpa

When trying to compile from melpa I get many errors of the form:

Error: Wrong type argument: keymapp, nil

Any ideas on how I can fix this or what more information would be useful to figure out what is going wrong?

Mar 13 '20 16:03 Boarders

Can you use M-x toggle-debug-on-error and try again ?

Mar 13 '20 16:03 cpitclaudel

Not the original author, but I am having the same issue. Here is a more detailed example of the error message I am seeing: 

| Compiling file /home/XXX/.emacs.d/elpa/proof-general-20200326.1804/coq/coq-abbrev.el at Sun Mar 29 13:30:11 2020 | Entering directory ‘/home/XXX/.emacs.d/elpa/proof-general-20200326.1804/coq/’ | coq-abbrev.el:22:1:Error: Wrong type argument: keymapp, nil

And some environment details:

 Emacs Version: 26.3.50 (clean install)  Install Source: Melpa  OS: Ubuntu 19.10 x64

Mar 29 '20 18:03 wanaks

@icbridges Same question: Can you use M-x toggle-debug-on-error and try again ?

Mar 29 '20 20:03 cpitclaudel

Toggling that setting doesn't appear to change anything, nor has it revealed any additional debug information.

Mar 29 '20 20:03 wanaks

Thanks. I can't reproduce the problem in emacs -Q; do you see this problem with a specific configuration?

Mar 30 '20 00:03 cpitclaudel

This is occurring in a clean install of Emacs, with the exception of adding Melpa as a package archive to my .emacs file. Emacs itself is installed on a remote machine and being run in daemon mode (emacs -daemon). I ssh into the host and attach via emacsclient -t.

Mar 30 '20 00:03 wanaks

That's quite odd. I'm trying with the same setup, except for the daemon and client, and I don't see this issue. Can you give a recipe?

Mar 30 '20 02:03 cpitclaudel

I'm not a particularly skilled Emacs user, so I'm not sure what you mean by "give a recipe." That being said, I attempted to install proof general by starting Emacs in its standard mode (via emacs) and was able to compile successfully using the same steps. Just to be sure it wasn't a fluke, I deleted proof general and attempted to reinstall it again but with Emacs running in daemon mode, and I hit the same set of compile errors.

Mar 30 '20 18:03 wanaks

Thanks a lot for your pateince. What I meant is a detailed description of the steps that you took, leading to the error. This helps me reproduce the issue on my machine, and thereafter make a fix.

The reason I ask is that I, too, run Emacs mostly in daemon mode, and I haven't been able to reproduce the problem, unfortunately.

Thanks again.

Mar 30 '20 18:03 cpitclaudel

Thanks for the explanation. Here are the steps I am taking from a clean install:

Launch Emacs in daemon mode emacs --daemon
Attach to Emacs server via a terminal session emacsclient -t
Refresh packages `M-x package-refresh-contents RET'
Attempt to install the package M-x package-install RET proof-general RET

At this point, I get the error messages.

---- EDIT ---- I went through the process of trying to reproduce this problem in a totally clean environment (new VM), and I can't reproduce the error there. This makes me think this is an issue in my underlying host machine, and not something with proof-general.

Mar 30 '20 19:03 wanaks