Re: [Axiom-developer] Re: debugging

[Camm Maguire]

Greetings, and thanks!

Please be advised that nth at safety 0 will still segfault if you try
to cdr past the dot.  

I'd like to take a look at the below, but I'm not sure my tree is in
sync with yours.  Have you committed everything?  If so, how to I
update with svn?  Anything else I need to reproduce the error below?

Thanks!


Waldek Hebisch <address@hidden> writes:

> 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 
> 
> 
> 

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