[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] loop vs sloop

From: Camm Maguire
Subject: [Gcl-devel] loop vs sloop
Date: Fri, 05 Sep 2008 17:13:48 -0400
User-agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux)

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                                            address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]