[Top][All Lists]

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

[Gcl-devel] values type autoproclamation

From: Camm Maguire
Subject: [Gcl-devel] values type autoproclamation
Date: 17 Jun 2006 15:31:35 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings!  OK, this is just about done.  Everything passes, except
that I'm running into an acl2-hons error with make LISP=gcl:

Error in INITIALIZE-ACL2 [or a callee]: ACL2_INVISIBLE::|A Non-Existent Stream| 
is not of type STREAM.

Any simple command line ways to reproduce and track this down?

Anyway, my stuff is committed, but if you want for me to certify
acl2-hons, I will try to let you know when that is achieved.

Once this is hardened, then we can consider the initial motivation of
this line of work -- a better multiple-value fast-link compile

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]