13 May 2013 16:07
bugs in C::SOURCE-LOCATION and string reversal
Matt Kaufmann <kaufmann <at> cs.utexas.edu>
2013-05-13 14:07:16 GMT
2013-05-13 14:07:16 GMT
Hi -- I downloaded the 2013-05 snapshot from http://trac.common-lisp.net/cmucl (http://common-lisp.net/project/cmucl/downloads/snapshots/2013/05/cmucl-2013-05-x86-linux.tar.bz2), and I am running into two bugs, discussed below. The first is kind of a show-stopper. It's hit me before using CMUCL 19e (so I guess it's been around awhile), but at that time I was able to avoid it simply by not running my application in a particular "mode". I'd appreciate any suggestions for easily working around that first bug. I've worked around the second bug, but I thought I should report it, and I do so at the end, below. The first bug pertains to C::SOURCE-LOCATION. Below is part of the log, showing three errors during compilation followed by a break during load of the resulting compiled file. ; ; ; File: /v/filer4b/v11q002/acl2space/acl2/devel/books/centaur/gl/gl <at> expansion.lsp ; In: DEFMACRO GL-BDD-MODE => DEFATTACH GL::BFR-MODE ; (DEFATTACH GL::BFR-MODE GL::BFR-BDD) ; --> DEFPARAMETER PROGN LISP::SET-DEFVAR-SOURCE-LOCATION ; --> LISP::SET-DEFVAR-SOURCE-LOCATION ; ==> ; (C::SOURCE-LOCATION) ; Error: (during macroexpansion) ; Type-error in KERNEL::OBJECT-NOT-TYPE-ERROR-HANDLER:(Continue reading)






RSS Feed