Function signatures

[Camm Maguire]

Greetings!

Unfortunately, there is some 'common' common lisp code that cannot be
compiled twice in the same image, i.e (load (compile-file ...))(load
(compile-file ...)), most notably pcl.  Typically this is due to
eval-when :compile-toplevel statements setting global state variables,
etc.  Where does fricas stand here?

GCL has a facility to iterate over all its loaded functions at the end
of a build to recalculate all function signatures consistently, and then
to recompile any needed original source files.  This is in place a
building twice from scratch after writing a sys-proclaims.lisp file.
The older mechanism will continue to be supported.  Is this something
that might be used in fricas?

Take care,
-- 
Camm Maguire                                        camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah