[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gcl-devel] More on proclaim error
From: |
Camm Maguire |
Subject: |
Re: [Gcl-devel] More on proclaim error |
Date: |
17 Dec 2003 15:46:59 -0500 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings! Great to here you have it working.
1) Could you please repost the patch I sent?
2) I'd like to make sure that Paul agrees that handling user-defined
predicates in a (satisfies...) type type specifier in this manner
is acceptable (or even proper).
Take care,
<address@hidden> writes:
> Camm,
> I have been able to confirm that your latest proclaim patch gets me past my
> immediate problems
> doing ACL2 "typechecking". I was able to build and certify an ACL2 2.7
> environment using a patched
> GCL 2.6.1-9, and everything went OK. I now have other ACL2 issues to deal
> with, but they appear to
> be associated with an ACL2 version change, and don't have anything to do with
> GCL.
> Please make sure that the two proclaim-related changes to gcl_predlib.lsp get
> committed to CVS;
> hopefully savannah will be back up soon.
> Thanks!
> David Hardin
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
Re: [Gcl-devel] More on proclaim error, dshardin, 2003/12/17