Greetings, and thanks for the report!
Fixed now in cvs head, which I'm tagging as Version_2_7_0t2 to
separate from the more experimental stuff I'm about to commit.
ansi-tests don't run due to aour lack of define-setf-expander, so
couldn't check this yet. t2 differs from t1 only in minor bugfix
Greetings! My apologies, that should be:
CVS_RSH=ssh cvs -z9 -q -d:ext:[EMAIL PROTECTED]:/cvsroot/gcl co -r
Version_2_7_0t1 gcl
Please let me know if problems persist.
Take care,
Camm Maguire [EMAIL PROTECTED] writes:
Greetings! Just created the above non-branch tag in CVS head to serve
Greetings! Just created the above non-branch tag in CVS head to serve
as a checkpoint for testing of the version currently under
development. This tag restores the acl2 build, allows for unboxed
bignum function arguments and results, and improves array
compilation, and includes the latest