[no subject]

[Ashok Gupta <gupta%prlhp1.uucp%prlb2.uucp@uunet.UUCP>]

Hi,
  
I posted a plea for help almost two weeks ago but didn't see it
in the Common-Loops mailing : it must have fallen foul of the problems at
Xerox PARC with the mailer and NameServer.

Anyway, here it is ...
----------------------------------------------------------------
Recently a *kind* gent mailed pearl-harbour pcl, 
*pcl-system-date* "12/7/88   Can't think of a cute name PCL", to me.

I loaded defsys.lisp in a virgin image and eval'd (pcl::compile-pcl).
Most of the files were compiled and loaded successfully, though with many warnings 
of the kind :- 

    ;;; Warning: Redefining macro %LOGAND which used to be defined in file low.lisp
                 and other macro redefinitions .....
 
    ;;; Warning: Redefining function PRINT-IWMC-CLASS which used to be 
                 defined in file low.lisp and other function definitions .....
 
    ;;; Warning: Variable I is bound but its value is ignored.     and others ...

    ;;; Warning: The following functions are not known to be defined:  
                        loads of fn. names ....

    ;;; Warning: Misplaced declaration: (IGNORE DEPTH)

    ;;; Warning: Assuming LAMBDA-LIST-KEYWORDS is special

until it came to compile high.lisp.  The following is an edited transcript.

    Compiling HIGH...                                 ;************
    ;;; Reading input file #P"~lisp/ph-pcl/high.lisp"
    ;;; Compiling toplevel form...assembling...emitting...done.
           .
           .
           .
   ;;; Compiling function DESCRIBE-INSTANCE...
   ;;; Warning: Invalid form #<Package "PCL" 13EA483> in function lambda list   

   >>Interrupt: access violation (OS/fault handler)   ;*************

   LUCID:COMPILE-FORM:

   :A    Abort to Lisp Top Level
   :C    Resume Interrupted Instruction

   -> :b             ; backtrace                      ;************

   LUCID:COMPILE-FORM <- LUCID:COMPILE-FORM <- COMPILE-FILE <- LET <- IF 
   <- PROGN  <- BLOCK <- COMPILE-MODULE <- IF <- ECASE <- LET <- PROGN 
   <- PROGN <- TAGBODY <- BLOCK <- PROGN <- LABELS <- LET <- PROGN <- LET 
   <- BLOCK <- OPERATE-ON-SYSTEM <- RETURN-FROM <- IF <- PROGN <- BLOCK 
   <- BLOCK <- COMPILE-PCL <- EVAL <- unnamed function

   -> :v             ; show all args. 

   LUCID:COMPILE-FORM:
      Local 0: (SYSTEM:DEFINE (QUOTE DESCRIBE-INSTANCE) (QUOTE FUNCTION) 
                                                  (FUNCTION (LAMBDA # #)))
      Local 1: LUCID::TOPLEVEL
      Local 2: #<Compiled-Function LUCID::ASSEMBLE-FORM D682D7>
      Local 3: (#<Compiled-Function LUCID::BACKEND-OUTPUT D6895F> 
         #<Stream SYSTEM:BUFFERED-STREAM 15862DB> 
         #<Structure LUCID::FASLSTATE 1587A0B>)
      Local 4: 1
      Local 5: #<Unbound 631E>
      Local 6: #<Unknown-Object BB96EE>
      Local 7: 13048348
      Local 8: #<Compiled-Function LUCID:COMPILE-FORM D6F2BF>
      Local 9: 13048339
      Local 10: (SYSTEM:DEFINE (QUOTE DESCRIBE-INSTANCE) (QUOTE FUNCTION) 
                                                   (FUNCTION (LAMBDA # #)))
      Local 11: #<Unbound 621E>
      Local 12: 2
      Local 13: 13048329
      Local 14: LUCID::*WARNED-FUNCTIONS*
      Local 15: NIL
      Local 16: LUCID::*DEFERRING-INTERRUPTS*
      Local 17: NIL
      Local 18: SYSTEM:DEFINE
      Local 19: NIL
      Local 20: DESCRIBE-INSTANCE
      Local 21: FUNCTION
      Local 22: (LAMBDA (OBJECT &OPTIONAL (STREAM T)) (BLOCK DESCRIBE-INSTANCE 
                                                      (LET* # # # # # # # # #)))
      Local 23: #<Unbound 621E>
      Local 24: 2
      Local 25: 13048323
      Local 26: LUCID::*ORIGINAL-VNAMES*
      Local 27: NIL
      Local 28: LUCID::*FUNCTION-NAME-PRINTED*
      Local 29: NIL
      Local 30: DESCRIBE-INSTANCE
      Local 31: #<Unbound 621E>
      Local 32: 1
   plus 3 more locals (max = 35, use :L to see one, :V 35 to see all.)
   -> :L
   Name or number of variable: 33
   13048311
   -> :L 34
   LUCID::*CURRENT-FUNCTION*
   -> :L 35
   NIL
----------------------------------------------------------------

I then tried the following (suggested by Yasuhiko Kiuchi, from a posting 
by Lee Barford) :-

   (in-package :lucid :nicknames '(lucid-common-lisp)) ;it uses a wrong name
   (export '(*redefinition-action*))             ; it assumes this is global
   (in-package :user)
   (load "defsys.lisp")
   (pcl::compile-pcl)

but when it came to compile high.lisp, got :-
      .
      .
      .       
   ;;; Compiling function BUILT-IN-WRAPPER-OF...assembling...emitting...done.
   ;;; Compiling function BUILT-IN-CLASS-OF...assembling...sharing list...
                                               sharing code...emitting...done.
   >>Error: No matching method for the generic-function 
     #<Compiled-Function CLASS-PRECEDENCE-LIST 1494DCF>, when called with arguments (#<
   >>Error: No matching method for the generic-function 
     #<Compiled-Function CLASS-NAME 14948CF>,when called with arguments 
                                             (#<Structure IWMC-CLASS 11F3FFB>).
   
   |(METHOD PRINT-OBJECT (T T))|:
      Required arg 0 (INSTANCE): #<Structure IWMC-CLASS 1224FBB>
      Required arg 1 (STREAM): #<Stream SYSTEM:SYNONYM-%STREAM 10F194B>
   
   :A    Abort to Lisp Top Level

   -> :b                       ;backtrace      ******************

   |(METHOD PRINT-OBJECT (T T))| <- NOTICE-METHODS-CHANGE-2 <- PRIN1 <- FORMAT 
   <- ERROR <- NOTICE-METHODS-CHANGE-2 <- unnamed function <- METHOD-PROTOTYPE-FOR-GF 
   <- DEFMETHOD <- LUCID:COMPILE-FORM <- COMPILE-FILE <- EVAL <- unnamed function


Apologies for the length of this note.

*Any* clues would be *appreciated*.

Thanks,

Ashok "Ash" Gupta

Post  : Philips Research Labs, Crossoak Lane, Redhill, Surrey, RH1 5HA, U.K.
Voice : +44 293 785544 ext 5647
email : gupta@prl.philips.co.uk