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.
BTW
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
