m-fleury / isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches
Other
25 stars 5 forks source link

package cl deprecated #40

Closed gh-salt closed 3 years ago

gh-salt commented 3 years ago

It would be cool to find which package has not yet dealt with this package, that makes a warning "cl package deprecated" appear at each start.

It doesn't seem to be dash.el

m-fleury commented 3 years ago

Following https://emacs.stackexchange.com/questions/58489/how-do-i-debug-package-cl-is-deprecated, the culprit seems to be: https://github.com/rolandwalker/list-utils (I don't want to link it, but it is issue 6). Apparently moving to cl-lib is breaking tests, so you will have to live with it...

m-fleury commented 3 years ago

But test the same on your spacemacs -- there might more than one package importing it.

m-fleury commented 3 years ago

Other source of problems: origami. This has already been reported there too.