On Wed, Jul 20, 2022 at 2:10 PM Dan Čermák
<[email protected]> 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/
_______________________________________________
devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Fedora Code of Conduct:
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/[email protected]
Do not reply to spam on the list, report it:
https://pagure.io/fedora-infrastructure
