Hello list,
I tried 19b-pre1 to compile PVS (http://pvs.csl.sri.com) and this is the
error I got during one of many (compile-file) actions ... a (load) on
the same file works fine though.
<snip> ---------------------------------
Type-error in KERNEL::OBJECT-NOT-TYPE-ERROR-HANDLER:
NIL is not of type C::CONTINUATION
[Condition of type TYPE-ERROR]
Restarts:
0: [ABORT] Skip remaining initializations.
Debug (type H for help)
(C::FIND-PUSHED-CONTINUATIONS #<C::CBLOCK Start = c1 {5808815D}>)
Source: Error finding source:
Error in function DEBUG::GET-FILE-TOP-LEVEL-FORM: Source file no longer
exists:
target:compiler/stack.lisp.
0] backtrace
0: (C::FIND-PUSHED-CONTINUATIONS #<C::CBLOCK Start = c1 {5808815D}>)
1: (C::STACK-ANALYZE #<C:COMPONENT #x5808EEA5 NAME= "DEFUN
PVS-ILISP-RESTORE">)
2: (C::NATIVE-COMPILE-COMPONENT
#<C:COMPONENT #x5808EEA5 NAME= "DEFUN PVS-ILISP-RESTORE">)
3: (C::COMPILE-COMPONENT
#<C:COMPONENT #x5808EEA5 NAME= "DEFUN PVS-ILISP-RESTORE">)
4: (C::COMPILE-TOP-LEVEL
(#<LAMBDA #x58087075
NAME= "Top-Level Form"
TYPE= #
WHERE-FROM= :DEFINED
VARS= NIL>)
NIL)
5: (C::CONVERT-AND-MAYBE-COMPILE
(C::%DEFUN 'PVS-ILISP-RESTORE
#'(LAMBDA # # #)
"Restore the old result history."
'(DEFUN PVS-ILISP-RESTORE #
"Restore the old result history."
#
...))
((C::%DEFUN 'PVS-ILISP-RESTORE #'# "Restore the old result history." '#)
C::ORIGINAL-SOURCE-START 0 7))
6: (C::PROCESS-FORM
(C::%DEFUN 'PVS-ILISP-RESTORE
#'(LAMBDA # # #)
"Restore the old result history."
'(DEFUN PVS-ILISP-RESTORE #
"Restore the old result history."
#
...))
(C::ORIGINAL-SOURCE-START 0 7))
7: (C::PROCESS-FORM
(DEFUN PVS-ILISP-RESTORE ()
"Restore the old result history."
(DECLARE #)
...)
(C::ORIGINAL-SOURCE-START 0 7))
8: (C::PROCESS-FORM 2
(DEFUN PVS-ILISP-RESTORE ()
"Restore the old result history."
(DECLARE #)
...)
(C::ORIGINAL-SOURCE-START 0 7))[:EXTERNAL]
9: (C::PROCESS-SOURCES #<Source-Info>)
10: ((FLET #:G0
C::SUB-COMPILE-FILE))
11: (C::SUB-COMPILE-FILE #<Source-Info> NIL)
12: (C::SUB-COMPILE-FILE 1 #<Source-Info> NIL)[:EXTERNAL]
13: (COMPILE-FILE
"/home/sos/ceesb/cvs_ucd/ucdpvs/pvs/src/interface/pvs-emacs.lisp"
:OUTPUT-FILE
"/home/sos/ceesb/cvs_ucd/ucdpvs/pvs/src/interface/pvs-emacs.lfasl"
:ERROR-FILE ...)
<snip> ---------------------------------
the function it's trying to compile:
(defun pvs-ilisp-restore ()
"Restore the old result history."
(declare (special / // /// + ++ +++ * ** - ilisp::*ilisp-old-result*))
(setq // (pop ilisp::*ilisp-old-result*)
** (first //)
/ (pop ilisp::*ilisp-old-result*)
* (first /)
++ (pop ilisp::*ilisp-old-result*)
+ (pop ilisp::*ilisp-old-result*)
- (pop ilisp::*ilisp-old-result*))
(pop ilisp::*ilisp-old-result*)
nil)
any clues?
compilation finishes without error in 19a.
regards,
cees.
Raymond Toy wrote:
>
> I think I've gotten all of the outstanding issues with the 19b-pre1
> release. The differences between 19b-pre1 and 19b are (currently):
>
> o Fix a PCL regression on forward-referenced classes.
> o Fix some regressions in float printing.
> o Add (simple) documentation for datagram sockets.
> o The motif build on linux/x86 should be fixed now.
>
> There are a few outstanding issues:
>
> o A cl-bench regression.
> o The recent PCL fixes from Gerd.
> o Maybe some minor updates on documentation and release notes.
> o The linux/x86 motif builds will have a dynamically linked LessTif
> lib, unless I can get a LessTif build with static libs.
>
> I still need to test cl-bench on x86, but it's not a problem on sparc.
>
> I don't know if the PCL fixes should be in the release. What do you
> think, Gerd?
>
> In any case, I think I'll tag the 19b release on Monday, June 27.
>
> How does that sound?
>
> Ray
>
