agda-mode.el uses deprecated cl-push/cl-pop

Status: Beta

Brought to you by: ccoquand, ikegamidaisuke, mbenke, n-kato, t-seino

#9 agda-mode.el uses deprecated cl-push/cl-pop

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2007-10-03

Created: 2007-10-03

Creator: Emmet Caulfield

Private: No

cl-push and cl-pop have been removed from cl-extra.el that ships with recent emacsen, breaking agda-mode.el

The attached (trivial) patch against agda-mode.el fixes the issue (for me), but may cause issues with versions of cl-extra.el still containing cl-push and cl-pop.

Discussion

Emmet Caulfield - 2007-10-03

Patch for agda-mode.el to insert cl-push and cl-pop macros

ecam.patch

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

agda-mode.el uses deprecated cl-push/cl-pop

Group

Searches

Help

#9 agda-mode.el uses deprecated cl-push/cl-pop

Discussion