Greetings!  Back when I started working on gcl, I included a patched
ansi-loop package submitted by a contributer in the base
(i.e. non-ansi) image, along with defpackage, and other
non-traditional gcl addons.  I had thought that in 2.7.0, these addons
should appear only in the ansi image, to better isolate and minimize
the small traditional image.  It appears that acl2 uses loop now.
Sloop has always and is still in the traditional image.

Maybe sloop should simply be replaced by loop everywhere?  Or both
loops appear in the traditional image?  Please advise.

Take care,
-- 
Camm Maguire                                            [EMAIL PROTECTED]
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah


_______________________________________________
Gcl-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/gcl-devel

Reply via email to