Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

symex-repl does not work with Sly #88

Closed
olnw opened this issue Mar 5, 2023 · 0 comments · Fixed by #89
Closed

symex-repl does not work with Sly #88

olnw opened this issue Mar 5, 2023 · 0 comments · Fixed by #89

Comments

@olnw
Copy link
Contributor

olnw commented Mar 5, 2023

Problem Description

Pressing r in the symex evil state should open the Sly REPL. Instead, I get a void function error. I am not too familiar with Sly, but I think this is due to sly-repl being deprecated in favour of sly-mrepl.

Relevant commits:

Steps to Replicate

  1. Add to example.el:
(require 'package)
(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t)
(package-initialize)

(setq inferior-lisp-program "sbcl")

(use-package sly :ensure t)

(use-package symex
  :ensure t
  :custom (symex-common-lisp-backend 'sly)
  :config (symex-initialize)
  :bind ("s-;" . symex-mode-interface))
  1. Run emacs -Q --load example.el

  2. Run M-x toggle-debug-on-error RET

  3. Visit a Common Lisp source file

  4. Invoke Sly with M-x sly RET

  5. Activate symex with s-;, then press r

  6. View the backtrace:

Debugger entered--Lisp error: (void-function sly-repl)
  sly-repl()
  symex-repl-common-lisp()
  symex-repl()
  funcall-interactively(symex-repl)
  command-execute(symex-repl)

System Details

$ uname -ro
6.1.14-200.fc37.x86_64 GNU/Linux
$ emacs --version
GNU Emacs 30.0.50
Development version 4b3ccf3092ea on master branch; build date 2023-03-05.
Copyright (C) 2023 Free Software Foundation, Inc.
GNU Emacs comes with ABSOLUTELY NO WARRANTY.
You may redistribute copies of GNU Emacs
under the terms of the GNU General Public License.
For more information about these matters, see the file named COPYING.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant