From: Paolo A. <am...@mc...> - 2004-12-22 19:14:30
|
I have successfully built clocc-top with CMUCL Snapshot 2004-12. But when I try to build src/port, I get this error (`cmucl' is a stock CMUCL core with the addition of Gray streams): paolo@plato:~/src/clocc/src/port$ export LISPTYPE=cmucl; export CMUCL=cmucl; make system /home/paolo/src/clocc/bin/run-lisp -i /home/paolo/src/clocc/clocc-top -i port.system \ -x '(funcall (intern "COMPILE-SYSTEM" :mk) "port")' ; Loading #P"/home/paolo/src/clocc/clocc-top.x86f". ; Loading #P"/home/paolo/src/clocc/src/port/port.system". ; Loading #P"/home/paolo/src/clocc/src/port/port.system". PORT/ALL (7 files) totals 83,128 bytes (81 kB) ; Python version 1.1, VM version Intel x86 on 22 DEC 04 08:07:48 pm. ; Compiling: /home/paolo/src/clocc/src/port/ext.lisp 18 OCT 04 05:17:36 pm ; Compiling DEFINE-CONDITION CODE: ; Compiling DEFINE-CONDITION CODE: ; Byte Compiling Top-Level Form: ; Compiling DEFINE-CONDITION CODE: ; Compiling DEFINE-CONDITION CODE: ; Compiling DEFINE-CONDITION CASE-ERROR: ; Byte Compiling Top-Level Form: ; Compiling DEFINE-CONDITION NOT-IMPLEMENTED: ; Compiling DEFINE-CONDITION NOT-IMPLEMENTED: ; Compiling DEFINE-CONDITION NOT-IMPLEMENTED: [...] ; File: /home/paolo/src/clocc/src/port/sys.lisp ; In: DEFUN COMPILED-FILE-P ; (DEFUN COMPILED-FILE-P (FILE-NAME) ; "Return T if the FILE-NAME is a filename designator for a valid compiled. ; Signal an error when it is not a filename designator. ; Return NIL when the file does not exist, or is not readable, ; or does not contain valid compiled code." ..) ; Note: Variable FILE-NAME defined but never used. [...] ; Python version 1.1, VM version Intel x86 on 22 DEC 04 08:07:49 pm. ; Compiling: /home/paolo/src/clocc/src/port/net.lisp 09 NOV 04 05:31:20 pm ; Byte Compiling Top-Level Form: ; Converted IPADDR-TO-DOTTED. ; Compiling DEFUN IPADDR-TO-DOTTED: ; Converted DOTTED-TO-IPADDR. ; Compiling DEFUN DOTTED-TO-IPADDR: ; Byte Compiling Top-Level Form: [...] ; Compiling Load Time Value of (PCL::ENSURE-ACCESSOR 'PCL::WRITER '(PCL:SLOT-ACCESSOR :GLOBAL KERNEL::HASH6 ...) ...): ; Compiling Load Time Value of (PCL::ENSURE-ACCESSOR 'PCL::WRITER '(PCL:SLOT-ACCESSOR :GLOBAL KERNEL::HASH7 ...) ...): ; Compiling Load Time Value of (PCL::ENSURE-ACCESSOR 'PCL::WRITER '(PCL:SLOT-ACCESSOR :GLOBAL KERNEL::CLASS ...) ...): ; Compiling Load Time Value of (PCL::FIND-CLASS-CELL 'KERNEL::STRUCTURE-CLASS): ; Compiling Creation Form for #<KERNEL::STRUCTURE-CLASS HOSTENT {588021D5}>: ; Compiling Load Time Value of (PCL::ENSURE-ACCESSOR 'PCL::WRITER '(PCL:SLOT-ACCESSOR :GLOBAL KERNEL::CLASS-INFO ...) ...): ; Compiling Load Time Value of (PCL::FIND-CLASS-CELL 'KERNEL::TYPE-CLASS): ; Compiling Creation Form for #<TYPE-CLASS KERNEL::CLASS>: ; Compiling Load Time Value of (PCL::ENSURE-ACCESSOR 'PCL::WRITER '(PCL:SLOT-ACCESSOR :GLOBAL KERNEL::NAME ...) ...): ; Compiling Load Time Value of (PCL::ENSURE-ACCESSOR 'PCL::WRITER '(PCL:SLOT-ACCESSOR :GLOBAL KERNEL::SIMPLE-SUBTYPEP ...) ...): ; Compilation aborted after 0:00:00. ; Compilation unit aborted. ; 1 fatal error ; 1 note make: *** [system] Error 1 paolo@plato:~/src/clocc/src/port$ Is this a CMUCL issue? Paolo -- Why Lisp? http://alu.cliki.net/RtL%20Highlight%20Film |
From: Raymond T. <ray...@er...> - 2004-12-22 20:00:13
|
>>>>> "Paolo" == Paolo Amoroso <am...@mc...> writes: Paolo> I have successfully built clocc-top with CMUCL Snapshot 2004-12. But Paolo> when I try to build src/port, I get this error (`cmucl' is a stock Paolo> CMUCL core with the addition of Gray streams): [snip] Paolo> ; Compilation unit aborted. Paolo> ; 1 fatal error Paolo> ; 1 note I don't have this problem using a build of cmucl from 2004-12-21. Could you manually start cmucl, load up port.system, and run (mk:oos "port" :compile :force t) That should give an error message that might help track this down. Ray |
From: Raymond T. <ray...@er...> - 2004-12-22 20:09:09
|
>>>>> "Raymond" == Raymond Toy <ray...@er...> writes: Raymond> I don't have this problem using a build of cmucl from 2004-12-21. Raymond> Could you manually start cmucl, load up port.system, and run Oops. I didn't have an up-to-date version. I think the error is caused by trying to dump objects of type FUNCTION into fasl files. In sys.lisp, if comment out the lines: #+cmu ; permit #S(struct) in source code (defmethod make-load-form ((self structure-object) &optional environment) (make-load-form-saving-slots self :environment environment)) port.lisp will compile again. Don't know if the result works or not. This issue was discussed on cmucl-imp a month or two ago. Ray |
From: Paolo A. <am...@mc...> - 2004-12-22 20:20:28
|
Raymond Toy <ray...@er...> writes: > I don't have this problem using a build of cmucl from 2004-12-21. > Could you manually start cmucl, load up port.system, and run > > (mk:oos "port" :compile :force t) > > That should give an error message that might help track this down. [...] ; Compiling Load Time Value of (PCL::ENSURE-ACCESSOR 'PCL::WRITER '(PCL:SLOT-ACCESSOR :GLOBAL C::CONSTRAINTS ...) ...): ; Compiling Init Form for #<C::LAMBDA-VAR #x596D8A9D NAME= C::OBJECT>: Error in function LISP::ASSERT-ERROR: The assertion (EQ C::ENV (C::LAMBDA-ENVIRONMENT (C::LAMBDA-VAR-HOME C::THING))) failed. [Condition of type SIMPLE-ERROR] Restarts: 0: [CONTINUE] Retry assertion. 1: [ABORT ] Return to Top-Level. Debug (type H for help) (LISP::ASSERT-ERROR (EQ C::ENV (C::LAMBDA-ENVIRONMENT #)) NIL NIL) Source: Error finding source: Error in function DEBUG::GET-FILE-TOP-LEVEL-FORM: Source file no longer exists: target:code/macros.lisp. 0] The backtrace contains 1463 frames, and the KTerm I have used no longer has the topmost ones in its history. Many such frames have calls to C::IR1-CONVERT, C::COMPILE-MAKE-LOAD-FORM-INIT-FORMS, and other symbols in the C package. Paolo -- Why Lisp? http://alu.cliki.net/RtL%20Highlight%20Film |
From: Sam S. <sd...@gn...> - 2004-12-23 14:22:36
|
> * Raymond Toy <enlzbaq.gbl@revpffba.pbz> [2004-12-22 15:09:00 -0500]: > > In sys.lisp, if comment out the lines: > > #+cmu ; permit #S(struct) in source code > (defmethod make-load-form ((self structure-object) &optional environment) > (make-load-form-saving-slots self :environment environment)) > > port.lisp will compile again. Don't know if the result works or not. > > This issue was discussed on cmucl-imp a month or two ago. I thought that the consensus was that "CL is not required to compile sources with literal #S() objects unless there is a MAKE-LOAD-FORM method, and the above method should work." -- Sam Steingold (http://www.podval.org/~sds) running w2k <http://www.camera.org> <http://www.iris.org.il> <http://www.memri.org/> <http://www.mideasttruth.com/> <http://www.honestreporting.com> Isn't "Microsoft Works" an advertisement lie? |
From: Christophe R. <cs...@he...> - 2004-12-23 14:32:28
|
On Thu, 23 Dec 2004, Sam Steingold wrote: >> * Raymond Toy <enlzbaq.gbl@revpffba.pbz> [2004-12-22 15:09:00 -0500]: >> >> In sys.lisp, if comment out the lines: >> >> #+cmu ; permit #S(struct) in source code >> (defmethod make-load-form ((self structure-object) &optional environment) >> (make-load-form-saving-slots self :environment environment)) >> >> port.lisp will compile again. Don't know if the result works or not. >> >> This issue was discussed on cmucl-imp a month or two ago. > > I thought that the consensus was that "CL is not required to > compile sources with literal #S() objects unless there is a > MAKE-LOAD-FORM method, and the above method should work." The above method is demonstrably non-conforming. See CLHS 11.1.2.1.2, point 19. Cheers, Christophe |
From: Sam S. <sd...@gn...> - 2004-12-23 22:31:57
|
> * Christophe Rhodes <pf...@ur....hx> [2004-12-23 14:32:19 +0000]: > > On Thu, 23 Dec 2004, Sam Steingold wrote: > >>> * Raymond Toy <enlzbaq.gbl@revpffba.pbz> [2004-12-22 15:09:00 -0500]: >>> >>> In sys.lisp, if comment out the lines: >>> >>> #+cmu ; permit #S(struct) in source code >>> (defmethod make-load-form ((self structure-object) &optional environment) >>> (make-load-form-saving-slots self :environment environment)) >>> >>> port.lisp will compile again. Don't know if the result works or not. >>> >>> This issue was discussed on cmucl-imp a month or two ago. >> >> I thought that the consensus was that "CL is not required to >> compile sources with literal #S() objects unless there is a >> MAKE-LOAD-FORM method, and the above method should work." > > The above method is demonstrably non-conforming. See CLHS 11.1.2.1.2, > point 19. OK, I replaced it with a different hack. thanks. -- Sam Steingold (http://www.podval.org/~sds) running w2k <http://www.camera.org> <http://www.iris.org.il> <http://www.memri.org/> <http://www.mideasttruth.com/> <http://www.honestreporting.com> Old Age Comes at a Bad Time. |
From: Paolo A. <am...@mc...> - 2004-12-24 13:38:59
|
Sam Steingold <sd...@gn...> writes: > OK, I replaced it with a different hack. Works fine now. Thanks, Paolo -- Why Lisp? http://alu.cliki.net/RtL%20Highlight%20Film |