[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

reply via email to

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