[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
- [Gcl-devel] advice, Camm Maguire, 2008/09/05
- Message not available
- [Gcl-devel] loop vs sloop,
Camm Maguire <=
- Message not available