[Gcl-devel] Re: very strange transcript

[Camm Maguire]

Greetings, and thanks for the example!


This is a (harmless?) temporary overkill to ensure that the hash table
and the proclaims are in sync.  If we lose the proclaims, or even if
not, this can surely be simplified.

I've checked this, and only your functions (i.e. no gcl functions) are
recompiled.  The whole hash table is proclaimed, however, in
do-recompile.  Also in add-hash, and t1defun.  I think the single
instance in add-hash would be sufficient, but his has not yet been
tested.

(defun do-recompile (&optional (pn "/tmp/recompile.lsp" pnp))
  (unless (or *disable-recompile* (= 0 (length *needs-recompile*)))
    (let ((*disable-recompile* t))
      (clrhash *ach*)
      (setq *needs-recompile* 
            (sort *needs-recompile* ;FIXME
                  (lambda (x y) 
                    (member (car x) (all-callees (car y) nil)))))
-->      (maphash (lambda (x y) (when (call-sig y) (proclaim `(ftype (function 
,@(call-sig y)) ,x)))) *call-hash-table*)

Take care,


Robert Boyer <address@hidden> writes:

> Here is a really weird transcript.
> 
> Off hand, it looks to me that simply compiling and loading
> Nqthm's first file basis.lisp sends GCL off into recompiling
> its compiler or something off the wall like that.
> 
> The only commands I type are:
> 
>   cd /u/boyer/nqthm-2nd/nqthm-1992/
>   /p/bin/xg
>   (load "nqthm.lisp")
>   (trace proclaim)
>   (compile-file "basis.lisp")
>   (load "basis.o")
> 
> It looks like the first bit of craziness is right near the
> end of the execution of the last command above, (load
> "basis.o"), when someone decides to:
> 
>   (PROCLAIM (FTYPE (FUNCTION (T T T) T) LISP::DEFMACRO-ERROR))
> 
> After that, it makes no sense to me at all.  I have simply
> cut it off when it degenerates into pure and utter noise.
> 
> Thanks so much!
> 
> Bob
> 
> -------------------------------------------------------------------------------
> The transcript:
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah