Re: bugs in C::SOURCE-LOCATION and string reversal

>>>>> "Matt" == Matt Kaufmann <[email protected]> writes:

    Matt> The first bug pertains to C::SOURCE-LOCATION.  Below is part of the
    Matt> log, showing three errors during compilation followed by a break
    Matt> during load of the resulting compiled file.

    Matt> ; 
    Matt> ; 
    Matt> ; File: /v/filer4b/v11q002/acl2space/acl2/devel/books/centaur/gl/[email protected]

    Matt> ; In: DEFMACRO GL-BDD-MODE => DEFATTACH GL::BFR-MODE

    Matt> ;   (DEFATTACH GL::BFR-MODE GL::BFR-BDD)
    Matt> ; --> DEFPARAMETER PROGN LISP::SET-DEFVAR-SOURCE-LOCATION 
    Matt> ; --> LISP::SET-DEFVAR-SOURCE-LOCATION 
    Matt> ; ==>
    Matt> ;   (C::SOURCE-LOCATION)
    Matt> ; Error: (during macroexpansion)
    Matt> ; Type-error in KERNEL::OBJECT-NOT-TYPE-ERROR-HANDLER:
    Matt> ;    27574 is not of type (UNSIGNED-BYTE 14)

With help from Matt, I've been able to reproduce this.  I think the
issue is that the file [email protected] is a 500 KB source file with
way too many forms in it and exceeding the limit 14 bits that the
compiler allocates for the top-level form number and the form number.

We also found another issue.  If *default-pathname-defaults* is set to
some non-default value, the dumped core retains the value.  Not sure
what the correct behaviour should be for this.

Ray

_______________________________________________
cmucl-help mailing list
[email protected]
http://lists.zs64.net/mailman/listinfo/cmucl-help