Greetings, and thanks! Believe is fixed in just created t3. will
test more tomorrow.
Take care,
Robert Boyer [EMAIL PROTECTED] writes:
Though GCL 2.7.0 handles ok:
(defstruct (bug (:print-function (lambda (rest x) (print foo t)
it causes an error on
(defstruct (bug
Greetings! I take it then this is is working for you -- great!
There is an issue, at least for me, compiling acl2 with the profiling
image -- the function name gets corrupted in TMP1.h -- havent' traced
this yet. Am having troubles with :enable-eval T not allowing top
level evals in breaks.
