Re: [Axiom-developer] Re: debugging

[Waldek Hebisch]

Camm Maguire wrote:
> Greetings!
> 
> 1) 'boot::|NRTassocIndex| (and others) calls elt on dotted lists of
>    the form ('|domain| s . s), whereas the spec says elt must take a
>    proper list.  elt is automatically inlined.
> 

I tried to redefine elt in the initial image -- it did not work
(I probably made some silly error).  So I changed |NRTassocIndex|
to use nth.  I got a misterous build failure:

------------------------------------------------------------------------
   FunctionSpace is now explicitly exposed in frame initial
   FunctionSpace will be automatically loaded when needed from
      /var/tmp/hebisch/axp7/ax-build4/src/algebra/FS.NRLIB/code

)compile "ACFS.spad"

Segmentation violation: c stack ok:signalling error
   >> System error:
   Condition in $FINDFILE [or a callee]: INTERNAL-SIMPLE-ERROR: Caught fatal 
error [memory may be damaged]: Segmentation violation.


When I did the compilation by hand it went OK.  However later
I got another error.  AFAICS DFLOAT.spad is miscompiled.  In
the spad file we have:

   base()           == FLOAT_-RADIX(0$%)$Lisp


the resulting Lisp is:

(DEFUN |DFLOAT;base;Pi;7| ($)
  (PROG () (RETURN (FLOAT-RADIX '#<OBJNULL>))))

Also, with Ansi gcl-2.7.0 we get subtly different code, other Lisps
(gcl 2.6.8, sbcl, clisp) just give:

(DEFUN |DFLOAT;base;Pi;7| ($) (FLOAT-RADIX 0.0))

that is the outer PROG and RETURN are missing (I see this difference
for many other functions).


-- 
                              Waldek Hebisch
address@hidden