[Gcl-devel] Re: [Axiom-developer] 2.7.0 reports

[Camm Maguire]

Greetings, and thanks again as always!

Waldek Hebisch <address@hidden> writes:

> I wrote:
> > > But later I hit another one: I am getting messages like:
> > > 
> > > ;; Compiling stage0/ptyout.clisp.
> > > Segmentation violation: c stack ok:signalling errorError in error:
> > > ERROR TYPE-ERROR (DATUM #<FREE OBJECT 0000000001b5c888> EXPECTED-TYPE
> > >                         (OR METHOD-CALL FUNCTION)) NIL
> > > 
> 

Should be fixed now.  I'll put in a better fix soon.

> I have noticed that this error goes away if I change parameters to
> compiler link:  normally axiom has '(si::sgc-on t)' as part of init
> form, if I this to '(si::sgc-on nil)' I can proceed further.
> 

sgc should be ok now.

> Later I hit problem with setting memory parameters, gcl complained:
> 
> Condition in APPLY [or a callee]: INTERNAL-SIMPLE-ERROR: Can't set the limit 
> for relocatable blocks to 1000.
> 
> This error went away when I commented Axiom code which tried to
> set memory parameteres.
> 

Hopefully these are no longer necessary for performance reasons, but
only testing will tell.  Hopefully this does not indicate memory is
short.  Can you do a (room) and :bt here?  Cannot reproduce.

> Later I met another error. Relevant (part of) log is below:
> 
> ;; Compiling def.lisp.
> ; (DEFUN B-MDEF ...) is being compiled.
> ;; Warning: The variable X is not used.
> ; (DEFUN DEF-INNER ...) is being compiled.
> ;; Warning: The variable SIGNATURE is not used.
> ;; End of Pass 1.
> ;; End of Pass 2.
> ;; OPTIMIZE levels: Safety=1 (No runtime error checking), Space=0, Speed=3, 
> (Debug quality ignored)
> ;; Finished compiling def.o.
> ;; Loading def.o
> Pass1 signature discovery on 86 functions ...
> ; (DEFUN B-MDEF ...) is being compiled.
> ;; Warning: The variable X is not used.
> ; (DEFUN DEF-INNER ...) is being compiled.
> ;; Warning: The variable SIGNATURE is not used.
> Pass1 signature discovery on 1 functions ...
> Mutual recursion detected: (|new2OldDefForm| |new2OldTran| |newDef2Def|
>                                LET_ERROR), recompiling |new2OldDefForm159046|
> Mutual recursion detected: (DEF-PROCESS B-MDEF DEF), recompiling 
> DEF-PROCESS159056
> Mutual recursion detected: (DEFTRAN MKPROGN DEF-INNER ERRHUH DEF-LET
>                                     MK_LEFORM MK_LEFORM-CONS DEF-WHERE), 
> recompiling DEF-WHERE159049
> Mutual recursion detected: (DEF-IS-REV DEF-IS-EQLIST), recompiling 
> DEF-IS-EQLIST159053
> Pass1 signature discovery on 4 functions ...
> ; (DEFUN DEF-PROCESS159056 ...) is being compiled.
> ;; Warning: The variable X is not used.
> ; (DEFUN DEF-WHERE159049 ...) is being compiled.
> ;;; The declaration (DECLARE (OPTIMIZE (SAFETY 1))) was found in a bad place.
> ;;; The declaration (DECLARE (OPTIMIZE (SAFETY 1))) was found in a bad 
> place.;;
> Warning: The variable SIGNATURE is not used.
> Pass1 signature discovery on 17 functions ...
> Compiling and loading new source in #<output stream 
> "/tmp/gazonk_20011_4qT07D.lsp">
> ;; Compiling /tmp/gazonk_20011_4qT07D.lsp.
> ;; End of Pass 1.
> ;; End of Pass 2.
> ;; OPTIMIZE levels: Safety=1 (No runtime error checking), Space=0, Speed=3, 
> (Debug quality ignored)
> ;; Finished compiling /tmp/gazonk_20011_4qT07D0.o.
> ;; Compiling /tmp/gazonk_20011_4qT07D.lsp.
> ; (DEFUN DEF-PROCESS159056 ...) is being compiled.
> ;; Warning: The variable X is not used.
> ; (DEFUN DEF-WHERE159049 ...) is being compiled.
> ;;; The declaration (DECLARE (OPTIMIZE (SAFETY 1))) was found in a bad place.
> ;;; The declaration (DECLARE (OPTIMIZE (SAFETY 1))) was found in a bad 
> place.;;
> Warning: The variable SIGNATURE is not used.
> No FASL generated.
> ;; Compiling /tmp/gazonk0.lsp.
> ;; End of Pass 1.
> ;; End of Pass 2.
> ;; OPTIMIZE levels: Safety=1 (No runtime error checking), Space=0, Speed=3, 
> (Debug quality ignored)
> ;; Finished compiling /tmp/gazonk_20011_4qT07D.o.
> ;; Loading /tmp/gazonk_20011_4qT07D.o
> ;; Loading /tmp/gazonk_20011_4qT07D0.o
>  ;; start address -T 0x10fd600 ;; Finished loading /tmp/gazonk_20011_4qT07D0.o
> ;; Loading /tmp/gazonk_20011_4qT07D1.o
> 
> Error:
> Fast links are on: do (si::use-fast-links nil) for debugging
> Signalled by LOAD.
> Condition in APPLY [or a callee]: INTERNAL-SIMPLE-ERROR: Unknown bfd format
> 

Should be fixed now -- thanks!

But please (setq si::*disable-recompile* t) for now in .../bin/lisp to
hasten compilation.  If axiom desires, it can make use of
(with-compilation-unit ...) to defer recompilation until the end of
large blocks.  There is still a little bug without this setting, as
the signature discovery gets trapped in an infinite loop.

Take care,


> Broken at APPLY.  Type :H for Help.
> 
> 
> /tmp/gazonk_20011_4qT07D1.o is empty, so no wonder that gcl can not
> load it.  I see no other files with name of form '/tmp/gazonk_20011_4qT07D1.*'
> (no .lsp file, no .c file).
> 
> BTW: it looks that at that stage I have 167 gazonk* files in the
> /tmp directory -- it looks that gcl is leaving trash files there. 
> 
> -- 
>                               Waldek Hebisch
> address@hidden 
> 
> 
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
> 
> 
> 

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