On Wed, Jul 20, 2022 at 2:10 PM Dan Čermák
<dan.cermak(a)cgc-instruments.com> wrote:
Sorry for breaking your packages Jerry. Maybe we should add some
gating
tests to prevent this kind of breakage in the future. Would you have
some details what happened?
Bigloo was easy to fix, so no problem there. The pvs-sbcl package
uses some really old Emacs Lisp code. I'm working my way through the
incompatibilities. There is quite a lot of deprecated usage. The
error that actually makes things break is this:
Debugger entered--Lisp error: (wrong-type-argument sequencep #<subr lisp-mode>)
append(#<subr lisp-mode> nil)
ilisp-byte-code-to-list(#<subr lisp-mode>)
ilisp-set-doc(lisp-mode "Major mode for interacting with an inferior
Lisp p...")
byte-code("\301\302\10\"\210\301\303\10\"\207" [ilisp-documentation
ilisp-set-doc ilisp-mode lisp-mode] 3)
load("ilisp-mod" nil nil)
byte-code("\305\306!\210\307\310\311\10#\210\307\312\311\10#\210\307\313\311\10#\210\307\314\311\10#\210\307\315\311\10#\210\307\316\311\10#\210\307\317\311\10#\210\307\320\311\10..."
[noninteractive ilisp-mode-map +ilisp-emacs-version-id+
ilisp-*enable-cl-easy-menu-p* ilisp-*enable-scheme-easy-menu-p*
require cl load "ilcompat" nil "comint-ipc" "ilisp-def"
"ilisp-sym"
"ilisp-inp" "ilisp-ind" "ilisp-prc" "ilisp-val"
"ilisp-out"
"ilisp-mov" "ilisp-key" "ilisp-prn" "ilisp-low"
"ilisp-doc"
"ilisp-ext" "ilisp-mod" "ilisp-dia" "ilisp-cmt"
"ilisp-rng"
"ilisp-hnd" "ilisp-utl" "ilisp-cmp" "ilisp-kil"
"ilisp-snd"
"ilisp-xfr" "ilisp-hi" "ilisp-aut" "ilisp-cl"
"ilisp-acl" "ilisp-cmu"
"ilisp-sbcl" run-hooks ilisp-site-hook ilisp-load-hook ilisp-bindings
(xemacs lucid-19 lucid-19-new fsf-20 fsf-21) "ilisp-mnb" (xemacs
lucid-19 lucid-19-new fsf-20 fsf-21) "ilisp-cl-easy-menu" (xemacs
lucid-19 lucid-19-new fsf-20 fsf-21) "ilisp-scheme-easy-menu" ...] 4)
load("ilisp" nil nil)
byte-code("\305\306!\210\307\310\311\10#\210\307\312\311\10#\210\307\313\311\10#\210\307\314\311\10#\210\307\315\311\10#\210\307\316\311\10#\210\307\317\311\10#\210\307\320\311\10..."
[noninteractive emacs-major-version emacs-minor-version
pvs-original-load-path load-path make-variable-buffer-local
pvs-buffer-kind load "ilisp" nil "pvs-ilisp" "pvs-mode"
"pvs-view"
"pvs-file-list" "pvs-browser" "pvs-utils"
"pvs-cmds" (error)
"pvs-prelude-files-and-regions" "pvs-print"
"pvs-proofstate"
"pvs-prover" "pvs-abbreviations" boundp 20 19 29 "pvs-menu"
"pvs-tcl"
"pvs-prover-helps" "pvs-eval" "pvs-pvsio"
"pvs-prover-manip"
"manip-debug-utils" "prooflite" "newcomment" t put
comment-region
pvs-command editing global-set-key "\3;"] 4)
load("pvs-load" nil nil nil)
load-with-code-conversion("/usr/lib64/pvs/emacs/go-pvs.el"
"/usr/lib64/pvs/emacs/go-pvs.el" nil t)
command-line-1(("-load" "/usr/lib64/pvs/emacs/go-pvs.el"))
command-line()
normal-top-level()
I'm not yet sure what is causing that. I haven't had time to dig into
it much yet, hopefully next week.
I admit that I am entirely ignorant of how the gating tests work. I
need to learn. Pointers to documentation would be great.
--
Jerry James
http://www.jamezone.org/